Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

Ergebnis der Suche nach: "Java"
im Bestand: Gesamter Bestand

2511 - 2520 von 3360

	2511	Removal of Copper Toxicity by Zeolite in Java Tilapia Oreochromis mossambicus (Peters) Enthalten in Bulletin of environmental contamination and toxicology Bd. 71, Nr. 6, date:12.2003: 1184-1191
	2512	Mynheer Peeperkorn's Fever Enthalten in Arcadia Bd. 38, 2003, Nr. 2: 257-263
	2513	Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler Enthalten in Journal of automated reasoning Bd. 30, Nr. 3-4, date:5.2003: 323-361
	2514	A Type System for the Java Bytecode Language and Verifier Enthalten in Journal of automated reasoning Bd. 30, Nr. 3-4, date:5.2003: 271-321
	2515	Java Bytecode Verification: Algorithms and Formalizations Enthalten in Journal of automated reasoning Bd. 30, Nr. 3-4, date:5.2003: 235-269
	2516	Formal Semantics of Java Expressions and Statements Enthalten in Programming and computer software Bd. 29, Nr. 5, date:9.2003: 259-270
	2517	An ASM-based Formal Model of a Java Program Enthalten in Programming and computer software Bd. 29, Nr. 3, date:5.2003: 130-139
	2518	Evaluating the Expressive Power of the Real-Time Specification for Java* Enthalten in Real-time systems Bd. 24, Nr. 3, date:5.2003: 319-359
	2519	JASMINE: A Java Tool for Multimedia Collaboration on the Internet Enthalten in Multimedia tools and applications Bd. 19, Nr. 1, date:1.2003: 5-28
	2520	A grid middleware for distributed Java computing with MPI binding and process migration supports Enthalten in Journal of computer science and technology Bd. 18, Nr. 4, date:7.2003: 505-514

2511 - 2520 von 3360

Alle Materialarten > Online Ressourcen (3360)

Alle Kataloge/Sammlungen

Alle Standorte > Frankfurt (3360)

Aktionen

Administration