Siirry pääsisältöön
SULJE VALIKKO
Ajankohtaista
Viikon poiminnat
Sukella suosittuun Game Changers -sarjaan! 🏒🌶️
Hurahda väritys- ja puuhakirjojen maailmaan!
Aloita uusi sarja
Uppoudu uudelleen suosikkisarjaan!
Löydä neulomisen ilo 🧶
Helsinki Lit -käännöskirjallisuusfestivaali
Äitienpäivä lähestyy! 🌸
Tapahtumat
8.4. Lauri Nurmi ja Onni Kari
8.4 Kaisu Tuokko och Michaela von Kügelgen
11.4. Ike Korpela | Turku
11.4. Tamperelaiset kirjailijat Kohtaamispaikalla | Tampere
14.4. Anna-Leena Härkönen
15.4. Dekkari-ilta
18.4 Barnens lördag på Akademen
18.4. Ike Korpela | Tapiola
18.4. Ann-Christin Antell | Turku
21.4. Kometjakten fyller 80 år!
22.4. Markku Haussila ja Evelin Kask
24.4. Lucy Score
25.4. Jenna Kostet ja Patricia G. Bertényi | Turku
29.4. HS teema: Vakoilu
4.5. Yrsa Sigurðardóttir
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
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
Selkee-selkokirjasarja
Nuortenkirjat
Kaikki nuortenkirjat
Nuorten selkokirjat
Nuorten sarjakuvat
Neropatin päiväkirja -sarja
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Anna kirjalle uusi elämä! Akateeminen x Kierrätyskeskus
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
121,80 €
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
226,70 €
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008,
Peled, Doron A.; Wooldridge, Michael
Springer
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,
Peled, Doron A.; Tsay, Yih-Kuen
Springer
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
107,40 €
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 €
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 €
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA,
Logozzo, Francesco; Peled, Doron A.; Zuck, Leonore D.
Springer
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
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,
Artho, Cyrille; Legay, Axel; Peled, Doron
Springer
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
79,40 €
Näytä lisää...