|
|

avaa valikko

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

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



Hromkovič, Juraj; Klasing, Ralf; Pelc, A.; Ruzicka, Peter; Unger, Walter
Springer
2005
Kovakantinen kirja
Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hromkovič, Juraj; Klasing, Ralf; Pelc, A.; Ruzicka, Peter; Unger, Walter
Springer
2010
Pehmeäkantinen kirja
Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hromkovič, Juraj
Springer
2002
Kovakantinen kirja
Algorithmics for Hard Problems : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Kovakantinen kirja
Decision Procedures - An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Springer
2022
Kovakantinen kirja
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Springer
2023
Pehmeäkantinen kirja
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Bjørner, Dines
Springer
2006
Kovakantinen kirja
Software Engineering 2 : Specification of Systems and Languages
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Hemaspaandra, Lane A.; Ogihara, Mitsunori
Springer
2001
Kovakantinen kirja
The Complexity Theory Companion
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Rothe, Jörg
Springer
2005
Kovakantinen kirja
Complexity Theory and Cryptology : An Introduction to Cryptocomplexity
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ronchi Della Rocca, Simona; Paolini, Luca
Springer
2010
Pehmeäkantinen kirja
The Parametric Lambda Calculus : A Metamodel for Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
Springer
2015
Kovakantinen kirja
Petri Net Synthesis
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Badouel, Eric; Bernardinello, Luca; Darondeau, Philippe
Springer
2016
Pehmeäkantinen kirja
Petri Net Synthesis
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Kroening, Daniel; Strichman, Ofer
Springer
2018
Pehmeäkantinen kirja
Decision Procedures : An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
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 €

Näytä lisää...