SULJE VALIKKO

Ajankohtaista
Viikon poiminnat
Hyvän mielen kesälukemista
Aloita uusi sarja
Finlandia-palkinnon ehdokkaat ja voittajat
Anna kirjalle uusi elämä! Akateeminen x Kierrätyskeskus
Tapahtumat
28.8. Emmi Itäranta | Tapiola
30.8. Kohtaamispaikka sellisti Tatu Ahola
2.9. Paneeli: Diplomaatteja ja vakoojia
2.9. Kalle Virtapohja
3.9. Dekkari-ilta: Pauli Jokinen
4.9. Olivier Norek
6.9. Emmi Itäranta | Tampere
10.9. Julia Ahvenus ja Anu Pensola
13.9. Mustan Kuun-lastentapahtuma | Turku
17.9. Susanna Hast, Marjo Niemi ja Katri Viitaniemi
24.9. Lasse Lehtinen, Teivo Teivainen ja Topias Haikala
8.10 Merete Mazzarella, Lina Bonde och Mia Franck
9.10. WTC Turku Book Club: Unstressable
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ö
Suomenkielinen tietokirjallisuus
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! 🐎
Nuortenkirjat
Kaikki nuortenkirjat
Neropatin päiväkirja -sarja
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Uutishuone

avaa valikko

Andreas Podelski | Akateeminen Kirjakauppa

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



Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Podelski, Andreas; Taïani, François
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Constraint Programming: Basics and Trends - 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Select
Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja
Constraint Programming: Basics and Trends - 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Select
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Podelski, Andreas
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Tools and Algorithms for the Construction and Analysis of Systems - 10th International Conference, TACAS 2004, Held as Part of t
Jensen, Kurt; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 10th International Conference, TACAS 2004, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,40 €
Verification, Model Checking, and Abstract Interpretation - 8th International Conference, VMCAI 2007, Nice, France, January 14-1
Cook, Byron; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 8th International Conference, VMCAI 2007, Nice, France, January 14-1
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29
Joshi, Rajeev; Müller, Peter; Podelski, Andreas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Meistä
Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta
Seuraa Akateemista
Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen
Oma tili
Omat tiedotOmat tilauksetOmat laskut
Meistä
Yhteystiedot ja aukioloajatUsein kysytyt Akateemisen YstäväklubiToimitusehdotTietosuojaselosteMaksutavatEvästeiden hallinta
Seuraa Akateemista
Instagram Facebook Threads TikTok YouTube LinkedIn
Ladataan sisältöä...