» książki » Computers - Computer Science
topmenu
 |
Advances in Modal Logic, Volume 5
ISBN: 9781904987222 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable for any advanced student and researcher in pure and...
Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial i...
|
cena:
181,88 zł |
 |
Computing, Philosophy and Cognition
ISBN: 9781904987246 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a collection of papers that explore various areas of common interest between philosophy, computing, and cognition. The book illustrates the rich intrigue of this fascinating recent intellectual story. It begins by providing a new analysis of the ideas related to computer ethics, such as the role in information technology of the so-called moral mediators, the relationship between intelligent machines and warfare, and the new opportunities offered by telepresnece, for example in teaching and learning. The book also ties together the concerns of epistemology and logic, showing,...
This volume is a collection of papers that explore various areas of common interest between philosophy, computing, and cognition. The book illustrates...
|
cena:
181,88 zł |
 |
Foundations of the Formal Sciences: The History of the Concept of the Formal Sciences: v. 4
ISBN: 9781904987291 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume takes a reflective position with respect to the conference
series "Foundations of the Formal Sciences" (FotFS) and asks: * What are the Formal Sciences? * Can we develop a theoretical classification of the sciences that juxtaposes the formal sciences to the natural sciences, social sciences, and humanities? Can we do this solely by identifying common methodological features? * Can we identify changes of the notion of formal sciences over time? How were the areas that we now conceived as the "Foundations of the Formal Sciences" classified throughout history? Investigating the... This volume takes a reflective position with respect to the conference
series "Foundations of the Formal Sciences" (FotFS) and asks: * What ar... |
cena:
181,88 zł |
 |
Prolog, Tout De Suite!
ISBN: 9781904987529 / Francuski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog est un langage de programmation tout a fait original. -Prolog- est l'abreviation de -Programmation logique-, et le lien qu'il entretient avec la logique est ce qui lui donne sa specificite. Au coeur de Prolog, reside une idee surprenante: ne pas dire a l'ordinateur ce qu'il doit faire, mais lui decrire des situations, et lui faire faire des calculs en lui posant des questions. Prolog deduira alors logiquement de nouveaux faits concernant les situations, et donnera en reponse ses deductions. Pourquoi apprendre Prolog ? Tout d'abord, l'aspect -dis-moi quel est ton probleme au lieu de me...
Prolog est un langage de programmation tout a fait original. -Prolog- est l'abreviation de -Programmation logique-, et le lien qu'il entretient avec l...
|
cena:
108,15 zł |
 |
Unconventional Computing 2007
ISBN: 9781905986057 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Unconventional computing is the quest for groundbreaking new algorithms and computing architectures based on and inspired by the principles of information processing in physical, chemical and biological systems. The timely scientific contributions in this book include cutting-edge theoretical work on quantum and kinematic Turing machines, computational complexity of physical systems, molecular and chemical computation, processing incomplete information, physical hypercomputation, automata networks and swarms. They are nicely complemented by recent results on experimental implementations of...
Unconventional computing is the quest for groundbreaking new algorithms and computing architectures based on and inspired by the principles of informa...
|
cena:
212,48 zł |
 |
Cases on Global It Applications and Management: Successes and Pitfalls
ISBN: 9781930708167 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As organizations prepare to compete globally in the new millennium, the effective deployment and exploitation of IT will create the difference between those that are successful and those that are not. What lessons are there to be learned from organizations that run global IT operations and deploy IT in support of their global business operations? What lessons are there to be learned in the development, implementation, use and management of IT from organizations operating in countries other than their own? This work covers these aspects of global IT applications and should be useful to...
As organizations prepare to compete globally in the new millennium, the effective deployment and exploitation of IT will create the difference between...
|
cena:
437,51 zł |
 |
Data Streams: Algorithms and Applications
ISBN: 9781933019147 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data stream algorithms as an active research agenda emerged only over the past few years, even though the concept of making few passes over the data for performing computations has been around since the early days of Automata Theory. The data stream agenda now pervades many branches of Computer Science including databases, networking, knowledge discovery and data mining, and hardware systems. Industry is in synch too, with Data Stream Management Systems (DSMSs) and special hardware to deal with data speeds. Even beyond Computer Science, data stream concerns are emerging in physics,...
Data stream algorithms as an active research agenda emerged only over the past few years, even though the concept of making few passes over the data f...
|
cena:
294,95 zł |
 |
Mathematical Aspects of Mixing Times in Markov Chains
ISBN: 9781933019291 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Aspects of Mixing Times in Markov Chains begins with a gentle introduction to the analytical aspects of the theory of finite Markov chain mixing times and quickly ramps up to explain the latest developments in the topic. Several theorems are revisited and often derived in simpler, transparent ways, and illustrated with examples. The highlights include spectral, logarithmic Sobolev techniques, the evolving set methodology, and issues of nonreversibility. Mathematical Aspects of Mixing Times in Markov Chains is a comprehensive, well-written review of the subject that will be of...
Mathematical Aspects of Mixing Times in Markov Chains begins with a gentle introduction to the analytical aspects of the theory of finite Markov chain...
|
cena:
393,26 zł |
 |
Music Retrieval: A Tutorial and Review
ISBN: 9781933019390 / Angielski / Miękka / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Music Accessing and Retrieval is the first comprehensive survey of the vast new field of Music Information Retrieval (MIR). It describes a number of issues which are peculiar to the language of music - including forms, formats, and dimensions of music - together with the typologies of users and their information needs. To fulfil these needs a number of approaches are discussed, from direct search to information filtering and clustering of music documents. The emphasis is on tools, techniques, and approaches for content-based MIR, rather than on the systems that implement them. The interested...
Music Accessing and Retrieval is the first comprehensive survey of the vast new field of Music Information Retrieval (MIR). It describes a number of i...
|
cena:
344,10 zł |
 |
Einführung in Die Stochastik: Mit Elementen Der Bayes-Statistik Und Der Analyse Unscharfer Information
ISBN: 9783211008379 / Niemiecki / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. in die Stochastik Mit Elementen der Bayes-Statistik und der Analyse unscharfer Information Dritte, uberarbeitete und erweiterte Auflage Springers Lehrbucher der Informatik Springer-Verlag Wien GmbH o. Univ.-Prof. Dipl.-Ing. Dr. techno Reinhard Kar Wolfgang Viertl Institut fur Statistik und Wahrscheinlichkeitstheorie Technische Universitat Wien, Osterreich Das Werk ist urheberrechtlich geschutzt. Die dadurch begrundeten Rechte, insbesondere die der Ubersetzung des Nachdruckes, der Entnahme von Abbildungen, der Funksendung, der Wiedergabe auf photomechani schem oder ahnlichem Wege und der...
in die Stochastik Mit Elementen der Bayes-Statistik und der Analyse unscharfer Information Dritte, uberarbeitete und erweiterte Auflage Springers Lehr...
|
cena:
132,83 zł |
 |
Geometric Modelling: Dagstuhl 2002
ISBN: 9783211208182 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 19 articles presented by leading experts in the field of geometric modelling the state-of-the-art on representing, modeling, and analyzing curves, surfaces as well as other 3-dimensional geometry is given. The range of applications include CAD/CAM-systems, computer graphics, scientific visualization, virtual reality, simulation and medical imaging. The content of this book is based on selected lectures given at a workshop held at IBFI Schloss Dagstuhl, Germany. Topics treated are: curve and surface modelling non-manifold modelling in CAD multiresolution analysis of complex geometric models...
In 19 articles presented by leading experts in the field of geometric modelling the state-of-the-art on representing, modeling, and analyzing curves, ...
|
cena:
384,63 zł |
 |
Elimination Methods
ISBN: 9783211832417 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's hope to eliminate "from algebraic geometry the last traces of elimination theory," and S. Abhyankar's sug gestion to "eliminate the eliminators of elimination theory. " The renaissance and recognition of polynomial elimination owe much to the advent and advance of mod ern computing technology, based...
The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be ...
|
cena:
384,63 zł |
 |
Computer Animation and Simulation '98: Proceedings of the Eurographics Workshop in Lisbon, Portugal, August 31 - September 1, 1998
ISBN: 9783211832578 / Angielski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 9th Eurographics workshop on Animation and Simulation was held on Au gust 31st -September 1st, 1998, at INESC Lisbon. The workshop was chaired by Bruno Arnaldi (IRISA Rennes, France) and Gerard Hegron (Ecole des Mines de Nantes, France). The local organizer Mario Rui Gomes (INESC Lisbon, Por tugal) notably contributed to provide a harmonious environment. The main theme of this seventh workshop was centered on Virtual Reality versus Anima tion and Simulation: from real time animation/simulation to physical perception of virtual environments. About twenty participants attended the workshop,...
The 9th Eurographics workshop on Animation and Simulation was held on Au gust 31st -September 1st, 1998, at INESC Lisbon. The workshop was chaired by ...
|
cena:
192,30 zł |
 |
Algorithms and Computation: 13th International Symposium, Isaac 2002 Vancouver, Bc, Canada, November 21-23, 2002, Proceedings
ISBN: 9783540001423 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the Thirteenth - nual International Symposium on Algorithms and Computation (ISAAC 2002) tobeheldinVancouver, CanadaonNovember21-23,2002.Thisisthe?rsttime thatISAAChasventuredintoNorthAmerica, asitistraditionallyheldinthe Asia-Paci?c region. ISAAC is an annual international symposium that covers the very broad areas of algorithms and computing in general. The scope of this symposium - cludes both theoretical and applied research from these ?elds. The main aim of the symposium is to promote the exchange of ideas in this active...
This volume contains the papers selected for presentation at the Thirteenth - nual International Symposium on Algorithms and Computation (ISAAC 2002) ...
|
cena:
192,30 zł |
 |
Sofsem 2002: Theory and Practice of Informatics: 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, Nove
ISBN: 9783540001454 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Forthe29thtime, SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22-29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program...
Forthe29thtime, SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- tempora...
|
cena:
192,30 zł |
 |
Articulated Motion and Deformable Objects: Second International Workshop, Amdo 2002, Palma de Mallorca, Spain, November 21-23, 2002, Proceedings
ISBN: 9783540001492 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The AMDO 2002 workshop took place at the Universitat de les Illes Balears (UIB) on 21-23 November, 2002, sponsored by the International Association for Pattern Recognition (IAPR), AERFAI (Spanish Association for Pattern Rec- nition and Image Analysis), the CICYT (Comision Interministerial de Ciencia y Tecnologia, Spanish Government), the European Commission (Human Potential Programme: High Level Scienti?c Conferences), and the Mathematics and C- puter Science Department of the UIB. In addition, Egse (Eurographics Spanish Chapter)helpedwithdisseminationandpromotion. Thesubjectoftheworkshop...
The AMDO 2002 workshop took place at the Universitat de les Illes Balears (UIB) on 21-23 November, 2002, sponsored by the International Association fo...
|
cena:
192,30 zł |
 |
Advances in Computing Science - Asian 2002: Internet Computing and Modeling, Grid Computing, Peer-To-Peer Computing, and Cluster Computing: 7th Asian
ISBN: 9783540001959 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The series of annual Asian Computing Science Conferences (ASIAN) was init- ted in 1995 by AIT, INRIA, and UNU/IIST to provide a forum for researchers in computer science from the Asian region and to promote interaction with - searchers from other regions. The ?rst six conferences were held, respectively, in Bangkok, Singapore, Katmandu, Manila, Phuket, and Penang. The proc- dings have been published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year, the main themes chosen for ASIAN 2002 were: - Internet Computing and Modeling, - Grid, Peer-to-Peer, and Cluster...
The series of annual Asian Computing Science Conferences (ASIAN) was init- ted in 1995 by AIT, INRIA, and UNU/IIST to provide a forum for researchers ...
|
cena:
192,30 zł |
 |
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, Dsv-Is 2002, Rostock Germany, June 12-14, 2002
ISBN: 9783540002666 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive... This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of... |
cena:
192,30 zł |
 |
Verification of Reactive Systems: Formal Methods and Algorithms
ISBN: 9783540002963 / Angielski / Twarda / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible.
This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In... Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of ...
|
cena:
192,30 zł |
 |
Relational Methods in Computer Science: 6th International Conference, Relmics 2001 and 1st Workshop of Cost Action 274 Tarski Oisterwijk, the Netherla
ISBN: 9783540003151 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274TARSKI, Theory and Application of Relat- nal Structures as Knowledge Instruments. The conference was held in conference centre Boschoord, Oisterwijk near Tilburg, The Netherlands, from October 16 till October 21, 2001. The conference attracted interest from many parts of the world with contributions from many countries. This conference was a continuation of international conferences/workshops on Relational Methods in...
This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First W...
|
cena:
192,30 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
