Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Sukella suosittuun Game Changers -sarjaan! 🏒🌶️
Hurahda väritys- ja puuhakirjojen maailmaan!
Tapahtumat
6.8. Kirjojen Yö | Tampere
13.8. Kirjojen Yö | Turku
20.8. Kirjojen Yö! | Helsinki
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
Selkokirjat
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suosittelemme: Satu Rämö
Suosittelemme: Max Seeck
Suomenkielinen tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Historia
Yhteiskunta
Taide ja arkkitehtuuri
Yritykset ja talous
Oikeustiede
Tietotekniikka
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Harrastekirjat
Keittokirjat
Käsityöt
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Englanninkieliset lastenkirjat
Kuvakirjat
Nuortenkirjat
Kaikki nuortenkirjat
Nuorten sarjakuvat
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Springer Texts in Theoretical Computer Science An EATCS Series | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 85 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Algorithmics for Hard Problems - Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Hromkovič, Juraj
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
91,00 €
Verification of Reactive Systems : Formal Methods and Algorithms
Schneider, Klaus
Springer
2003
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Boolean Functions and Computation Models
Clote, Peter; Kranakis, Evangelos
Springer
2002
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
76,00 €
Finite Model Theory and Its Applications
Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Marx, Maarten; Spencer, Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scot
Springer
2007
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
91,00 €
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
Bertot, Yves; Castéran, Pierre
Springer
2004
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
120,90 €
Grammatical Picture Generation : A Tree-Based Approach
Drewes, Frank
Springer
2006
Moniviestin
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability
Hutter, Marcus
Springer
2004
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
91,00 €
Abstract Computing Machines : A Lambda Calculus Perspective
Kluge, Werner
Springer
2005
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Software Engineering 1 : Abstraction and Modelling
Bjørner, Dines
Springer
2005
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Software Engineering 2 : Specification of Systems and Languages
Bjørner, Dines
Springer
2006
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Software Engineering 3 : Domains, Requirements, and Software Design
Bjørner, Dines
Springer
2006
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Parameterized Complexity Theory
Flum, J.; Grohe, M.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
120,90 €
Temporal Logic and State Systems
Kröger, Fred; Merz, Stephan
Springer
2008
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
76,00 €
Introduction to Process Algebra
Fokkink, Wan
Springer
1999
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Dissemination of Information in Optical Networks: : From Technology to Algorithms
Bandyopadhyay, Subir
Springer
2007
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Modelling Distributed Systems
Fokkink, Wan
Springer
2007
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Elements of Finite Model Theory
Libkin, Leonid
Springer
2004
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Information and Randomness : An Algorithmic Perspective
Calude, Cristian S.
Springer
2002
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
81,00 €
The Complexity Theory Companion
Hemaspaandra, Lane A.; Ogihara, Mitsunori
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
81,00 €
Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization,
Hromkovič, Juraj
Springer
2003
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
110,90 €
Näytä lisää...