Gesamtpreis (1 Artikel Artikel):
Versandziel:
riis nielson hanne (107 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (107)
- 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 (88)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (12)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (1)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (35)
- Keine Print-on-Demand Angebote (88)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
EUR 14,28
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Seiten: 274 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 24,27
Gebraucht ab EUR 14,28
Mehr entdecken Softcover Erstausgabe
-
Transactions On Computational Systems Biology Vii
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 27,68
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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 27,68
Gebraucht ab EUR 118,53
Mehr entdecken Softcover
-
EUR 38,24
Währung umrechnenEUR 3,99 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Two-Level Functional Languages
Verlag: Cambridge University Press, 1992
ISBN 10: 0521403847 ISBN 13: 9780521403849
Sprache: Englisch
EUR 38,11
Währung umrechnenEUR 3,99 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 83,16
Gebraucht ab EUR 42,10
Mehr entdecken Hardcover
-
Static Analysis
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 40,62
Währung umrechnenEUR 2,30 für den Versand innerhalb von/der DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 488.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 42,92
Gebraucht ab EUR 138,41
Mehr entdecken Softcover
-
Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17¿21, 2019, Proceedings
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030223965 ISBN 13: 9783030223960
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections named: computational models; tools; exploring new frontiers; and coordination patterns.
-
Formal Methods
Verlag: Springer International Publishing, Springer International Publishing Jul 2019, 2019
ISBN 10: 3030051552 ISBN 13: 9783030051556
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics.The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.
-
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Verlag: Cambridge University Press, 2005
ISBN 10: 0521018471 ISBN 13: 9780521018470
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,13
Währung umrechnenEUR 5,71 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Transactions On Computational Systems Biology Vii
Verlag: Springer, 2006
Sprache: Englisch
Anbieter: Books in my Basket, New Delhi, Indien
Verkäuferbewertung 5 von 5 Sternen
EUR 70,09
Währung umrechnenEUR 17,30 für den Versand von Indien nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: New. ISBN:9783540488378.
-
Principles of Program Analysis
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 81,11
Währung umrechnenEUR 17,25 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 98,36
Gebraucht ab EUR 172,97
Mehr entdecken Hardcover
