Gesamtpreis (1 Artikel Artikel):
Versandziel:
theoretical aspects software engineering (55 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (55)
- 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 (52)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (55)
Weitere Eigenschaften
- Erstausgabe (4)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (15)
- Keine Print-on-Demand Angebote (39)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 52,12
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 61,23
Währung umrechnenEUR 8,96 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings: 15841 (Lecture Notes in Computer Science, 15841)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 58,86
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Theoretical Aspects of Software Engineering : 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 70,99
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
EUR 65,70
Währung umrechnenEUR 7,66 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Theoretical Aspects of Software Engineering (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 4 von 5 Sternen
EUR 69,50
Währung umrechnenEUR 8,00 für den Versand von Italien nach USAAnzahl: 5 verfügbar
In den WarenkorbZustand: new.
-
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings (Lecture Notes in Computer Science)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 79,94
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 79,96
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
EUR 74,40
Währung umrechnenEUR 7,66 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Theoretical Aspects of Software Engineering (Paperback)
Verlag: Springer International Publishing AG, Cham, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Sprache: Englisch
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 83,44
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 1416, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theoretical Aspects of Software Engineering : 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 82,39
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Theoretical Aspects of Software Engineering (Paperback)
Verlag: Springer International Publishing AG, Cham, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Sprache: Englisch
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 85,61
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques. This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,45
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theoretical Aspects of Software Engineering (Paperback)
Verlag: Springer International Publishing AG, Cham, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Sprache: Englisch
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 92,65
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 46, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods. This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 46, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. verification and testing for AI systems; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Theoretical Aspects of Software Engineering
Verlag: Springer International Publishing AG, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Sprache: Englisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 87,57
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: 5 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 92,47
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
EUR 87,44
Währung umrechnenEUR 7,66 für den Versand innerhalb von/der USAAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
-
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings (Lecture Notes in Computer Science)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 93,60
Währung umrechnenEUR 3,40 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,73
Währung umrechnenEUR 13,74 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 87,54
Währung umrechnenEUR 17,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Theoretical Aspects of Software Engineering : 16th International Symposium, Tase 2022, Cluj-napoca, Romania, July 8-10, 2022, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 105,54
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
EUR 105,99
Währung umrechnenEUR 3,40 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
EUR 109,39
Währung umrechnenEUR 3,40 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
EUR 115,03
Währung umrechnenEUR 3,40 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
-
Theoretical Aspects of Software Engineering : 16th International Symposium, Tase 2022, Cluj-napoca, Romania, July 8-10, 2022, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 123,63
Währung umrechnenEUR 2,25 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Theoretical Aspects of Software Engineering (Paperback)
Verlag: Springer International Publishing AG, Cham, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Sprache: Englisch
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,85
Währung umrechnenEUR 42,43 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 1416, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 46, 2023, Proceedings
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 115,54
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 2023. 2023 ed. paperback. . . . . .
-
Theoretical Aspects of Software Engineering (Paperback)
Verlag: Springer International Publishing AG, Cham, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 98,56
Währung umrechnenEUR 31,56 für den Versand von Australien nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 1416, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Theoretical Aspects of Software Engineering: 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14 16, 2025, Proceedings
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 105,78
Währung umrechnenEUR 28,67 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 413 pages. 9.26x6.11x9.21 inches. In Stock.
-
Theoretical Aspects of Software Engineering : 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
Verlag: Springer Nature Switzerland, Springer Nature Switzerland, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 70,61
Währung umrechnenEUR 63,14 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14 16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.
