Baier christel editor

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques

Baier, Christel (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2018

331992611X / 9783319926117

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 80,30

EUR 11,96 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 212 pages. 9.25x6.10x0.55 inches. In Stock.

Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloni

Baier, Christel (Editor)/ Dal Lago, Ugo (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2018

3319893653 / 9783319893655

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 93,57

EUR 14,95 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 600 pages. 9.25x6.10x1.85 inches. In Stock.

Sofsem 2017: Theory and Practice of Computer Science, Proceedings

Steffen, Bernhard (Editor)/ Baier, Christel (Editor)/ van den Brand, Mark (Editor)/ Eder, Johann (Editor)/ Hinchey, Mike (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2017

331951962X / 9783319519623

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 85,73

EUR 47,83 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 544 pages. 9.25x6.10x1.23 inches. In Stock.

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015

Baier, Christel (Editor)/ Tinelli, Cesare (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2015

3662466805 / 9783662466803

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 88,91

EUR 47,83 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2015 edition. 744 pages. 9.00x6.00x1.50 inches. In Stock.

CONCUR 2006 - Concurrency Theory: 17th International Conference, Concur 2006, Bonn, Germany, August 27-30, 2006 : Proceedings

Baier, Christel (Editor)/ Hermanns, Holger (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2006

3540373764 / 9783540373766

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 162,90

EUR 14,95 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 523 pages. 9.00x6.00x1.25 inches. In Stock.

Optimieren Sie Ihre Suche

Baier christel editor (5 Ergebnisse)

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques

Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloni

Sofsem 2017: Theory and Practice of Computer Science, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015

CONCUR 2006 - Concurrency Theory: 17th International Conference, Concur 2006, Bonn, Germany, August 27-30, 2006 : Proceedings