Gesamtpreis (1 Artikel Artikel):
Versandziel:
tools algorithms construction analysis (199 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (199)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (173)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (11)
- Gut oder Befriedigend (9)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (6)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (94)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540627901 ISBN 13: 9783540627906
Sprache: Englisch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, . 1217 (Lecture Notes in Computer Science)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,24
Währung umrechnenEUR 6,33 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9783540627906.
-
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642367410 ISBN 13: 9783642367410
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European . Notes in Computer Science, 2280, Band 2280)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 20,14
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Befriedigend. 500 Seiten; 9783540434191.4 Gewicht in Gramm: 1.
-
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European . Notes in Computer Science, 2031, Band 2031)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 21,64
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Befriedigend. 608 Seiten; 9783540418658.4 Gewicht in Gramm: 1.
-
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540610421 ISBN 13: 9783540610427
Sprache: Englisch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22¿27, 2023, Proceedings, Part I
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031308220 ISBN 13: 9783031308222
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 5,61
Währung umrechnenEUR 19,60 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 552 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European . Notes in Computer Science, 4424, Band 4424)
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 25,96
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Gut. 760 Seiten; 9783540712084.3 Gewicht in Gramm: 2.
-
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Tools And Algorithms For The Construction And Analysis Of System
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 29,22
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint . Computer Science and General Issues)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,82
Währung umrechnenEUR 4,51 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 16,90
Währung umrechnenEUR 12,35 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good.
-
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 17,32
Währung umrechnenEUR 12,35 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part III
Verlag: Springer International Publishing, 2019
ISBN 10: 3030175014 ISBN 13: 9783030175016
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European . (Lecture Notes in Computer Science, 2619)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 16,38
Währung umrechnenEUR 19,60 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. 620 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642007678 ISBN 13: 9783642007675
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part II
Verlag: Springer International Publishing, 2019
ISBN 10: 3030174646 ISBN 13: 9783030174644
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part I
Verlag: Springer International Publishing, 2019
ISBN 10: 3030174611 ISBN 13: 9783030174613
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint . Computer Science and General Issues)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 33,60
Währung umrechnenEUR 4,51 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642120016 ISBN 13: 9783642120015
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540787992 ISBN 13: 9783540787990
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer International Publishing, 2021
ISBN 10: 3030720128 ISBN 13: 9783030720124
Sprache: Englisch
EUR 39,60
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Tools and Algorithms for the Construction and Analysis of Systems (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 5 von 5 Sternen
EUR 38,25
Währung umrechnenEUR 4,47 für den Versand von Italien nach DeutschlandAnzahl: 5 verfügbar
In den WarenkorbZustand: new.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Apr 2024, 2024
ISBN 10: 3031572556 ISBN 13: 9783031572555
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer Nature Switzerland, Springer International Publishing Apr 2024, 2024
ISBN 10: 3031572459 ISBN 13: 9783031572456
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer Nature Switzerland, Springer International Publishing Apr 2024, 2024
ISBN 10: 3031572483 ISBN 13: 9783031572487
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.
-
Tools and Algorithms for the Construction and Analysis of Systems
Verlag: Springer Nature Switzerland, Springer International Publishing Apr 2023, 2023
ISBN 10: 3031308190 ISBN 13: 9783031308192
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions.The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report.TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 628 pp. Englisch.
