|
|

avaa valikko

Springer Texts in Theoretical Computer Science An EATCS Series | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 85 tuotetta
Haluatko tarkentaa hakukriteerejä?



Hromkovič, Juraj
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Kovakantinen kirja
Algorithmics for Hard Problems - Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
Schneider, Klaus
Springer
2003
Kovakantinen kirja
Verification of Reactive Systems : Formal Methods and Algorithms
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Clote, Peter; Kranakis, Evangelos
Springer
2002
Kovakantinen kirja
Boolean Functions and Computation Models
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scot
Springer
2007
Kovakantinen kirja
Finite Model Theory and Its Applications
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
Bertot, Yves; Castéran, Pierre
Springer
2004
Kovakantinen kirja
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €
Drewes, Frank
Springer
2006
Moniviestin
Grammatical Picture Generation : A Tree-Based Approach
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hutter, Marcus
Springer
2004
Kovakantinen kirja
Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
Kluge, Werner
Springer
2005
Kovakantinen kirja
Abstract Computing Machines : A Lambda Calculus Perspective
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Bjørner, Dines
Springer
2005
Kovakantinen kirja
Software Engineering 1 : Abstraction and Modelling
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Bjørner, Dines
Springer
2006
Kovakantinen kirja
Software Engineering 2 : Specification of Systems and Languages
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bjørner, Dines
Springer
2006
Kovakantinen kirja
Software Engineering 3 : Domains, Requirements, and Software Design
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Flum, J.; Grohe, M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Kovakantinen kirja
Parameterized Complexity Theory
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €
Kröger, Fred; Merz, Stephan
Springer
2008
Kovakantinen kirja
Temporal Logic and State Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Fokkink, Wan
Springer
1999
Kovakantinen kirja
Introduction to Process Algebra
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bandyopadhyay, Subir
Springer
2007
Kovakantinen kirja
Dissemination of Information in Optical Networks: : From Technology to Algorithms
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Fokkink, Wan
Springer
2007
Kovakantinen kirja
Modelling Distributed Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Libkin, Leonid
Springer
2004
Kovakantinen kirja
Elements of Finite Model Theory
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Calude, Cristian S.
Springer
2002
Kovakantinen kirja
Information and Randomness : An Algorithmic Perspective
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Hemaspaandra, Lane A.; Ogihara, Mitsunori
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Kovakantinen kirja
The Complexity Theory Companion
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Hromkovič, Juraj
Springer
2003
Kovakantinen kirja
Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
110,90 €

Näytä lisää...