1 |
![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](Cover.cls?type=cover&isbn=9783319578613&size=100) |
Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [E-Book]
|
|
2017 |
500254547
|
.
|
2 |
![Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs](Cover.cls?type=cover&isbn=9783319516530&size=100) |
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs [E-Book]
|
Ayala-Rincón, Mauricio
|
2017 |
|
.
|
3 |
![Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II](Cover.cls?type=cover&isbn=9783319633909&size=100) |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500255520
|
.
|
4 |
![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](Cover.cls?type=cover&isbn=9783319633879&size=100) |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
500255521
|
.
|
5 |
![Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319662664&size=100) |
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [E-Book]
|
|
2017 |
500256213
|
.
|
6 |
![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](Cover.cls?type=cover&isbn=9783319662848&size=100) |
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings [E-Book]
|
|
2017 |
500257454
|
.
|
7 |
![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](Cover.cls?type=cover&isbn=9783319510460&size=100) |
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500243489
|
.
|
8 |
![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](Cover.cls?type=cover&isbn=9783319602523&size=100) |
Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings [E-Book]
|
|
2017 |
500254601
|
.
|
9 |
![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](Cover.cls?type=cover&isbn=9783319628097&size=100) |
Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings [E-Book]
|
|
2017 |
500255513
|
.
|
10 |
![Digital Logic for Computing Digital Logic for Computing](Cover.cls?type=cover&isbn=9783319568393&size=100) |
Digital Logic for Computing [E-Book]
|
Seiffertt, John
|
2017 |
|
.
|
11 |
![Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319602257&size=100) |
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings [E-Book]
|
|
2017 |
500254602
|
.
|
12 |
![Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers](Cover.cls?type=cover&isbn=9783319539461&size=100) |
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
|
.
|
13 |
![Formale Grundlagen der Programmierung Formale Grundlagen der Programmierung](Cover.cls?type=cover&isbn=9783834822963&size=100) |
Formale Grundlagen der Programmierung [E-Book]
|
Nebel, Markus
|
2012 |
|
.
|
14 |
![Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation](Cover.cls?type=cover&isbn=9783834895950&size=100) |
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
15 |
![Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung](Cover.cls?type=cover&isbn=9783834899729&size=100) |
Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung [E-Book]
|
|
2009 |
|
.
|
16 |
![Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings](Cover.cls?type=cover&isbn=9783662544587&size=100) |
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings [E-Book]
|
|
2017 |
500251730
|
.
|
17 |
![Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings](Cover.cls?type=cover&isbn=9783662557518&size=100) |
Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings [E-Book]
|
|
2017 |
500256229
|
.
|
18 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Grundlagen der Programmierlogik [Buch]
|
Pérez, Marcus
|
2017 |
|
Regalstandort: ST 230 P438.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
19 |
![Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319601342&size=100) |
Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings [E-Book]
|
|
2017 |
500254600
|
.
|
20 |
![Logic in computer science: modelling and reasoning about systems Logic in computer science: modelling and reasoning about systems](Cover.cls?type=cover&isbn=9780521543101&size=100) |
Logic in computer science: modelling and reasoning about systems [Buch]
|
Huth, Michael
|
2008 |
|
Regalstandort: ST 130 H979(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|