UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 28

Sortiert nach

Temporal logic

Library of exact philosophy : 3 (Alle Bände)

1971

Signatur: TCL2729

Tense logic

Synthese library : 111 (Alle Bände)

McArthur, Robert P

1976

Signatur: TCL2436, TCL2737

Zustand und Ereignis

Suhrkamp-Taschenbuch Wissenschaft : 1116 (Alle Bände)

Kienzle, Bertram[Herausgeber]

1. Aufl, 1994

Signatur: HLH2818

Temporal logic of programs

EATCS monographs on theoretical computer science : 8 (Alle Bände)

Kröger, Fred

1987

Signatur: TVD1737

Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Synthese library : 92 (Alle Bände)

Gabbay, Dov M

1976

Signatur: HLF1553

The temporal logic of reactive and concurrent systems. 1. Specification

The temporal logic of reactive and concurrent systems (Alle Bände)

1992

Signatur: TVM4502-1

Time and logic : a computational approach

Bolc, Leonard[Herausgeber]

1995

Signatur: TVM3603

Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken

Ebinger, Werner

1994

Signatur: D10149

Temporal logic : mathematical foundations and computational aspects

1994-

Signatur: TCL4276

Temporal verification of reactive systems : safety

1995

Signatur: TWU1613

Modale Logiken von geflechtartigen Datenstrukturen und ihre Kombination mit temporaler Programmlogik

Kausche, Andreas

1989

Signatur: D1402

MTMM : ein System zur Verwaltung von Zeitverhältnissen

GMD-Bericht : 193 (Alle Bände)

Materne, Stefan

1991

Signatur: TUF1018-193

Systems and software verification : model checking techniques and tools

Bérard, Béatrice

Updated version of the French language ed, 2001

Signatur: TVA2982

Handbook of logic in artificial intelligence and logic programming

Handbooks of logic in computer science and artificial intelligence and logic programming, Oxford science publications

Gabbay, Dov M[Herausgeber]

Signatur: TVU4594-...

Duration calculus : a formal approach to real-time systems

Monographs in theoretical computer science

2004

Signatur: TWT6228

Unfoldings : a partial order approach to model checking

Monographs in theoretical computer science

2008

Signatur: TVS1813

Mathematical Logic for Computer Science [Elektronische Ressource]

Ben-Ari, Mordechai

3rd ed. 2012, 2012

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2012 (ZDB-2-SCS)

Formal methods in artificial intelligence

Cambridge tracts in theoretical computer science : 6 (Alle Bände)

Ramsay, Allan

1988

Signatur: TVU1473

Unfoldings : A Partial-Order Approach to Model Checking [Elektronische Ressource]

Monographs in Theoretical Computer Science An EATCS Series

2008

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2008 (ZDB-2-SCS)

The Sea Battle and the Master Argument : Aristotle and Diodorus Cronus on the Metaphysics of the Future

Gaskin, Richard

Reprint 2010, [2011]

Link zum Volltext
De Gruyter E-Books EBA bis 31.12.2026 (ZDB-23-DGG-eba)

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers [Elektronische Ressource]

2004

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
Volltext
Volltext
2 weitere Links anzeigen
Weniger anzeigen

Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings [Elektronische Ressource]

1998

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Formal Modeling and Analysis of Timed Systems (vol. # 3829) : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings [Elektronische Ressource]

2005

Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings [Elektronische Ressource]

2006

Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings [Elektronische Ressource]

2007

1 – 25 von 28

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(17)
Online-Ressource
(11)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(28)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(16)
Deutsch
(4)

Systemstelle

TCL
(3)
TVD
(2)
TVM
(2)
TVU
(2)
HLF
(1)
HLH
(1)
TUF
(1)
TVA
(1)
TVS
(1)
TWS
(1)
TWT
(1)
TWU
(1)
TWW
(1)

8 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Temporal logic

Tense logic

Zustand und Ereignis

Temporal logic of programs

Investigations in modal and tense logics with applications to problems in philosophy and linguistics

The temporal logic of reactive and concurrent systems. 1. Specification

Time and logic : a computational approach

Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken

Temporal logic : mathematical foundations and computational aspects

Temporal verification of reactive systems : safety

Modale Logiken von geflechtartigen Datenstrukturen und ihre Kombination mit temporaler Programmlogik

MTMM : ein System zur Verwaltung von Zeitverhältnissen

Systems and software verification : model checking techniques and tools

Handbook of logic in artificial intelligence and logic programming

Duration calculus : a formal approach to real-time systems

Unfoldings : a partial order approach to model checking

Mathematical Logic for Computer Science [Elektronische Ressource]

Formal methods in artificial intelligence

Unfoldings : A Partial-Order Approach to Model Checking [Elektronische Ressource]

The Sea Battle and the Master Argument : Aristotle and Diodorus Cronus on the Metaphysics of the Future

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers [Elektronische Ressource]

Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems (vol. # 3829) : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings [Elektronische Ressource]

Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings [Elektronische Ressource]

Suchergebnisse filtern