1 |
![Agile objektorientierte Software-Entwicklung: Schritt für Schritt vom Geschäftsprozess zum Java-Programm Agile objektorientierte Software-Entwicklung: Schritt für Schritt vom Geschäftsprozess zum Java-Programm](Cover.cls?type=cover&isbn=9783658333959&size=100) |
Agile objektorientierte Software-Entwicklung: Schritt für Schritt vom Geschäftsprozess zum Java-Programm [E-Book]
|
Rau, Karl-Heinz
|
2021 |
|
.
|
2 |
![Ajax in der Praxis: Grundlagen, Konzepte, Lösungen Ajax in der Praxis: Grundlagen, Konzepte, Lösungen](Cover.cls?type=cover&isbn=9783540693345&size=100) |
Ajax in der Praxis: Grundlagen, Konzepte, Lösungen [E-Book]
|
|
2008 |
|
.
|
3 |
![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
|
.
|
4 |
![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 |
|
.
|
5 |
![Benutzerfreundliche Online-Hilfen: Grundlagen und Umsetzung mit MadCap Flare Benutzerfreundliche Online-Hilfen: Grundlagen und Umsetzung mit MadCap Flare](Cover.cls?type=cover&isbn=9783834894830&size=100) |
Benutzerfreundliche Online-Hilfen: Grundlagen und Umsetzung mit MadCap Flare [E-Book]
|
|
2008 |
|
.
|
6 |
![Business Intelligence Tools for Small Companies: A Guide to Free and Low-Cost Solutions Business Intelligence Tools for Small Companies: A Guide to Free and Low-Cost Solutions](Cover.cls?type=cover&isbn=9781484225684&size=100) |
Business Intelligence Tools for Small Companies: A Guide to Free and Low-Cost Solutions [E-Book]
|
Nogués, Albert
|
2017 |
|
.
|
7 |
![C++ für Ingenieure: Effizient Programmieren erlernen C++ für Ingenieure: Effizient Programmieren erlernen](Cover.cls?type=cover&isbn=9783834899699&size=100) |
C++ für Ingenieure: Effizient Programmieren erlernen [E-Book]
|
Nahrstedt, Harald
|
2009 |
|
.
|
8 |
![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
|
.
|
9 |
![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
|
.
|
10 |
![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
|
.
|
11 |
![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
|
.
|
12 |
![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
|
.
|
13 |
![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
|
.
|
14 |
![Design patterns mit Java: eine Einführung Design patterns mit Java: eine Einführung](Cover.cls?type=cover&isbn=9783658354923&size=100) |
Design patterns mit Java: eine Einführung [E-Book]
|
Musch, Olaf
|
2021 |
|
.
|
15 |
![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
|
.
|
16 |
![Einführung in die Programmierung mit LOGO: Lehrbuch für Unterricht und Selbststudium Einführung in die Programmierung mit LOGO: Lehrbuch für Unterricht und Selbststudium](Cover.cls?type=cover&isbn=9783834896407&size=100) |
Einführung in die Programmierung mit LOGO: Lehrbuch für Unterricht und Selbststudium [E-Book]
|
Hromkovič, Juraj
|
2010 |
|
.
|
17 |
![Einführung in die Softwaretechnik Einführung in die Softwaretechnik](Cover.cls?type=cover&isbn=9783662502631&size=100) |
Einführung in die Softwaretechnik [E-Book]
|
Broy, Manfred
|
2022 |
|
.
|
18 |
![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
|
.
|
19 |
![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 |
|
.
|
20 |
![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 |
|
.
|