» książki » Computers - Logic Design
topmenu
 |
Theoretical Computer Science: 5th Gi-Conference Karlsruhe, March 23-25, 1981
ISBN: 9783540105763 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
200,77 |
 |
Caap '83: Trees in Algebra and Programming. 8th Colloquium l'Aquila, March 9-11, 1983. Proceedings
ISBN: 9783540127277 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With contributions by numerous experts
With contributions by numerous experts
|
cena:
200,77 |
 |
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
ISBN: 9783540160427 / Angielski / Miękka / 527 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
200,77 |
 |
Stacs 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986
ISBN: 9783540160786 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,53 |
 |
Mathematical Foundations of Computer Science 1986: 12th Symposium Held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings
ISBN: 9783540167839 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
401,58 |
 |
Concepts in User Interfaces: A Reference Model for Command and Response Languages
ISBN: 9783540167914 / Angielski / Miękka / 119 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
200,77 |
 |
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
ISBN: 9783540171621 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
200,77 |
 |
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
ISBN: 9783540182177 / Angielski / Miękka / 125 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deducti...
|
cena:
200,77 |
 |
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
ISBN: 9783540184195 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.
The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism,...
|
cena:
200,77 |
 |
Semantics of Digital Circuits
ISBN: 9783540185406 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,34 |
 |
Fundamentals of Computation Theory: International Conference Fct '87 Kazan, Ussr, June 22-26, 1987. Proceedings
ISBN: 9783540187400 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical...
This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals ...
|
cena:
200,77 |
 |
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
ISBN: 9783540405597 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: - 4 contributions by invited speakers: one full paper and three short abstracts; - 29 accepted technical papers; - 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops...
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Be...
|
cena:
200,77 |
 |
Stacs 91: 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
ISBN: 9783540537090 / Angielski / Miękka / 551 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of STACS 91, a symposium on the theoretical aspects of computer science, held in Hamburg, Germany in February 1991. STACS is held each year, alternately in Germany and France, and is organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft fuer Informatik (GI) and the Special Interest Group for Applied Mathematics of the Association Francaise des Sciences et Techniques de l'Information et de Systemes (AFCET).
This volume contains the proceedings of STACS 91, a symposium on the theoretical aspects of computer science, held in Hamburg, Germany in February 199...
|
cena:
401,58 |
 |
Implementation and Application of Automata: 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Paper
ISBN: 9783540763352 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague, Czech Republic on July 16 18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference. The proceedings also include the abstracts and extended abstracts offourinvitedlecturespresentedbyGheorghePau ? n, MichaelRiley, MosheVardi, and Bruce W. Watson. The 23 regular papers and 7 poster papers were selected from 79 submitted papers covering various...
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague, Czech Re...
|
cena:
200,77 |
 |
Graph-Theoretic Concepts in Computer Science: 16th International Workshop Wg '90, Berlin, Germany, June 20-22, 1990
ISBN: 9783540538325 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives the proceedings of WG '90, the 16th in a series of workshops. The aim of the workshop series is to contribute to integration in computer science by applying graph-theoretic concepts. The workshops are unusual in that they combine theoretical aspects with practice and applications. The volume is organized into sections on: - Graph algorithms and complexity, - VLSI layout, - Multiprocessor systems and concurrency, - Computational geometry, - Graphs, languages and databases, - Graph grammars. The volume contains revised versions of nearly all the papers presented at the...
This volume gives the proceedings of WG '90, the 16th in a series of workshops. The aim of the workshop series is to contribute to integration in comp...
|
cena:
200,77 |
 |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
ISBN: 9783540548348 / Angielski / Miękka / 705 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts...
|
cena:
401,58 |
 |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
ISBN: 9783540548683 / Angielski / Miękka / 433 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts...
|
cena:
200,77 |
 |
Specification and Compositional Verification of Real-Time Systems
ISBN: 9783540549475 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programming language is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specify functional and timing properties of programs, two formalisms are investigated: one using a real-time version of temporal logic, called Metric Temporal Logic, and another which is based on extended Hoare triples. Metric Temporal Logic provides a concise notation to express timing properties and to axiomatize...
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programmin...
|
cena:
200,77 |
 |
Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
ISBN: 9783540551799 / Angielski / Miękka / 493 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4 1991. Thee objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new...
This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4 1...
|
cena:
200,77 |
 |
Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
ISBN: 9783540564966 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 4th Workshop on Computer-Aided Verification (CAV '92), held in Montreal in 1992. The object of this series of workshops was to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification methods that can be used to assist the applications designer. Emphasis was placed on new research results and the application of existing results to real verification problems.
This volume contains the proceedings of the 4th Workshop on Computer-Aided Verification (CAV '92), held in Montreal in 1992. The object of this series...
|
cena:
200,77 |
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
