» książki » Computers - Logic Design
topmenu
 |
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
ISBN: 9783540676645 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000, at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The...
For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains th...
|
cena:
201,24 |
 |
Foundation of Software Science and Computation Structures: Third International Conference, Fossacs 2000 Held as Part of the Joint European Conferences
ISBN: 9783540672579 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess, includingspeci cation, design, implementation, analysis, and improvement. The languages, methodologies,...
ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was establish...
|
cena:
201,24 |
 |
Semantic Techniques for the Web: The REWERSE Perspective
ISBN: 9783642045806 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWERSE on 'Reasoning on the Web', funded by the European Commission and Switzerland within the '6th Framework Programme' (FP6), from 2004 to 2008. The material has been organized into eight chapters, each of which addresses one of the main topics of REWERSE: hybrid reasoning with rules and ontologies, lessons in versatility or how query languages adapt to the Web, evolution and reactivity in the Semantic Web, rule-based policy representations and...
The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWE...
|
cena:
201,24 |
 |
Computational Intelligence in Complex Decision Systems
ISBN: 9789078677277 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
465,29 |
 |
Advanced Digital Design with the Verilog Hdl
ISBN: 9780136019282 / Angielski / Twarda / 984 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advanced Digital Design with the Verilog HDL, 2e, is ideal for an advanced course in digital design for seniors and first-year graduate students in electrical engineering, computer engineering, and computer science.
This book builds on the student's background from a first course in logic design and focuses on developing, verifying, and synthesizing designs of digital circuits. The Verilog language is introduced in an integrated, but selective manner, only as needed to support design examples (includes appendices for additional language details). It addresses the... Advanced Digital Design with the Verilog HDL, 2e, is ideal for an advanced course in digital design for seniors and first-year gradua...
|
cena:
1588,73 |
 |
Hierarchical Modeling for VLSI Circuit Testing
ISBN: 9780792390589 / Angielski / Twarda / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Test generation is one of the most difficult tasks facing the designer of complex VLSI-based digital systems. Much of this difficulty is attributable to the almost universal use in testing of low, gate-level circuit and fault models that predate integrated circuit technology. It is long been recognized that the testing prob lem can be alleviated by the use of higher-level methods in which multigate modules or cells are the primitive components in test generation; however, the development of such methods has proceeded very slowly. To be acceptable, high-level approaches should be applicable to...
Test generation is one of the most difficult tasks facing the designer of complex VLSI-based digital systems. Much of this difficulty is attributable ...
|
cena:
402,53 |
 |
Language and Automata Theory and Applications: 4th International Conference, Lata 2010, Trier, Germany, May 24-28, 2010, Proceedings
ISBN: 9783642130885 / Angielski / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings containall the papers that werepresented at the 4th Inter- tional Conference on Language and Automata Theory and Applications (LATA 2010), held in Trier, Germany, during May 24 28, 2010. The scope of LATA is rather broad, including: algebraic language theory; algorithms on automata and words; automata and logic; automata for system analysis and program veri?cation; automata, concurrency and Petri nets; cel- lar automata; combinatorics on words; computability; computational compl- ity; computer linguistics; data and image compression; decidability questions on words and...
These proceedings containall the papers that werepresented at the 4th Inter- tional Conference on Language and Automata Theory and Applications (LATA ...
|
cena:
402,53 |
 |
Theory and Applications of Models of Computation: 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ISBN: 9783642135613 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Prague, Czech Republic, in June 2010. This book presents the papers addressing the three main themes of the conference which were computability, complexity, and algorithms.
Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Models of Computation, TAMC 2010, held in Pragu...
|
cena:
201,24 |
 |
Computational Logic in Multi-Agent Systems: 14th International Workshop, Clima XIV, Corunna, Spain, September 16-18, 2013, Proceedings
ISBN: 9783642406232 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: Argumentation Technologies and Norms and...
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Sp...
|
cena:
201,24 |
 |
Computer Science - Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010 Kazan, Russia, June 16-20, 2010 Proceedin
ISBN: 9783642131813 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. The 30 papers presented were carefully reviewed and selected from 62 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science.
This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Th...
|
cena:
201,24 |
 |
Unconventional Computation: 9th International Conference, UC 2010 Tokyo, Japan, June 21-25, 2010, Proceedings
ISBN: 9783642135224 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the University of Tokyo (Tokyo, Japan), and the Center for Discrete Mathematics and Theoretical Computer Science (Auckland, New Zealand). It was held in Tokyoduring June 21-25,2010(seehttp: //arn.local.frs.riken.jp/UC10/). The venue was the Sanjo (Hilltop) Conference Hall at Hongo Campus of the University of Tokyo. Hongo Campus was formerly the residence of the Maeda family, one of the richest feudal lords in the Edo period of Japan. The Japanese garden...
The 9th International Conference on Unconventional Computation, UC 2010, was organized under the auspices of EATCS and Academia Europaea, by the Unive...
|
cena:
201,24 |
 |
Developments in Language Theory
ISBN: 9783642144547 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the University of Western Ontario. It was a four-day conference starting August 17 and ending August 20, 2010. The DLT conference series is one of the major international conference series in language theory. It started in Turku, Finland in 1993. Initially, it was held onceeverytwoyears. Since2001, ithasbeenheldeveryyear, oddyearsinEurope and even years in other continents. The papers submitted to DLT 2010 were from 27 countries all over the world,...
The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the Uni...
|
cena:
201,24 |
 |
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
ISBN: 9780387972886 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.
The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright...
|
cena:
201,24 |
 |
Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, Usa, March 29-April 1, 198
ISBN: 9780387973753 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics. The purpose of the book is to bring into print as quickly as possible papers which reflect the state of research on the topics comprising this area. The intended audience for the book consists of those researchers and graduate students with an interest in the research areas which are...
This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to...
|
cena:
201,24 |
 |
Semantics of Systems of Concurrent Processes: Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceeding
ISBN: 9783540534792 / Angielski / Miękka / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of essays is devoted to the semantics of concurrency. The papers are of two kinds: surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, and research papers presenting recent achievements in the semantics of concurrency. The contributors explore the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fix-points and languages, traces, CCS and Petri nets, and categorical models. They also...
This collection of essays is devoted to the semantics of concurrency. The papers are of two kinds: surveys and tutorials introducing the subject to no...
|
cena:
201,24 |
 |
Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings
ISBN: 9783540578871 / Angielski / Miękka / 892 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and...
This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japa...
|
cena:
201,24 |
 |
Automated Reasoning: 5th International Joint Conference, Ijcar 2010, Edinburgh, Uk, July 16-19, 2010, Proceedings
ISBN: 9783642142024 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh, Scotland. Support by the conference sponsors - EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc., Google, Hewlett-Packard, Intel - is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous...
This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16...
|
cena:
402,53 |
 |
Mathematical Foundations of Computer Science 2010: 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings
ISBN: 9783642151545 / Angielski / Miękka / 714 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The symposiaencouragehigh-qualityresearchinallbranchesoftheoreticalcomputer science.Their broadscopeprovidesanopportunityto bring together researchers whodonotusuallymeetatspecialized conferences. The 35th International Symposium on Mathematical Foundations of C- puter Science (MFCS 2010) was organized in parallel with the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). The federated MFCS and CSL 2010 conference had shared...
The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. ...
|
cena:
402,53 |
 |
VHDL for Logic Synthesis
ISBN: 9780470688472 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making VHDL a simple and easy-to-use hardware description language
Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. This book bridges the gap between the VHDL language and the hardware that results from logic synthesis with clear organisation, progressing from the basics of combinational logic, types, and operators; through special structures such as tristate buses, register banks and memories, to advanced themes such as developing your own packages, writing test benches and using the... Making VHDL a simple and easy-to-use hardware description language
Many engineers encountering VHDL (very high speed integrated circuits har... |
cena:
340,00 |
 |
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro
ISBN: 9783642162411 / Angielski / Miękka / 656 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, that was held in Yogyakarta, Indonesia.
Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, t...
|
cena:
402,53 |
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
