Beispielbild für diese ISBNFoundations of Software Science and Computation Structures - Second International Conference, FOSS…
Verlag: Springer
1999 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNVerification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 20…
Verlag: Springer
2008 Kartoniert, 340 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNLogic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Casc…
Verlag: Springer
2023 Kartoniert, 224 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng
66,97 EUR
Beispielbild für diese ISBNApplication and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2…
Verlag: Springer
2015 Kartoniert, 364 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNStatic Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Pro…
Verlag: Springer
2016 Kartoniert, 524 Seiten, 235mm x 155mm x 29mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNThe Essence of Computation - Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jon…
Verlag: Springer
2002 Kartoniert, 492 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNTools and Algorithms for the Construction and Analysis of Systems - 9th International Conference,…
Verlag: Springer
2003 Kartoniert, 628 Seiten, 235mm x 155mm x 34mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
121,78 EUR
Beispielbild für diese ISBNTypes for Proofs and Programs - International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 19…
Verlag: Springer
2000 Kartoniert, 208 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNGenetic Programming - 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Procee…
Verlag: Springer
2018 Kartoniert, 336 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNSemantics, Applications, and Implementation of Program Generation - Second International Workshop,…
Verlag: Springer
2001 Kartoniert, 236 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
