Zum Inhalt springen

Tabuada, Paulo [VerfasserIn] ; Alur, Rajeev [Sonstige Person, Familie und Körperschaft]

Verification and control of hybrid systems : a symbolic approach

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht; Heidelberg [u.a.]: Springer, 2009
Alur, Rajeev [HerausgeberIn] ; HSCC 7 2004 Philadelphia, Pa

Hybrid systems : computation and control ; 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25 - 27, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 2993
Alur, Rajeev [HerausgeberIn] ; CAV 8 1996 New Brunswick, NJ

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 1996

Erschienen in: Lecture notes in computer science ; 1102
Alur, Rajeev [Sonstige Person, Familie und Körperschaft]

Hybrid systems / 3, Verification and control / Rajeev Alur ... (eds.)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Hybrid systems ; 3 - Lecture notes in computer science ; 1066
Alur, Rajeev [VerfasserIn]

Principles of cyber-physical systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Massachusetts; London, England: The MIT Press, [2015]
Alur, Rajeev [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft] ; CAV 16 2004 Boston, Mass

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3114
Alur, Rajeev [HerausgeberIn]; Yi, In-sŏp [Sonstige Person, Familie und Körperschaft] ; EMSOFT 3 2003 Philadelphia, Pa

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2855
Alur, Rajeev [Sonstige Person, Familie und Körperschaft] ; CAV 8 1996 New Brunswick, NJ

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 110200
Alur, Rajeev [Sonstige Person, Familie und Körperschaft]

Hybrid systems III : verification and control

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 106600
Alur, Rajeev [VerfasserIn] ; Peled, Doron [Sonstige Person, Familie und Körperschaft]

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Erschienen in: Lecture notes in computer science ; 3114
Alur, Rajeev [VerfasserIn] ; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2004

Erschienen in: Lecture notes in computer science ; 311400
Alur, Rajeev [VerfasserIn] ; Pappas, George [Sonstige Person, Familie und Körperschaft]

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Erschienen in: Lecture notes in computer science ; 2993
Alur, Rajeev [VerfasserIn] ; Pappas, George J. [Sonstige Person, Familie und Körperschaft]

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2004

Erschienen in: Lecture notes in computer science ; 299300
Alur, Rajeev [VerfasserIn] ; Lee, Insup [Sonstige Person, Familie und Körperschaft]

Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

Erschienen in: Lecture notes in computer science ; 2855
Alur, Rajeev [VerfasserIn] ; Lee, Insup [Sonstige Person, Familie und Körperschaft]

Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2003

Erschienen in: Lecture notes in computer science ; 285500
Alur, Rajeev [VerfasserIn] ; Henzinger, Thomas [Sonstige Person, Familie und Körperschaft]

Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Erschienen in: Lecture notes in computer science ; 1102
Alur, Rajeev [VerfasserIn] ; Henzinger, Thomas [Sonstige Person, Familie und Körperschaft]; Sontag, Eduardo D. [Sonstige Person, Familie und Körperschaft]

Hybrid Systems III : Verification and Control

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

Erschienen in: Lecture notes in computer science ; 1066
Alur, Rajeev [VerfasserIn]; Černý, Pavol [VerfasserIn] ; Rajeev Alur and Pavol Černý [MitwirkendeR]

Expressiveness of streaming string transducers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Shi, Lei [VerfasserIn] ; Lo, Yahui [Sonstige Person, Familie und Körperschaft]; Alur, Rajeev [Sonstige Person, Familie und Körperschaft]; Loo, Boon Thau [Sonstige Person, Familie und Körperschaft]

Network Traffic Classification by Program Synthesis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Erschienen in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021) -
Jothimurugan, Kishor [VerfasserIn] ; Chen, Yu [Sonstige Person, Familie und Körperschaft]; Alur, Rajeev [Sonstige Person, Familie und Körperschaft]; Khanna, Sanjeev [Sonstige Person, Familie und Körperschaft]

Space-efficient Query Evaluation over Probabilistic Event Streams: Q/A Session C - Paper C5.F

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

Erschienen in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020) -

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr