Für die Filterung wurden keine Ergebnisse gefunden!
NEU
The Munich Project CIP. Vol.1
0 : Introduction to the project CIP.- I : Informal survey of the language.- II : Description of the language.- III : Formal definition of the language.
32,09 €
*
The Programming and Proof System ATES
Today, people use a large number of "systems" ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly...
106,99 €
*
NEU
The Semantic Web - ISWC 2010
The two-volume set LNCS 6496 and 6497 constitutes the refereed proceedings of the 9th International Semantic Web Conference, ISWC 2010, held in Shanghai, China, during November 7-11, 2010. Part I contains 51 papers out of 578 submissions...
53,49 €
*
NEU
The Semantic Web: ESWC 2011 Workshops
This volume constitutes the thoroughly refereed proceedings of 11 international workshops held as part of the 8th Extended Semantic Web Conference, ESWC 2011, in Heraklion, Crete, Greece, in May 2010. The 22 revised full papers presented...
53,49 €
*
NEU
The Use of Formal Specification of Software
The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of...
106,99 €
*
NEU
The Vienna Development Method: The Meta-Language
On the formalization of programming languages: Early history and main approaches.- Programming in the meta-language: A tutorial.- The meta-language: A reference manual.- Denotational semantics of goto: An exit formulation and its...
32,09 €
*
NEU
Theoretical Aspects of Computing -- ICTAC 2011
This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 revised full papers presented...
53,49 €
*
NEU
Theoretical Computer Science
Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal -...
53,49 €
*
Theory and Applications of Satisfiability...
This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2010 was held as part of the 2010 Federated Logic Conference (FLoC) and was hosted by the...
53,49 €
*
Theory and Practical Issues on Cellular Automata
This book contains all full papers presented at ACRI 2000, the Fourth International Conference on Cellular Automata for Research and Industry, held at the University of Karlsruhe (Germany), 4 - 6 October, 2000. The continuation of and...
106,99 €
*
Theory of Quantum Computation, Communication...
This book constitutes the thoroughly refereed post-conference proceedings of the 5th Conference on Theory of Quantum Computation, Communication, and Cryptography, TQC 2010, held in Leeds, UK, in April 2010. The 15 revised papers...
53,49 €
*
Tools and Algorithms for the Construction and...
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory 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...
53,49 €
*
Zuletzt angesehen