Logics in Artificial Intelligence: 12th European Conference, Jelia 2010, Helsinki, Finland, September 13-15, 2010, Proceedings
ISBN: 9783642156748 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in August 2010.The book includes 3 invited talks, 26 regular papers, and 5 system descriptions.
This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China...
|
|
cena:
194,97 zł |
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings
ISBN: 9783642158971 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), L Aquila (September 2008), and Eindhoven...
This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was ...
|
|
cena:
194,97 zł |
Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay
ISBN: 9783034601443 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Godel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.
A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Godel, Kripke - giving a general perspective about logical systems. These paper...
|
|
cena:
194,97 zł |
Algorithmic Learning Theory: 21st International Conference, ALT 2010 Canberra, Australia, October 2010 Proceedings
ISBN: 9783642161070 / Angielski / Miękka / 421 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 21st International Conf- ence on Algorithmic Learning Theory (ALT 2010), which was held in Canberra, Australia, October 6-8, 2010. The conference was co-located with the 13th - ternational Conference on Discovery Science (DS 2010) and with the Machine Learning Summer School, which was held just before ALT 2010. The tech- cal program of ALT 2010, contained 26 papers selected from 44 submissions and ?ve invited talks. The invited talks were presented in joint sessions of both conferences. ALT 2010 was dedicated to the theoretical foundations of...
This volume contains the papers presented at the 21st International Conf- ence on Algorithmic Learning Theory (ALT 2010), which was held in Canberra, ...
|
|
cena:
194,97 zł |
Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings
ISBN: 9783642161636 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Buchi automata, extensions to...
This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University o...
|
|
cena:
194,97 zł |
Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proc
ISBN: 9783642153952 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6-10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including: theory, algorithms, applications, environments, languages, modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program...
The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during ...
|
|
cena:
389,98 zł |
Taxonomies for the Development and Verification of Digital Systems
ISBN: 9781441936813 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Communication between engineers, their managers, suppliers and customers relies on the existence of a common understanding for the meaning of terms. While this is not normally a problem, it has proved to be a significant roadblock in the EDA industry where terms are created as required by any number of people, multiple terms are coined for the same thing, or even worse, the same term is used for many different things. This taxonomy identifies all of the significant terms used by an industry and provides a structural framework in which those terms can be defined and their relationship to... Communication between engineers, their managers, suppliers and customers relies on the existence of a common understanding for the meaning of terms... |
|
cena:
389,98 zł |
Fault-Tolerance Techniques for Sram-Based FPGAs
ISBN: 9781441940520 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fault-tolerance in integrated circuits is not an exclusive concern regarding space designers or highly-reliable application engineers. Rather, designers of next generation products must cope with reduced margin noises due to technological advances. The continuous evolution of the fabrication technology process of semiconductor components, in terms of transistor geometry shrinking, power supply, speed, and logic density, has significantly reduced the reliability of very deep submicron integrated circuits, in face of the various internal and external sources of noise. The very popular Field... Fault-tolerance in integrated circuits is not an exclusive concern regarding space designers or highly-reliable application engineers. Rather, desi... |
|
cena:
389,98 zł |
Analog Design for CMOS VLSI Systems
ISBN: 9781441949196 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This comprehensive text offers a detailed study of the background principles and the analog design techniques for CMOS-VLSI implementation. It covers the physical operation and the modelling of MOS transistors.
This comprehensive text offers a detailed study of the background principles and the analog design techniques for CMOS-VLSI implementation. It covers ...
|
|
cena:
780,00 zł |
CMOS Current Amplifiers: Speed Versus Nonlinearity
ISBN: 9781441952806 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CMOS Current Amplifiers; Speed versus Nonlinearity is intended as a current-amplifier cookbook containing an extensive review of different current amplifier topologies realisable with modern CMOS integration technologies. The seldom-discussed issue of high-frequency distortion performance is derived for all reviewed amplifier topologies using as simple and intuitive mathematical methods as possible. The topologies discussed are also useful as building blocks for high-performance voltage-mode amplifiers. So the reader can apply the discussed techniques to both voltage- and... CMOS Current Amplifiers; Speed versus Nonlinearity is intended as a current-amplifier cookbook containing an extensive review of d... |
|
cena:
585,00 zł |
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
ISBN: 9783642058806 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and e... |
|
cena:
311,98 zł |
Complexity Theory: Exploring the Limits of Efficient Algorithms
ISBN: 9783642059148 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reflects recent developments in its emphasis on randomized and approximation algorithms and communication models
Reflects recent developments in its emphasis on randomized and approximation algorithms and communication models
|
|
cena:
292,48 zł |
Beyond Two: Theory and Applications of Multiple-Valued Logic
ISBN: 9783790825220 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. M...
|
|
cena:
585,00 zł |
Logic and Language: Studies Dedicated to Professor Rudolf Carnap on the Occasion of His Seventieth Birthday
ISBN: 9789048183197 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
389,98 zł |
Übersetzerbau: Techniken, Werkzeuge, Anwendungen
ISBN: 9783540653899 / Niemiecki / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch bietet eine kompakte Einfuhrung in die Grundlagen und Techniken des Ubersetzerbaus. Ubersetzer transformieren Texte einer Quellsprache, deren Struktur durch eine formale Grammatik beschrieben ist, in eine Zielsprache. Die Ubersetzung imperativer Programmiersprachen in Maschinensprache ist dabei nur ein Spezialfall. Dieses Lehrbuch betont die vielseitige Verwendbarkeit von Ubersetzerbau-Techniken. Insbesondere kann man mit Methoden der Syntaxanalyse Strukturen in Texten, Dateien oder Byte-Stromen identifizieren. Ein weiterer Schwerpunkt liegt in der Verbindung von Theorie und Praxis...
Das Buch bietet eine kompakte Einfuhrung in die Grundlagen und Techniken des Ubersetzerbaus. Ubersetzer transformieren Texte einer Quellsprache, deren...
|
|
cena:
145,75 zł |
Komplexitätstheorie: Grenzen Der Effizienz Von Algorithmen
ISBN: 9783540001614 / Niemiecki / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Komplexitatstheorie ist inzwischen eine ausgefeilte Theorie. Viele wichtige und nutzliche Ergebnisse sind schwer vermittelbar, da der Weg zu Ergebnissen fur konkrete Probleme lang und beschwerlich ist. Wahrend die NP-Vollstandigkeitstheorie die gesamte Informatik beeinflusst hat, werden die neueren Ergebnisse in der Ausbildung an den Rand gedrangt. Dieses Lehrbuch trifft eine Auswahl unter den Ergebnissen, so dass die Bedeutung der Komplexitatstheorie fur eine moderne Informatik in den Mittelpunkt ruckt."
Die Komplexitatstheorie ist inzwischen eine ausgefeilte Theorie. Viele wichtige und nutzliche Ergebnisse sind schwer vermittelbar, da der Weg zu Ergeb...
|
|
cena:
236,90 zł |
Introduction to Embedded System Design Using Field Programmable Gate Arrays
ISBN: 9781849968157 / Angielski / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Introduction to Embedded System Design Using Field Programmable Gate Arrays" provides a starting point for the use of field programmable gate arrays in the design of embedded systems. The text considers a hypothetical robot controller as an embedded application and weaves around it related concepts of FPGA-based digital design. The book details: use of FPGA vis-a-vis general purpose processor and microcontroller; design using Verilog hardware description language; digital design synthesis using Verilog and Xilinx(r) SpartanTM 3 FPGA; FPGA-based embedded processors and peripherals;... "Introduction to Embedded System Design Using Field Programmable Gate Arrays" provides a starting point for the use of field programmable gate arra... |
|
cena:
389,98 zł |
On a Method of Multiprogramming
ISBN: 9781441931795 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to ...
|
|
cena:
585,00 zł |
Essentials of Constraint Programming
ISBN: 9783642087127 / Angielski / Miękka / 147 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi- natorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design, and analysis. This book is a short, concise, and complete presentation of constraint programming and reasoning, covering theoretical foundations, algorithms, implementations, examples, and applications. It is based on more than a...
The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specif...
|
|
cena:
194,97 zł |
Handbook of Philosophical Logic: Volume 16
ISBN: 9789400704787 / Angielski / Twarda / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems."
Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Sy...
|
|
cena:
585,00 zł |