|
1 |
 |
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 [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 [E-Book]
|
|
2017 |
 500254547
|
.
|
|
4 |
 |
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 [E-Book]
|
|
2008 |
|
.
|
|
6 |
 |
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 [E-Book]
|
Nahrstedt, Harald
|
2009 |
|
.
|
|
8 |
 |
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 [E-Book]
|
|
2017 |
500255521
|
.
|
|
10 |
 |
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 [E-Book]
|
|
2017 |
500257454
|
.
|
|
12 |
 |
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 [E-Book]
|
|
2017 |
500254601
|
.
|
|
14 |
 |
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 [E-Book]
|
|
2017 |
500255513
|
.
|
|
16 |
 |
Einführung in die Programmierung mit LOGO: Lehrbuch für Unterricht und Selbststudium [E-Book]
|
Hromkovič, Juraj
|
2010 |
|
.
|
|
17 |
 |
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 [E-Book]
|
|
2017 |
500254602
|
.
|
|
19 |
 |
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 [E-Book]
|
Nebel, Markus
|
2012 |
|
.
|
