Beispielbild für diese ISBNTheoretical Aspects of Software Engineering - 18th International Symposium, TASE 2024, Guiyang, Ch…
Verlag: Springer
2024 Kartoniert, 492 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng
133,95 EUR
Beispielbild für diese ISBNFormal Methods and Stochastic Models for Performance Evaluation - Third European Performance Engin…
Verlag: Springer
2006 Kartoniert, 252 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Proceedings of the Third European Performance Engineering Workshop, EPEW 2006 Presents 16 revised full papers Topics include stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependabili…
60,88 EUR
Beispielbild für diese ISBNTypes for Proofs and Programs - International Conference, TYPES 2007, Cividale del Friuli, Italy,…
Verlag: Springer
2008 Kartoniert, 220 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNSemantics, Applications, and Implementation of Program Generation - International Workshop, SAIG 2…
Verlag: Springer
2000 Kartoniert, 244 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNApplied Machine Learning and Data Analytics - 6th International Conference, AMLDA 2023, Lübeck, Ge…
Verlag: Springer
2024 Kartoniert, 288 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng
91,34 EUR
Beispielbild für diese ISBNCommunicating Sequential Processes. The First 25 Years - Symposium on the Occasion of 25 Years of…
Verlag: Springer
2005 Kartoniert, 344 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Also available online
60,88 EUR
Beispielbild für diese ISBNMathematics of Program Construction - Third International Conference, MPC '95, Kloster Irsee, Germ…
Verlag: Springer
1995 Kartoniert, 488 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNStatic Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015…
Verlag: Springer
2015 Kartoniert, 352 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edin…
Verlag: Springer
2017 Kartoniert, 380 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNTyped Lambda Calculi and Applications - 7th International Conference, TLCA 2005, Nara, Japan, Apri…
Verlag: Springer
2005 Kartoniert, 452 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng
