search result

Cover von Software engineering

Software engineering

Bjorner, Dines
2006
Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: GESAMTWERK
Volumes loading
Cover von Abstract computing machines
a lambda calculus perspective
Author: Kluge, Werner E. Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Complexity theory and cryptology
an introduction to cryptocomplexity
Author: Rothe, Jörg Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Vol. 1.; Abstraction and modelling
Search for this author
Year: 2006
Publisher: Berlin, Springer
Software engineering
Volume: Vol. 1.
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Universal artificial intelligence
sequential decisions based on algorithmic probability
Author: Hutter, Marcus Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Theoretical computer science
introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography
Author: Hromkovic, Juraj Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Dissemination of information in communication networks
broadcasting, gossiping, leader election, and fault-tolerance
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Design and analysis of randomized algorithms
introduction to design paradigms
Author: Hromkovic, Juraj Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von A practical theory of reactive systems
incremental modeling of dynamic behaviors
Author: Kurki-Suonio, Reino Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Interactive theorem proving and program development
Coq'Art : the calculus of inductive constructions
Author: Bertot, Yves; Casteran, Pierre Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
OPEN V 11.1.0.0