» książki » Computers - Logic Design
topmenu
 |
Computable Models
ISBN: 9781849968188 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, Raymond Turner uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computational models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and specification languages, through to knowledge representation languages and formalism for natural language semantics.... Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specif... |
cena:
200,77 |
 |
The Illiac IV: The First Supercomputer
ISBN: 9783540117650 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Illiac IV was the first large scale array computer. As the fore runner of today's advanced computers, it brought whole classes of scientific computations into the realm of practicality. Conceived initially as a grand experiment in computer science, the revolutionary architecture incorporated both a high level of parallelism and pipe lining. After a difficult gestation, the Illiac IV became operational in November 1975. It has for a decade been a substantial driving force behind the develooment of computer technology. Today the Illiac IV continues to service large-scale scientific...
The Illiac IV was the first large scale array computer. As the fore runner of today's advanced computers, it brought whole classes of scientific compu...
|
cena:
200,77 |
 |
Distributed Computing and Internet Technology: 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011, Proceedings
ISBN: 9783642190551 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 7th International Conference on Distributed Computing and Internet Technology, ICDCIT 2011, held in Bhubaneswar, India, in February 2011. In this book, papers are grouped in topical sections on distributed computing, sensor networks, internet technologies and applications, security, and bio-inspired computing.
Constitutes the proceedings of the 7th International Conference on Distributed Computing and Internet Technology, ICDCIT 2011, held in Bhubaneswar, In...
|
cena:
200,77 |
 |
Vagueness in Communication: International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
ISBN: 9783642184451 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009.The 11 contributions presented shed a light on new aspects in the area of vagueness in natural language communication. In contrast to the classical instruments of dealing with vagueness - like multi-valued logics, truth value gaps or gluts, or supervaluations - this volume presents new approaches like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels.
This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux,...
|
cena:
200,77 |
 |
Job Scheduling Strategies for Parallel Processing: 15th International Workshop, Jsspp 2010, Atlanta, Ga, Usa, April 23, 2010, Revised Selected Papers
ISBN: 9783642165047 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th Thisvolumecontainsthepaperspresentedatthe15 workshoponJobSched- ing Strategies for Parallel Processing that was held in Atlanta (GA), USA, on April 23, 2010 in conjunction with the IEEE International Parallel Processing Symposium 2010. This year 18 papers were submitted to the workshop. All submitted papers 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 willingness to participate in this e?ort and their excellent,...
th Thisvolumecontainsthepaperspresentedatthe15 workshoponJobSched- ing Strategies for Parallel Processing that was held in Atlanta (GA), USA, on April...
|
cena:
200,77 |
 |
Introduction to Formal Hardware Verification
ISBN: 9783642084775 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
200,77 |
 |
The Calculus of Computation: Decision Procedures with Applications to Verification
ISBN: 9783642093470 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification... Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order... |
cena:
200,77 |
 |
Generative and Transformational Techniques in Software Engineering III
ISBN: 9783642180224 / Angielski / Miękka / 497 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009. The 16 articles comprise 7 long tutorials, 6 short tutorials and 3 participants contributions; they shed light on the generation and transformation of programs, data, models, metamodels, documentation, and entire software systems. The topics covered include software reverse and re-engineering, model driven engineering,...
This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Ge...
|
cena:
200,77 |
 |
Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings
ISBN: 9783642180255 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011. The 14 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 34 submissions. The papers present current research in all aspects of formal logic ranging from pure and applied logic to history of logic.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indi...
|
cena:
200,77 |
 |
Delta-4: A Generic Architecture for Dependable Distributed Computing
ISBN: 9783540549857 / Angielski / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-time systems. This book describes the design and validation of the distributed fault-tolerant architecture developed within this project. The key features of the Delta-4 architecture are: (a) a distributed object-oriented application support environment; (b) built-in support for user-transparent fault tolerance; (c) use of multicast or group communication protocols; and (d) use of standard off the-shelf processors and standard local area network...
Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-tim...
|
cena:
200,77 |
 |
Implementation and Application of Automata: 15th International Conference, CIAA 2010 Winnipeg, MB, Canada, August 12-15, 2010 Revised Selected Papers
ISBN: 9783642180972 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010.The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory.
This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, he...
|
cena:
200,77 |
 |
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
ISBN: 9783540517993 / Angielski / Twarda / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of...
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification tech...
|
cena:
200,77 |
 |
Specification and Verification of Concurrent Systems
ISBN: 9783540195818 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange...
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the U...
|
cena:
200,77 |
 |
Alpuk91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991
ISBN: 9783540197348 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This...
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point wher...
|
cena:
200,77 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 91, International Workshop on Logic Program Synthesis and Transformation, University
ISBN: 9783540197423 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program...
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing altern...
|
cena:
200,77 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, University
ISBN: 9783540198062 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume...
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the cu...
|
cena:
200,77 |
 |
Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Tech
ISBN: 9783540198529 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The...
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practi...
|
cena:
200,77 |
 |
Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-La
ISBN: 9783540198642 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. Much of the success of the workshop is due to Yves Deville who served as Organizer and Chair. Many people believe that machine support for the development and evolution of software will play a critical role in future software engineering environments. Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. Logic languages are unique in providing...
This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 9...
|
cena:
200,77 |
 |
Asynchronous Digital Circuit Design
ISBN: 9783540199014 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Workshop, this volume examines asynchronous methods which have been used in large circuit design, ranging from initial formal specification to more standard finite state machine based control models. Written by leading practitioners in the area, the papers cover many aspects of current practice including practical design, silicon compilation, and...
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asy...
|
cena:
200,77 |
 |
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
ISBN: 9783642195884 / Angielski / Miękka / 191 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 Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 20...
|
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
