Shortcuts
 
PageMenu- Hauptmenü-
Page content

Suchergebnisse

Ihre Suche nach 005.1015113 ergibt 39 Einträge

Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.
Suchergebnisse in Tabellenform anzeigen.

- -


- Logic in computer science: modelling and reasoning about systems Huth, Michael Logic in computer science: modelling and reasoning about systemsST 130 H979(2) 1 -
Titel: Logic in computer science: modelling and reasoning about systems
Verfasser: Huth, Michael
Jahr: 2008
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Grundlagen der Programmierlogik Pérez, Marcus ST 230 P438 2 -
Titel: Grundlagen der Programmierlogik
Verfasser: Pérez, Marcus
Jahr: 2017
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings 3 -
Titel: Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
Verfasser:
Jahr: 2017
.
- Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs Ayala-Rincón, Mauricio Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs 4 -
Titel: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Verfasser: Ayala-Rincón, Mauricio
Jahr: 2017
.
- Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I 5 -
Titel: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Verfasser:
Jahr: 2017
.
- Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings 6 -
Titel: Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Verfasser:
Jahr: 2017
.
- Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 7 -
Titel: Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Verfasser:
Jahr: 2017
.
- Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings 8 -
Titel: Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Verfasser:
Jahr: 2017
.
- Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings 9 -
Titel: Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Verfasser:
Jahr: 2017
.
- Digital Logic for Computing Seiffertt, John Digital Logic for Computing 10 -
Titel: Digital Logic for Computing
Verfasser: Seiffertt, John
Jahr: 2017
.


- -


Schnellsuche