Suchergebnisse - "Java (Computer program language)"

zum Haupt-Inhalt

zur Seitenleiste (falls vorhanden)

zum Footer mit externen Links

[1]
Vorheriger
1
2
3
4
5
6
7
8
9
10
11
Nächster
[11]

181

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Lochbihler, Andreas (Verfasser)

Karlsruhe : KIT Scientific Publishing, 2012

E-Book

182

WebTed : ein System für webbasierte Telediagnostik

Boer, Martijn W. de (Verfasser)

2000

E-Book

183

Data structures and algorithms with object-oriented design patterns in Java

Preiss, Bruno R.

New York [u.a.] : Wiley, 2000

Buch

184

A framework for checking programmer defined constraints on the definition and use of program elements in Java

Bokowski, Boris (Verfasser)

2000

E-Book

185

Übersetzung objektorientierter Programmiersprachen : Konzepte, abstrakte Maschinen und Praktikum "Java-Compiler"

Bauer, Bernhard

Berlin [u.a.] : Springer, 1998

Buch

186

Angewandte Netzwerktechnik kompakt : Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen

Plenk, Valentin (Verfasser)

3rd ed. 2024

Wiesbaden : Springer Fachmedien Wiesbaden, 2024

E-Book

187

Testgetriebene Entwicklung mit JUnit & FIT : wie Software änderbar bleibt

Westphal, Frank

1. Aufl.

Heidelberg : dpunkt-Verl., 2006

Buch

188

Qualitätssicherung durch Softwaretests : Vorgehensweisen und Werkzeuge zum Test von Java-Programmen

Kleuker, Stephan (Verfasser)

Wiesbaden : Springer Vieweg, 2013

Buch

189

Der Ausstrichtutor : Konzeption eines internetbasierten Hämatologie-Lernprogramms und Entwicklung eines Prototypen

Fischer, Jeannette (Verfasser)

2006

E-Book

190

Softwaretests mit JUnit : Techniken der testgetriebenen Entwicklung

Link, Johannes

2., überarb. und erw. Aufl.

Heidelberg : dpunkt-Verl., 2005

Buch

191

Entwurf und Implementierung eines Informationsvisualisierungssystems auf Basis der Relevanzkugel-Metapher unter Verwendung von VRML und Java

Mittag, Klaus (Verfasser)

2005

E-Book

192

SAP für Java-Entwickler : Konzepte, Schnittstellen, Technologien

Jeske, Till

Berlin [u.a.] : Springer, 2005

Buch

193

Virtual machine support for aspect-oriented programming languages

Haupt, Michael (Verfasser)

2005

E-Book

194

The structure of a type safe operating system

Golm, Michael (Verfasser)

[2004]

E-Book

195

Serielle Transformationen von XML : Probleme. Methoden, Lösungen

Becker, Oliver (Verfasser)

2004

E-Book

196

Algorithmen in Java : 32 Klassiker vom Rucksackproblem bis zu neuronalen Netzen

Kopec, David (Verfasser)

1. Auflage

Bonn : Rheinwerk Verlag, [2021]

Buch

197

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Weiß, Benjamin (Verfasser)

[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2011

E-Book

198

Client, server based statistical computing

Lehmann, Heiko (Verfasser)

2004

E-Book

199

Entwicklung sicherer Software : Modellierung und Implementierung mit Java

Englbrecht, Michael

1. Aufl.

Heidelberg [u.a.] : Spektrum, 2004

Buch

200

Angewandte Netzwerktechnik kompakt : Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen

Plenk, Valentin (Verfasser)

2nd ed. 2019

Wiesbaden : Springer Fachmedien Wiesbaden, 2019

E-Book

[1]
Vorheriger
1
2
3
4
5
6
7
8
9
10
11
Nächster
[11]