» książki » Computers - Logic Design
topmenu
 |
Logic Synthesis for Fsm-Based Control Units
ISBN: 9783642043086 / Angielski / Twarda / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD. This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic sy... |
cena:
603,81 |
 |
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX Dresden, Germany, September 29-30, 2008 Revised Selected and Invited
ISBN: 9783642027338 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and...
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their...
|
cena:
201,24 |
 |
Job Scheduling Strategies for Parallel Processing: 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers
ISBN: 9783642046322 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th Thisvolumecontainsthepaperspresentedatthe14 workshoponJobSched- ing Strategies for ParallelProcessing.The workshop was held in Rome, Italy, on May 29, 2009, in conjunction with the IEEE International Parallel Processing Symposium 2009. This year 25 papers were submitted to the workshop. All submitted - pers went through a complete review process, with the full version being read and evaluated by an average of four reviewers. We would like to especially thank the program committee members and additional referees for their wi- ingness to participate in this e?ort and their excellent,...
th Thisvolumecontainsthepaperspresentedatthe14 workshoponJobSched- ing Strategies for ParallelProcessing.The workshop was held in Rome, Italy, on May ...
|
cena:
201,24 |
 |
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, Fpl 2000 Villach, Austria, August 2
ISBN: 9783540678991 / Angielski / Miękka / 858 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the proceedings volume of the 10th International Conference on Field Programmable Logic and its Applications (FPL), held August 27 30, 2000 in Villach, Austria, which covered areas like reconfigurable logic (RL), reconfigurable computing (RC), and its applications, and all other aspects. Its subtitle "The Roadmap to Reconfigurable Computing" reminds us, that we are currently witnessing the runaway of a breakthrough. The annual FPL series is the eldest international conference in the world covering configware and all its aspects. It was founded 1991 at Oxford University (UK) and...
This book is the proceedings volume of the 10th International Conference on Field Programmable Logic and its Applications (FPL), held August 27 30, 20...
|
cena:
402,53 |
 |
Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
ISBN: 9783540678397 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26- 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d'Esterel in Quebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year's symposium was...
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was h...
|
cena:
201,24 |
 |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
ISBN: 9783540671909 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.
Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the... This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with ...
|
cena:
201,24 |
 |
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999
ISBN: 9783540671022 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers, presented together with five revised full invited papers, were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented...
This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgor...
|
cena:
402,53 |
 |
Fm'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Pr
ISBN: 9783540665878 / Angielski / Miękka / 940 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM 99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These...
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range o...
|
cena:
402,53 |
 |
The Semantic Web - Iswc 2002: First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings
ISBN: 9783540437604 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Semantic Web Conference, ISWC 2002, held in Sardinia, Italy, in June 2002.The 27 revised full research papers, 6 position papers, and 7 system descriptions presented were carefully reviewed and selected from a total of 133 submissions. All current issues in this exciting new field are addressed, ranging from theoretical aspects to applications in various fields.
This book constitutes the refereed proceedings of the First International Semantic Web Conference, ISWC 2002, held in Sardinia, Italy, in June 2002.Th...
|
cena:
201,24 |
 |
Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings
ISBN: 9783540434771 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe?rstSPINworkshopwasastand-aloneevent, later workshopshavebeenorganizedasmoreorlesscloselya?liatedeventswithlarger conferences, in particular with CAV (1996),...
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the ...
|
cena:
201,24 |
 |
Relational Methods in Computer Science
ISBN: 9783211829714 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include questions of relational databases, applications to program specification, resource-conscious linear logic, semantic and refinement consideration, nonclassical logics for reasoning about programs, tabular methods in software construction, algorithm development, linguistic problems, followed by a comprehensive bibliography. The reader gets an overview of the wide-ranging applicability of relational methods in computer science. ..". While this is a...
The calculus of relations turned into an important conceptual and methodological tool in computer science. The methods presented in this book include ...
|
cena:
201,24 |
 |
Logic Synthesis for Asynchronous Controllers and Interfaces
ISBN: 9783540431527 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the result of a long friendship, of a broad international co- operation, and of a bold dream. It is the summary of work carried out by the authors, and several other wonderful people, during more than 15 years, across 3 continents, in the course of countless meetings, workshops and discus- sions. It shows that neither language nor distance can be an obstacle to close scientific cooperation, when there is unity of goals and true collaboration. When we started, we had very different approaches to handling the mys- terious, almost magical world of asynchronous circuits. Some were...
This book is the result of a long friendship, of a broad international co- operation, and of a bold dream. It is the summary of work carried out by th...
|
cena:
644,07 |
 |
Sdl 2009: Design for Motes and Mobiles: 14th International Sdl Forum Bochum, Germany, September 22-24, 2009 Proceedings
ISBN: 9783642045530 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held every two years for the last three decades and is one of the most important open events in the calendar for anyone from academia or industry involved in System DesignLanguagesandmodelling technologies. It is a primary conference event for discussion of the evolution and use of these languages. The most recent innovations, trends, experiences, and concerns in the ?eld are discussed and presented. The SDL Forum series addresses issues related to the...
This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held ev...
|
cena:
201,24 |
 |
Declarative Agent Languages and Technologies VII
ISBN: 9783642113543 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009. The 11 revised full papers presented together with 1 invited lecture and 3 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected from 17 initial submissions. The papers combine declarative and... This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Techno... |
cena:
201,24 |
 |
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
ISBN: 9783642117961 / Angielski / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2009, held in Brussels, Belgium, in September 2009. The 12 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The workshop features current research and gives some indication of the new directions in which task analysis theories, methods, techniques and tools are progressing. The papers are organized in topical sections on business process, design process, model driven approach, task...
This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2009, ...
|
cena:
201,24 |
 |
Software Language Engineering: Second International Conference, Sle 2009, Denver, Co, Usa, October 5-6, 2009 Revised Selected Papers
ISBN: 9783642121067 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Includes the refereed post-conference proceedings of the Second International Conference on Software Language Engineering, SLE 2009, held in Denver, CO, USA, in October 2009.
Includes the refereed post-conference proceedings of the Second International Conference on Software Language Engineering, SLE 2009, held in Denver, C...
|
cena:
201,24 |
 |
Abstract State Machines, Alloy, B and Z
ISBN: 9783642118104 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec, during February22 25,2010, midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development: Abstract State Machines (ASM), Alloy, B and Z. They shareacommonconceptualframework, centeredaroundthe notionsofstateand operation, andpromotemathematicalprecisioninthemodeling, veri?cation, and construction of highly dependable systems. These...
ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec, during February22 25,2010, midwaythroughthe Ca- dian...
|
cena:
201,24 |
 |
Foundations of Information and Knowledge Systems: 6th International Symposium, Foiks 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
ISBN: 9783642118289 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational...
This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was ...
|
cena:
201,24 |
 |
Interactive Textures for Architecture and Landscaping: Digital Elements and Technologies
ISBN: 9781615206537 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "This book addresses the phenomenon called "interactive architecture that challenges artists, architects, designers, theorists, and geographers to develop a language and designs toward the "use" of these environments"--Provided by publisher.
"This book addresses the phenomenon called "interactive architecture that challenges artists, architects, designers, theorists, and geographers to dev...
|
cena:
922,53 |
 |
Research Into Practice - Reality and Gaps: 6th International Conference on the Quality of Software Architectures, Qosa 2010, Prague, Czech Republic, J
ISBN: 9783642138201 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed proceedings of the 6th International Conference, QoSA 2010, held in Prague, Czech Republic in June 2010.
Constitutes the thoroughly refereed proceedings of the 6th International Conference, QoSA 2010, held in Prague, Czech Republic in June 2010.
|
cena:
201,24 |
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
