Kohn wolf (37 Ergebnisse)
- Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 27,45
EUR 3,89 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. 404 pp., ex library, else textually clean & tight, softcover. - 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.
- Softcover
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 33,32
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped… with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Anbieter: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, DeutschlandVersandbuchhandlung Kisch & Co.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 2,24
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Gebraucht - Sehr gut front cover kinked - ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996…. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch.
- Softcover
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 38,97
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped… with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 41,15
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Anbieter: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, DeutschlandChe & Chandler Versandbuchhandlung
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 2,99
EUR 45,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Gebraucht - Sehr gut front cover kinked - ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996…. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch.
Hybrid Systems V
Antsaklis, Panos J. (EDT); Kohn, Wolf (EDT); Lemmon, Michael (EDT); Nerode, Anil (EDT); Sastry, Shankar (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 59,25
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Deutsch
Verlag: Tübingen : Max Niemeyer, 1952
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Gut
EUR 12,10
EUR 15,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover/Paperback. Zustand: Gut. 63 S., Ill. Guter Zustand. Bibliotheksexemplar mit Stempeln und Signatur auf Einband. Sonst Seiten sauber. Sprache: Deutsch Gewicht in Gramm: 220.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,98
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,98
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,44
EUR 18,05 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,98
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Hybrid Systems V: v. 5 (Lecture Notes in Computer Science)
Anil Nerode, Shankar Sastry, Michael Lemmon, Wolf Kohn, Panos J. Antsaklis
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,58
EUR 18,05 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
Paperback. Zustand: New.
Hybrid Systems V
Antsaklis, Panos J. (EDT); Kohn, Wolf (EDT); Lemmon, Michael (EDT); Nerode, Anil (EDT); Sastry, Shankar (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,83
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Hybrid Systems V
Antsaklis, Panos J. (EDT); Kohn, Wolf (EDT); Lemmon, Michael (EDT); Nerode, Anil (EDT); Sastry, Shankar (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,56
EUR 17,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Hybrid Systems V
Antsaklis, Panos J. (EDT); Kohn, Wolf (EDT); Lemmon, Michael (EDT); Nerode, Anil (EDT); Sastry, Shankar (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 66,34
EUR 17,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 63,20 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous… submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 63,52 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thoroug…h reviewing and revision. The volumepresents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,97
EUR 64,37 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution an…d is the successor to LNCS 736, the seminal 'Hybrid Systems' volume edited by Grossman, Nerode, Ravn, and Rischel.Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 42,18
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. Zustand: Gut | Seiten: 584 | Sprache: Englisch | Produktart: Bücher | This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contributio…n and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel.Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 12,90
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New. Manchmal werde ich gefragt, ob Poetry Slam nur ein Hype sei und bald wieder vorbei. Dieses Buch ist die beste Form, diese Frage mit Nein zu beantworten. Sebastian23 Man koennte meinen, irgendwann muss doch im Poetry Slam einmal ein Textzen.
Weitere BilderVerlag: Salzweg-Passau, Tutte Druckerei 1993., 1993
- Softcover
Anbieter: Antiquariat Heiner Henke, Passau, DeutschlandAntiquariat Heiner Henke
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht
EUR 18,00
EUR 80,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb17 ungez. Bll. mit ganzs., meist farb. Werkabb. Orig. - Broschur. = Katalog anl. der Ausstellung im Museum Kloster Asbach in Zusammenarbeit mit dem Kulturreferat des Landkreises Passau im September 1993. == Mit (der vermutlichen) Signatur der Künstlerin, datiert 22.5.03, auf dem Titelblatt. Sehr gut erhalten.
Sprache: Deutsch
Verlag: Thieme Georg Verlag Auflage: 1 (19. September 2007), 2007
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 63,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: gut. Auflage: 1 (19. September 2007). Fit im neuen Fach! Im Zuge der Zusammenführung der Gebiete Orthopädie, Orthopädische Chirurgie und Unfallchirurgie ist eine neue Weiterbildungsordnung für den Facharzt Orthopädie und Unfallchirurgie in Kraft getreten. Hierauf abgestimmt finden Sie in diesem Werk die syste…matische Beschreibung der Inhalte - Prävention von Verletzungen, Erkrankungen und Deformitäten - Diagnostik einschließlich aller modernen bildgebenden Verfahren - Konservative und operative Behandlung der Verletzungen, Erkrankungen und Deformitäten bei Patienten aller Altersstufen - Nachsorge und Rehabilitation - Qualitätssicherung unter Berücksichtigung der zusätzlichen Weiterbildungsmöglichkeiten - Handchirurgie - Kinderorthopädie - Notfallmedizin - orthopädische Rheumatologie - Physikalische Medizin und Sportmedizin AktuellKomplettes Weiterbildungswissen auf dem neuesten Stand ÜbersichtlichRasche Orientierung durch exzellente Abbildungen, modernes Layout, gut strukturierten TextPraxisnahKonkrete Handlungsanweisungen für eine rationelle Diagnostik und Therapie FundiertNamhaftes Herausgeber- und Autorenteam Die Praxis der Orthopädie und Unfallchirurgie ist Ihr unentbehrlicher Begleiter während Ihrer Weiterbildung und der Vorbereitung auf die Facharztprüfung sowie auch als Nachschlagewerk für die Zeit danach. Eignen Sie sich alle klinisch relevanten Themen an! Lernen Sie eine verlässliche Hilfe für den Alltag kennen! Behandlungskonzepte Unfallchirurg Assistenzarzt Handchirurgie Kinderorthopädie Notfallmedizin orthopädische Rheumatologie Physikalische Medizin Sportmedizin Sprache deutsch Maße 195 x 270 mm Klinik und Praxis Chirurgie Unfallchirurgie Orthopädie Medizin Pharmazie Klinik und Praxis Orthopäde Behandlung Facharzt HumanMedizin Klinische Fächer Orthopädie Orthopäde Handbuch Lehrbuch Orthopädische Chirurgie Prävention Unfallchirurgie Verletzungen Weiterbildung OrthopädieUnfallchirurgie Weiterbildung Orthopädie Unfallchirurg ISBN-10 3-13-140641-0 3131406410 ISBN-13 978-3-13-140641-5 9783131406415 Praxis der Orthopädie und Unfallchirurgie Carl Joachim Wirth Wolf Mutschler Thieme Co-Autor Farshid Abdolvahab, Frank Rainer Abel, Volker Alt, Michael Antosch, Markus Arand, Hermann Josef Bail, René Baumgartner, Michael Bernateck, Jürgen Bruns, Thomas Dirk Böhm, Jörg Carls, Maximilian A. Dambacher, Martin Dominkus, Ulrich Dorn, Stephan Eggeling, Christian Eichhorn, Alexander Euteneier, Peter Feldmann, Stefan Fickert, Michael H. Foerster, Jürgen Forst, Raimund Forst, Mellany Galla, Hans Jürgen Gerner, Frank Gohlke, Hans Gollwitzer, Frank Gossé, Reiner Gradinger, Bernhard Greitemann, Franz Grill, André Gächter, Klaus-Peter Günther, Norbert P. Haas, Klaus Karl J. Hallfeldt, Achim Hedtmann, Guido Heers, Jürgen Heisel, Anne Ingenhorst, Dominik Irnich, Martin Jaeger, Martin Keller, Michael Kiefer, Lothar Kinzl, Dieter Kohn, Rainer Kotz, Petra Krepler, Roland Laszig, Philipp Lobenhoffer, Anette Lorani, Henning Madry, Marcus Tobias Maier, Wolfgang Maier, Abdul Kader Martini, Ingo Marzi, Peter Metz-Stavenhagen, Thomas Mittlmeier, Bernhard Moriggl, Thomas Mussack, Maurus Neff, Fritz Uwe Niethard, Dietrich Pape, Bernward Passlick, Tim Pohlemann, Renata Pospischill, Nils Putschky, Reinhard Putz, Stefan Rammelt, Thomas Ramsauer, Hans Rechl, Oliver Reich, Olaf Rolf, Robert Rotter, Frank Rubenthaler, Jürgen Rudigier, Volker Ruppert, Oliver Rühmann, Carola Schiebel, Reinhard Schnettler, Eva Schwameis, Bernd Steckmeier, Oliver Steimer, Jörn Steinhagen, Wolf Ingo Steudel, Christian Georg Stief, Christina Stukenborg-Colsman, Gordian Stutz, Norbert Südkamp, Cyril Toma, Christof Wagner, Hugo Axel Wanivenhaus, Kuno Weise, Andreas Wentzensen, Ernst Wiedemann, Henning Windhagen, Reiner Wirbel, Ralf Hermann Wittenberg, Nikolaus Wülker, Henning Zeidler, Ludwig Zichner, Ludwig Zwack, Hans Zwipp, Karl-Ludwig von Hanstein In deutscher Sprache. 1100 pages. 27,6 x 21 x 5,4 cm.
Facharztprüfung Orthopädie und Unfallchirurgie: 1000 kommentierte Prüfungsfragen Extremitätenrekonstruktion Facharzt Facharztprüfung Geriatrische Orthopädie Repetitorium Prüfungsvorbereitungen Weichteil- und Knochenläsionen Weiterbildung Prüfungsvorbereitung Prüfung Medizin Wirth, Carl Joachim; Mutschler, Wolf-Eberhard; Kohn, Dieter Pohlemann, Tim
Wirth, Carl Joachim; Mutschler, Wolf-Eberhard; Kohn, Dieter Pohlemann, Tim
- Softcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 129,00
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: gut. Die optimale Vorbereitung für die Facharztprüfung im neuen Fach Wertvolle Tipps für den Einstieg Selbsttests und Lerntipps, mit denen Sie Ihren Lernstil realistisch einschätzen und optimieren Trainieren Sie aktiv die »Prüfungsrhetorik« Organisatorische Hilfestellungen unterstützen Sie von der Antragsstel…lung bis zum Einreichen der Unterlagen Effektives Training Optimale Prüfungsvorbereitung durch über 1000 Fragen aus allen Themengebieten der Orthopädie und Unfallchirurgie Systematisches Lernen und praxisnahe Erfolgskontrolle durch die Prüfungssimulation zu Hause Üben, worauf es ankommt: komplexe Fragestellungen strukturiert beantworten, klinische Probleme Schritt für Schritt lösen, Fakten bewerten, sichere Entscheidungen treffen Optimales Ergebnis Sie wissen, was auf Sie zukommt Sie haben den kompletten Prüfungsstoff durchgearbeitet Sie gehen stress- und angstfrei in die Prüfung Facharztprüfung Orthopädie und Unfallchirurgie: 1000 kommentierte Prüfungsfragen Wirth, Carl Joachim; Mutschler, Wolf-Eberhard; Kohn, Dieter Pohlemann, Tim Facharztprüfung Orthopädie und Unfallchirurgie: 1000 kommentierte Prüfungsfragen Extremitätenrekonstruktion Facharzt Facharztprüfung Geriatrische Orthopädie Repetitorium Prüfungsvorbereitungen Weichteil- und Knochenläsionen Weiterbildung Prüfungsvorbereitung Prüfung Medizin Wirth, Carl Joachim; Mutschler, Wolf-Eberhard; Kohn, Dieter Pohlemann, Tim In deutscher Sprache. pages.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 1999, 1999
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two r…ounds of thorough reviewing and revision. The volumepresents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc. 468 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised ful…l papers selected from numerous submis.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revi…sed full papers chosen from the workshop contribution and is th.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 80,24
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers select…ed from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Automata for a Class of Linear Hybrid Systems.- On Hybrid Systems and the Modal µ-calculus.- The Extended Linear Complementarity Problem and the M…odeling and Analysis of Hybrid Systems.- Controller Scheduling Using Neural Networks: Implementation and Experimental Results.- Rigorous Design of a Fault Diagnosis and Isolation Algorithm.- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems.- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties.- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem.- Hybrid Systems with Finite Bisimulations.- Extracting Stable Timed Automata from Switched Model Reference Systems.- Sliding Mode Model Semantics and Simulation for Hybrid Systems.- Time-Deterministic Hybrid Transition Systems.- Heuristic Optimization and Dynamical System Safety Verification.- A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systems.- Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control.- Action Systems with Continuous Behaviour.- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.- Optimal Controller Switching for Stochastic Systems.- Robust Control of Hybrid Systems: Performance Guided Strategies.- Analysis of Slope-Parametric Rectangular Automata.- Control of Interval Temporal Systems.- Phase-Space Nonlinear Control Toolbox: The Maglev Experience.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 468 pp. Englisch.
