Carsten Leinenbach - Info zur Person mit Bilder, News & Links

	Langenselbold

	Compiler

News

Bücher

A Machine-Checked, Type-Safe Model of Java Concurrency: Language,...

books.google.de

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other...

Wissenschaftliche Veröffentlichungen

dblp: Dirk Carsten Leinenbach

dblp.uni-trier.de

List of computer science publications by Dirk Carsten Leinenbach

Publikationen der UdS: Compiler verification in the context of...

publikationen.sulb.uni-saarland.de

der Naturwissenschaftlich-Technischen Fakultäten der Universität des Saarlandes. Dirk Carsten Leinenbach -sb.de. Saarbrücken, Juni

dblp: BibTeX records: Dirk Carsten Leinenbach

dblp.uni-trier.de

List of computer science publications by BibTeX records: Dirk Carsten Leinenbach

Veröffentlichungen allgemein

Compiler verification in the context of pervasive system verification...

www.youscribe.com

Lisez Compiler verification in the context of pervasive system verification [Elektronische Ressource] / Dirk Carsten Leinenbach en Document sur YouScribe -...

Sonstiges

Wer fährt was/wo: Carsten Leinenbach - Youngbiker.de - Community &...

www.youngbiker.de

Youngbiker.de, die MOTORRAD-Internetseite für junge Leute zwischen 15 und er, Motorradtests, Motorrad-Katalog, Lexikon, Reiseberichte, Adressen,...

Ansprechpartner-Standorte-Werksseminare

hager.com

Carsten Leinenbach. Sven Lübeck. Christian Martin. Thomas Marx. Hans-Peter Pecuch. Yves Peters. Andreas Salzmann. Martin Zimmer ...

People with Surname LEINENBACH living in Germany | Locate-Friend.Com...

locate-friend.com

People with Surname LEINENBACH living in Germany. Bruno Leinenbach, C. Leinenbach, Carmen Leinenbach, Carmen Leinenbach, Carmen Leinenbach, Carsten...

Wissen schaffen. Horizonte erweitern. Seminare PDF Free Download

docplayer.org

Carsten Leinenbach carsten. 63 Gehen Sie mit uns auf Entdeckungstour. Unsere 15 Referenten des Trainings- und InformationsCenters TIC freuen ...

Detailanzeige der Metadaten - Open Access Netzwerk (OAN)

oansuche.open-access.net

Dirk Carsten Leinenbach. Publisher/Institution: Saarländische Universitäts- und Landesbibliothek; Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I.