Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Hurahda väritys- ja puuhakirjojen maailmaan!
Finlandia-palkinnon ehdokkaat ja voittajat
Aloita uusi vuosi uusilla tarinoilla!
Uppoudu uudelleen suosikkisarjaan!
Tapahtumat
14.1. Pekka Visuri ja Timo Hellenberg
21.1. Ville Jalovaara
28.1. Akateeminen Business Book Club | Turku
30.1. Karl Ove Knausgård
19.2. Sari Kivistö, Katariina Kärkelä, Erika Pihl ja Isa Välimäki
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Keltainen Kirjasto
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
Mietelauseet
Selkokirjat
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suosittelemme: Satu Rämö
Suosittelemme: Max Seeck
Suomenkielinen tietokirjallisuus
Suosittelemme: Ajankohtaisimmat tietokirjat
Elämänkerrat ja muistelmat
Yleistieto
Historia
Yhteiskunta
Taide ja arkkitehtuuri
Yritykset ja talous
Oikeustiede
Lääketiede
Tietotekniikka
Ajoneuvot
Käsityötaide
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Englanninkieliset lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Harry Potter -sarja
Rambon talli! 🐎
Yökoulu
Ella ja kaverit
Tammen kultaiset kirjat
Nuortenkirjat
Kaikki nuortenkirjat
Suosittelemme: Ajankohtaiset nuortenkirjat
Nuorten selkokirjat
Nuorten sarjakuvat
Neropatin päiväkirja -sarja
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Uutishuone
KIRJAUDU
ostoskori
Suomi
|
English
|
Svenska
avaa valikko
Tarkennettu haku
Doron Peled | Akateeminen Kirjakauppa
Haullasi löytyi yhteensä 15 tuotetta
Haluatko tarkentaa hakukriteerejä?
Suosituimmat ensin
Aakkosjärjestys
Vuosijärjestys
Viimeksi lisätyt
Viimeksi julkaistut
Partial Order Methods in Verification
Doron Peled; Vaughan R. Pratt; Gerard J. Holzmann
MP-AMM American Mathematical
1997
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
173,60 €
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Halbwachs, Nicolas; Peled, Doron
Springer
1999
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Dependable Software Systems Engineering
Edited By Maximilian Irlbeck, Doron Peled And Alexander Pretschner
Ios Press
2015
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
222,60 €
Model Checking and Artificial Intelligence - 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Se
Peled, Doron A.; Wooldridge, Michael
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Software Reliability Methods
Peled, Doron A.
Springer-Verlag New York Inc.
2001
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston,
Peled, Doron A.; Vardi, Moshe Y.
Springer
2002
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Automated Technology for Verification and Analysis - Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005
Peled, Doron A.; Tsay, Yih-Kuen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Software Reliability Methods
Peled, Doron A.
Springer-Verlag New York Inc.
2011
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Software Reliability Methods
Doron A. Peled, Peled
Springer Nature B.V.
2013
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
105,70 €
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Alur, Rajeev; Peled, Doron A.
Springer
2004
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
100,90 €
Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, San Francisco, USA, Januar
Logozzo, Francesco; Peled, Doron A.; Zuck, Leonore D.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Runtime Verification - 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Bensalem, Saddek; Peled, Doron A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Time for Verification - Essays in Memory of Amir Pnueli
Manna, Zohar; Peled, Doron A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
91,00 €
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016,
Artho, Cyrille; Legay, Axel; Peled, Doron
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
51,10 €
Model Checking
Jr., Edmund M. Clarke; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
MIT Press Ltd
2018
Kovakantinen kirja
Tuotetta lisätty
ostoskoriin
kpl
Siirry koriin
80,00 €
Näytä lisää...