Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App

Programsemantics [Stichwörter]

(112 Ergebnisse)
Stichwörter
Programsemantics
Stichwörter: Programsemantics
Neuware
Artificial Intelligence: Towards Sustainable Intelligence  - Second International Conference, AI4S 2024, Alcala de Henares, Spain, October 3-4, 2024, ProceedingsBeispielbild für diese ISBN

Artificial Intelligence: Towards Sustainable Intelligence - Second International Conference, AI4S…

Verlag: Springer

2025 Kartoniert, 260 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng

Neu
Bestell-Nr.: A50804141
ISBN: 3031813685
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

91,34 EUR

Kostenloser Versand
Neuware
Typed Lambda Calculi and Applications  - 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 ProceedingsBeispielbild für diese ISBN

Typed Lambda Calculi and Applications - 5th International Conference, TLCA 2001 Krakow, Poland, Ma…

Verlag: Springer

2001 Kartoniert, 448 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A2358040
ISBN: 3540419608
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
CONCUR '95 Concurrency Theory  - 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. ProceedingsBeispielbild für diese ISBN

CONCUR '95 Concurrency Theory - 6th International Conference, Philadelphia, PA, USA, August 21 - 2…

3,00 Ødurchschnittliche Bewertung · 1 Bewertungen bei Goodreads

Verlag: Springer

1995 Kartoniert, 564 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng

Neu
Bestell-Nr.: A5365220
ISBN: 3540602186
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
Verification, Model Checking, and Abstract Interpretation  - Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised PapersBeispielbild für diese ISBN

Verification, Model Checking, and Abstract Interpretation - Third International Workshop, VMCAI 20…

Verlag: Springer

2002 Kartoniert, 348 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A5579638
ISBN: 3540436316
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
Practical Aspects of Declarative Languages  - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, ProceedingsBeispielbild für diese ISBN

Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO,…

Verlag: Springer

2025 Kartoniert, 268 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng

Neu
Bestell-Nr.: A51082886
ISBN: 303184923X
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

70,63 EUR

Kostenloser Versand
Neuware
Business Intelligence, Computational Mathematics, and Data Analytics  - Second International Conference, IBCD 2025, Pune, India, September 26-27, 2025, Proceedings

Business Intelligence, Computational Mathematics, and Data Analytics - Second International Confer…

Verlag: Springer

2026 Kartoniert, 492 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng

Neu
Bestell-Nr.: A64796432
ISBN: 3032209064
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

91,34 EUR

Kostenloser Versand
Neuware
Advanced Symbolic Analysis for Compilers  - New Techniques and Algorithms for Symbolic Program Analysis and OptimizationBeispielbild für diese ISBN

Advanced Symbolic Analysis for Compilers - New Techniques and Algorithms for Symbolic Program Anal…

von Thomas Fahringer, Bernhard Scholz Verlag: Springer

2003 Kartoniert, 148 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng Includes supplementary material: sn.pub/extras

Neu
Bestell-Nr.: A3144630
ISBN: 3540011854
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

60,88 EUR

Kostenloser Versand
Neuware
Knowledge Graphs and Semantic Web  - 6th International Conference, KGSWC 2024, Paris, France, December 11-13, 2024, ProceedingsBeispielbild für diese ISBN

Knowledge Graphs and Semantic Web - 6th International Conference, KGSWC 2024, Paris, France, Decem…

Verlag: Springer

2025 Kartoniert, 360 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng

Neu
Bestell-Nr.: A50875249
ISBN: 3031812204
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

91,34 EUR

Kostenloser Versand
Neuware
Applied Machine Learning and Data Analytics  - 7th International Conference, AMLDA 2024, Shamshabad, India, December 20-21, 2024, Revised Selected Papers

Applied Machine Learning and Data Analytics - 7th International Conference, AMLDA 2024, Shamshabad…

Verlag: Springer

2026 Kartoniert, 176 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng

Neu
Bestell-Nr.: A64547797
ISBN: 3032182921
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

91,34 EUR

Kostenloser Versand
Neuware
Electronic Governance with Emerging Technologies  - 4th International Conference, EGETC 2025, Melbourne, Australia, September 25-26, 2025, Revised Selected Papers

Electronic Governance with Emerging Technologies - 4th International Conference, EGETC 2025, Melbo…

Verlag: Springer

2026 Kartoniert, 336 Seiten, 235mm x 155mm x 19mm, Sprache(n): eng

Neu
Bestell-Nr.: A64281053
ISBN: 3032122317
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

133,95 EUR

Kostenloser Versand