Treffer 1 - 20 von 15.112

1

Dieses Ergebnis kann Gästen nicht angezeigt werden.

2

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

QA75.5-76.95 Java formal semantics type safety memory model concurrency
E-Book
Zu den Favoriten
3

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Dieses Ergebnis kann Gästen nicht angezeigt werden.

8

Dieses Ergebnis kann Gästen nicht angezeigt werden.

9

Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine
Sewe, Andreas ; Mezini, Mira ; Sarimbekov, Aibek ; et al.
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. :657-676

4. Education 0202 electrical engineer... 14. Life underwater 02 engineering and techn... 7. Clean energy
Fachzeitschrift
Zu den Favoriten
10

Dieses Ergebnis kann Gästen nicht angezeigt werden.

11

Dieses Ergebnis kann Gästen nicht angezeigt werden.

12

Dieses Ergebnis kann Gästen nicht angezeigt werden.

13

A Conversation with James Gosling: James Gosling talks about virtual machines, security, and of course, Java.
Eric Allman
Queue. 2:24-33

9. Industry and infrastr... 4. Education 0502 economics and busin... 05 social sciences 16. Peace & justice 7. Clean energy
Fachzeitschrift
Zu den Favoriten
14

Preservation of Proof Obligations from Java to the Java Virtual Machine.
Gilles Barthe ; Benjamin Grégoire ; Mariela Pavlova
IJCAR. :83-99

Konferenz
Zu den Favoriten
15

Location-Based Information Systems
Labrador, Miguel A. ; Perez, Alfredo J. ; Wightman, Pedro M.

Location Based Informati... public Web Service API void Public Void mobile
E-Book
Zu den Favoriten
17

MCI-Java: A Modified Java Virtual Machine Approach to Multiple Code Inheritance.
Maria Cutumisu
Virtual Machine Research and Technology Symposium. :13-28

Konferenz
Zu den Favoriten
20

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter