Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

Bis 07.03. Tagetessamen GRATIS¹!
Code: 03TAGETES

Hybrid Systems: Computation and Control

First International Workshop, Berkeley, California, USA, April 13-15, 1998. Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Hybrid Systems: Computation and Control".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with...
Mehr zum Inhalt Video Inhaltsverzeichnis
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2040551

Buch 93.08 €
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2040551

Buch 93.08 €
Jetzt vorbestellen
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

Johann M. Schumann

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Automata, Languages, and Programming, ICALP '98

Automata, Languages, and Programming, ICALP '98

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Iterative Software Engineering for Multiagent Systems

Iterative Software Engineering for Multiagent Systems

Jürgen Lind

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 30.05.2001
lieferbar
Simulation, Modeling, and Programming for Autonomous Robots

Simulation, Modeling, and Programming for Autonomous Robots

0 Sterne
Buch

85.60 €

In den Warenkorb
Erschienen am 15.11.2014
lieferbar
Knowledge Engineering and Knowledge Management

Knowledge Engineering and Knowledge Management

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 04.05.2015
lieferbar
Theory and Practice of Natural Computing

Theory and Practice of Natural Computing

0 Sterne
Buch

59.99 €

In den Warenkorb
lieferbar
Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 19.06.2009
lieferbar
Hagenberg Research

Hagenberg Research

Michael Affenzeller, Andreas Beham, Bruno Buchberger, Christina Buttinger, Wolfgang Beer, Peter Brandl

0 Sterne
Buch

165.84 €

In den Warenkorb
Erschienen am 17.06.2009
lieferbar
Human-Centered Software Engineering

Human-Centered Software Engineering

0 Sterne
Buch

74.99 €

In den Warenkorb
lieferbar
RoboCup 2014: Robot World Cup XVIII

RoboCup 2014: Robot World Cup XVIII

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 22.05.2015
lieferbar
Systems and Software Verification

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

128.39 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Intelligent Software Methodologies, Tools and Techniques

Intelligent Software Methodologies, Tools and Techniques

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 01.10.2015
lieferbar
Knowledge Science, Engineering and Management

Knowledge Science, Engineering and Management

0 Sterne
Buch

109.99 €

In den Warenkorb
Erschienen am 02.10.2015
lieferbar
On the Move to Meaningful Internet Systems: OTM 2015 Workshops

On the Move to Meaningful Internet Systems: OTM 2015 Workshops

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 04.11.2015
lieferbar
Engineering Multi-Agent Systems

Engineering Multi-Agent Systems

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 16.02.2015
lieferbar
Advanced Computing

Advanced Computing

0 Sterne
Buch

109.99 €

In den Warenkorb
Erschienen am 14.12.2010
lieferbar
Advances in Computer Science and Information Technology

Advances in Computer Science and Information Technology

0 Sterne
Buch

119.99 €

In den Warenkorb
Erschienen am 14.12.2010
lieferbar
Produktdetails
Produktinformationen zu „Hybrid Systems: Computation and Control “
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.
Klappentext zu „Hybrid Systems: Computation and Control “
This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.
Inhaltsverzeichnis zu „Hybrid Systems: Computation and Control “
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.
Bibliographische Angaben

  • 1998, 436 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Verlag: Springer, Berlin
  • ISBN-10: 3540643583
  • ISBN-13: 9783540643586
  • Erscheinungsdatum: 25.03.1998

Sprache:
Englisch
Kommentar zu "Hybrid Systems: Computation and Control"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Hybrid Systems: Computation and Control".

Kommentar verfassen
Andere Kunden kauften auch
Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

Johann M. Schumann

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Automata, Languages, and Programming, ICALP '98

Automata, Languages, and Programming, ICALP '98

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Iterative Software Engineering for Multiagent Systems

Iterative Software Engineering for Multiagent Systems

Jürgen Lind

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 30.05.2001
lieferbar
Simulation, Modeling, and Programming for Autonomous Robots

Simulation, Modeling, and Programming for Autonomous Robots

0 Sterne
Buch

85.60 €

In den Warenkorb
Erschienen am 15.11.2014
lieferbar
Knowledge Engineering and Knowledge Management

Knowledge Engineering and Knowledge Management

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 04.05.2015
lieferbar
Theory and Practice of Natural Computing

Theory and Practice of Natural Computing

0 Sterne
Buch

59.99 €

In den Warenkorb
lieferbar
Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 19.06.2009
lieferbar
Hagenberg Research

Hagenberg Research

Michael Affenzeller, Andreas Beham, Bruno Buchberger, Christina Buttinger, Wolfgang Beer, Peter Brandl

0 Sterne
Buch

165.84 €

In den Warenkorb
Erschienen am 17.06.2009
lieferbar
Human-Centered Software Engineering

Human-Centered Software Engineering

0 Sterne
Buch

74.99 €

In den Warenkorb
lieferbar
RoboCup 2014: Robot World Cup XVIII

RoboCup 2014: Robot World Cup XVIII

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 22.05.2015
lieferbar
Systems and Software Verification

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

128.39 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
Intelligent Software Methodologies, Tools and Techniques

Intelligent Software Methodologies, Tools and Techniques

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 01.10.2015
lieferbar
Knowledge Science, Engineering and Management

Knowledge Science, Engineering and Management

0 Sterne
Buch

109.99 €

In den Warenkorb
Erschienen am 02.10.2015
lieferbar
On the Move to Meaningful Internet Systems: OTM 2015 Workshops

On the Move to Meaningful Internet Systems: OTM 2015 Workshops

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 04.11.2015
lieferbar
Engineering Multi-Agent Systems

Engineering Multi-Agent Systems

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 16.02.2015
lieferbar
Advanced Computing

Advanced Computing

0 Sterne
Buch

109.99 €

In den Warenkorb
Erschienen am 14.12.2010
lieferbar
Advances in Computer Science and Information Technology

Advances in Computer Science and Information Technology

0 Sterne
Buch

119.99 €

In den Warenkorb
Erschienen am 14.12.2010
lieferbar
Weitere Empfehlungen zu „Hybrid Systems: Computation and Control “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Hybrid Systems: Computation and Control“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich