Zum Inhalt springen

Delzanno, Giorgio [HerausgeberIn] ; RP 5 2011 Genua

Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 ; 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, 2011

Erschienen in: Lecture notes in computer science ; 6945
Kučera, Antonín [HerausgeberIn]; Potapov, Igor [Sonstige Person, Familie und Körperschaft] ; RP 4 2010 Brünn

Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 ; 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, 2010

Erschienen in: Lecture notes in computer science ; 6227
Bournez, Olivier [HerausgeberIn]; Potapov, Igor [Sonstige Person, Familie und Körperschaft] ; RP 3 2009 Palaiseau

Reachability problems : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 ; 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, 2009

Erschienen in: Lecture notes in computer science ; 5797
Preußig, Jörg [VerfasserIn]

Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten

Schließen

Merkliste

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

Aachen: Shaker, 2000

Erschienen in: Universität Dortmund: Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund ; 2000,4
Hauschildt, Dirk [VerfasserIn]

Semilinearity of the reachability set is decidable for Petri nets

Schließen

Merkliste

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

1990
Cordes, Carl [VerfasserIn]

Zustandsgraphen und Zustandsmatrizen beim Entwurf von Gerätesteuerungen

Schließen

Merkliste

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

1986
Störr, Hans-Peter [VerfasserIn]

Planen im Fluentkalkül mit binären Entscheidungsdiagrammen - [Als Ms. gedr.]

Schließen

Merkliste

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

Berlin: dissertation.de, Verl. im Internet, 2005
Kempf, Roland [VerfasserIn]

Rekurrente Fuzzy-Systeme - [Als Ms. gedr.]

Schließen

Merkliste

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

Düsseldorf: VDI-Verl., 2004

Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 102800
Ma, Chuan [VerfasserIn]; Wonham, W. Murray [VerfasserIn]; Wonham, Walter Murray [VerfasserIn]

Nonblocking supervisory control of state tree structures

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, 2005

Erschienen in: Lecture notes in control and information sciences ; 31700
Fleckenstein, Jürgen [VerfasserIn]

Zustandsgraphen für SPS - grafikunterstützte Programmierung und steuerungsunabhängige Darstellung

Schließen

Merkliste

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

Berlin; Heidelberg; New York; Tokyo: Springer, 1987

Erschienen in: Universität Stuttgart: ISW-Forschung und -Praxis ; 6300
Langer, Jan [VerfasserIn]

High-Level-Synthese von Operationseigenschaften

Schließen

Merkliste

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

Chemnitz: Universitätsverlag Chemnitz, 2011
Karatkevich, Andrei [VerfasserIn]

Dynamic analysis of petri net-based discrete systems

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, 2007

Erschienen in: Lecture notes in control and information sciences ; 35600
Desel, Jörg [VerfasserIn]; Esparza, Javier [VerfasserIn] ; Universität Hildesheim Institut für Informatik

Shortest paths in reachability graphs

Schließen

Merkliste

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

Hildesheim: Inst. für Informatik, Univ., 1992

Erschienen in: Hildesheimer Informatik-Berichte ; 199222
Wolf, Karsten [VerfasserIn]

Integrating low level symmetries into reachability analysis

Schließen

Merkliste

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

Berlin: Inst. für Informatik, 1999

Erschienen in: Informatik-Berichte ; 122
Desel, Jörg [VerfasserIn]; Radola, Micaela-Daphne [VerfasserIn]

Proving non-reachability by modulo-place-invariants

Schließen

Merkliste

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

Berlin: Institut für Informatik, [1993]

Erschienen in: Informatik-Berichte ; 24
Seiferth, Paul [VerfasserIn]

Disk Intersection Graphs: Models, Data Structures, and Algorithms

Online ansehen
Schließen

Zugang

https://d-nb.info/111255307X/34

kostenfrei

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: Freie Universität Berlin, 2016
Baier, Christel [VerfasserIn]; Funke, Florian [VerfasserIn]; Jantsch, Simon [VerfasserIn]; Karimov, Toghrul [VerfasserIn]; Lefaucheux, Engel [VerfasserIn]; Ouaknine, Joël [VerfasserIn]; Pouly, Amaury [VerfasserIn]; Purser, David [VerfasserIn]; Whiteland, Markus A. [VerfasserIn] ; Christel Baier and Florian Funke and Simon Jantsch and Toghrul Karimov and Engel Lefaucheux and Joël Ouaknine and Amaury Pouly and David Purser and Markus A. Whiteland [MitwirkendeR]

Reachability in Dynamical Systems with Rounding

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.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Chakraborty, Diptarka [VerfasserIn]; Chatterjee, Kushagra [VerfasserIn]; Choudhary, Keerti [VerfasserIn] ; Diptarka Chakraborty and Kushagra Chatterjee and Keerti Choudhary [MitwirkendeR]

Pairwise Reachability Oracles and Preservers Under Failures

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.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Hanauer, Kathrin [VerfasserIn]; Schulz, Christian [VerfasserIn]; Trummer, Jonathan [VerfasserIn] ; Kathrin Hanauer and Christian Schulz and Jonathan Trummer [MitwirkendeR]

O'Reach: Even Faster Reachability in Large Graphs

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.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Datta, Samir [VerfasserIn]; Kumar, Pankaj [VerfasserIn]; Mukherjee, Anish [VerfasserIn]; Tawari, Anuj [VerfasserIn]; Vortmeier, Nils [VerfasserIn]; Zeume, Thomas [VerfasserIn] ; Samir Datta and Pankaj Kumar and Anish Mukherjee and Anuj Tawari and Nils Vortmeier and Thomas Zeume [MitwirkendeR]

Dynamic Complexity of Reachability: How Many Changes Can We Handle?

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.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 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