Frederic mallet (23 Ergebnisse)
The Edge of Awareness
Kohlmeyer, Agnes (Senior Editor); Mallet, Brian J. & Perez, Frederic (Editors - Text)
- Softcover
Anbieter: Adelaide Booksellers, Clarence Gardens, SA, AustralienAdelaide Booksellers
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 12,69
EUR 19,30 VersandVersand von Australien nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Very Good. 1st thus. Quarto Size [approx 24cm x 30.5cm]. Very Good condition - Card Covers. Illustrated with Colour and Black & White Photographs and Plates. Text in English and French 217 pages. An international exhibition of contemporary art produced to celebrate the 50th anniversary of the World Health Org…anization.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,03
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 86,34
EUR 9,01 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,57
EUR 14,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 456 pages. 9.25x6.10x1.03 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2020
Serie: Buch 329 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 103,98
EUR 11,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 152 pages. 9.25x6.10x0.35 inches. In Stock.
Sprache: Englisch
Verlag: Springer, 2020
Serie: Buch 329 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Techniques for Safety-Critical Systems | 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers | Osman Hasan (u. a.) | Taschenbuch | Communications in Computer and Information Science | viii | Englisch | 2020 | Springer | EAN 9783030469016 | Verantwor…tliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, 2020
Serie: Buch 329 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,39
EUR 61,21 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China,in November 2019.The 6 revised full papers presented were carefully reviewed and se…lected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems;methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry;code generation from validated models.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Information and Communication Technologies in Education, Research, and Industrial Applications | 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019, Revised Selected Papers | Vadim Ermolayev (u. a.) | Taschenbuch | Communications in Computer and Information Science | xii | E…nglisch | 2020 | Springer | EAN 9783030394585 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 63,43 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains extended versions of the best papers presented at the 15th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2019, held in Kherson, Ukraine, in June 2…019.The 19 revised full papers included in this volume were carefully reviewed and selected from 416 initial submissions. The papers are organized in the following topical sections: advances in ICT and IS research; ICT in teaching, learning, and education management; applications of ICT in industrial and public practice.
Sprache: Englisch
Verlag: Springer, 2020
Serie: Buch 329 von 578 - Communications in Computer and Information Science
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 41,32
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully review…ed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 138,85
EUR 14,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 331 pages. 9.25x6.10x9.25 inches. In Stock.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,80
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Information and Communication Technologies in Education, Research, and Industrial Applications | 20th International Conference, ICTERI 2025, Nice, France, September 1-4, 2025, Proceedings | Vadim Ermolayev (u. a.) | Taschenbuch | xxiii | Englisch | 2026 | Springer | EAN 9783032104762 | Verantwortliche…Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 98,04
EUR 62,53 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2025, held in Nice, France, during September 2025.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,43
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,50
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Gallix, Gif sur Yvette, FrankreichGallix
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 85,00
EUR 35,66 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: Neuf. FUMAT, Carole (illustrator).
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 59,09
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 1040 | Sprache: Französisch | Produktart: Bücher | Keine Beschreibung verfügbar. FUMAT, Carole (illustrator).
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 34,80
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Logische tijd [at] Werk voor de modellering en analyse van ingebedde systemen | Grondslagen van het UML/MARTE-tijdmodel | Frederic Mallet | Taschenbuch | Niederländisch | 2021 | Uitgeverij Onze Kennis | EAN 9786202751988 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19…, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
- Softcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 189,00
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: gut. 2021. Manuel de Psychiatrie In deutscher Sprache. pages. FUMAT, Carole (illustrator).
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 34,80
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Tempo logico [at] Lavoro per la modellazione e l'analisi dei sistemi embedded | Fondamenti del modello temporale UML/MARTE | Frederic Mallet | Taschenbuch | Italienisch | 2021 | Edizioni Sapienza | EAN 9786202751995 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 490…78 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 34,80
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Tempo Lógico [at] Trabalho para a Modelação e Análise de Sistemas Embebidos | Fundamentos do modelo temporal UML/MARTE | Frederic Mallet | Taschenbuch | Portugiesisch | 2021 | Edições Nosso Conhecimento | EAN 9786202752008 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr.…19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 37,90
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Logische Zeit [at] Arbeit für die Modellierung und Analyse eingebetteter Systeme | Grundlagen des UML/MARTE-Zeitmodells | Frederic Mallet | Taschenbuch | 116 S. | Deutsch | 2021 | Verlag Unser Wissen | EAN 9786202752039 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848…Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
Anbieter: Redins antikvariat, Enköping, SchwedenRedins antikvariat
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 75,00
EUR 30,00 VersandVersand von Schweden nach USAAnzahl: 1 verfügbar
In den WarenkorbPartem primam (allt som utkom). Stockholm, Grefing 1752, (2),30 sidor. Liten 4:o. Tagen ur band. Skuren. [#220681].
