|
|

avaa valikko

ProgrammingLanguages | Akateeminen Kirjakauppa

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



Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Chaudhuri, Swarat; Farzan, Azadeh
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Rangisetti, Anil Kumar
Apress
2026
Pehmeäkantinen kirja
C Programming for System, Network, and Cloud Engineers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
57,50 €
Mazzara, Manuel; Ober, Iulian; Salaün, Gwen
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revise
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Klusáček, Dalibor; Cirne, Walfredo; Desai, Narayan
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Job Scheduling Strategies for Parallel Processing - 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Cohen, Albert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja
Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Pra
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Abraham, Erika; Havelund, Klaus
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Peters, James F.; Skowron, Andrzej
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2020
Pehmeäkantinen kirja
Transactions on Rough Sets XXII
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Grossmann, Georg; Ram, Sudha
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Advances in Conceptual Modeling - ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €