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 |
|
Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings [E-Book]
|
|
2022 |
|
.
|
4 |
|
Algorithmen - eine Einführung [E-Book]
|
Cormen, Thomas H.
|
2013 |
|
.
|
5 |
|
Analog and hybrid computer programming [E-Book]
|
Ulmann, Bernd
|
2023 |
|
.
|
6 |
|
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
|
.
|
7 |
|
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs [E-Book]
|
Ayala-Rincón, Mauricio
|
2017 |
|
.
|
8 |
|
Assembler: Grundlagen der PC-Programmierung [E-Book]
|
Dieterich, Ernst-Wolfgang
|
2009 |
|
.
|
9 |
|
Benutzerfreundliche Online-Hilfen: Grundlagen und Umsetzung mit MadCap Flare [E-Book]
|
|
2008 |
|
.
|
10 |
|
C++ für Ingenieure: Effizient Programmieren erlernen [E-Book]
|
Nahrstedt, Harald
|
2009 |
|
.
|
11 |
|
C++ Programming [E-Book]
|
Zheng, Li
|
2019 |
|
.
|
12 |
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500255520
|
.
|
13 |
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
500255521
|
.
|
14 |
|
Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings [E-Book]
|
|
2017 |
500256213
|
.
|
15 |
|
Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings [E-Book]
|
|
2017 |
500257454
|
.
|
16 |
|
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500243489
|
.
|
17 |
|
Constraint validation, enumerations, special datatypes [E-Book]
|
Wagner, Gerd
|
2018 |
500374732
|
.
|
18 |
|
Datenbanken im Unternehmen: Analyse, Modellbildung und Einsatz [E-Book]
|
Pernul, Günther
|
2009 |
|
.
|
19 |
|
Datenqualität mit SPSS [E-Book]
|
Schendera, Christian F. G.
|
2011 |
|
.
|
20 |
|
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
|
.
|