Beispielbild für diese ISBNOptimal Interprocedural Program Optimization - A New Framework and Its Application
von Jens Knoop Verlag: Springer
1998 Kartoniert, 316 Seiten, 229mm x 152mm x 18mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNAbstraction, Refinement and Proof for Probabilistic Systems
von Annabelle McIver, Charles Carroll Morgan Verlag: Springer
2010 Kartoniert, 404 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by examp…
182,67 EUR
Beispielbild für diese ISBNNon-Monotonic Extensions of Logic Programming - ICLP '94 Workshop, Santa Margherita Ligure, Italy,…
Verlag: Springer
1995 Kartoniert, 248 Seiten, 235mm x 155mm x 14mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNLogic Programming - 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - Augus…
Verlag: Springer
2002 Kartoniert, 498 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNArtificial Intelligence: Towards Sustainable Intelligence - First International Conference, AI4S 2…
Verlag: Springer
2023 Kartoniert, 236 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng
133,95 EUR
Beispielbild für diese ISBNStatic Analysis - 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proce…
Verlag: Springer
1999 Kartoniert, 372 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNAlgebraic Approaches to Program Semantics
von Ernest G. Manes, Michael A. Arbib Verlag: Springer
2014 Kartoniert, 372 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng
105,94 EUR
Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026,…
Verlag: Springer
2026 Kartoniert, 356 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng
99,85 EUR
Knowledge Graphs and Semantic Web - 7th International Conference, KGSWC 2025, Leipzig, Germany, No…
Verlag: Springer
2025 Kartoniert, 324 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng
119,34 EUR
Beispielbild für diese ISBNArtificial Intelligence: Towards Sustainable Intelligence - Second International Conference, AI4S…
Verlag: Springer
2025 Kartoniert, 260 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng
