„Java“

Suchergebnisse

10.000+ Treffer

• Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
  Grahl, Daniel ; Beckert, B. 2015 KIT-Bibliothek
• Modellierung und clientseitige Verarbeitung von E-Learning-Inhalten im Bereich der Life Sciences mit XML-basierten Auszeichnungssprachen und JavaScript
  Paar, Sebastian ; Quednau, Hans-Dietrich ; Fischer, Anton ; Knoke, Thomas F. 2015 Universitätsbibliothek der TU München
• Verifying Java Programs – A Graph Grammar Approach
  Heinen, Jonathan 2015 Verlag Dr. Hut
• Well-Formed and Scalable Invasive Software Composition
  Karol, Sven ; Aßmann, Uwe ; Löwe, Welf 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Geothermal systems in the Sunda volcanic island arc : Investigations on the islands of Java and Bali, Indonesia
  Budi Joko Purnomo ; Pichler, Thomas ; LaFemina, Peter 2015 Staats- und Universitätsbibliothek Bremen
• Pion structure form lattice QCD
  Javadi Motaghi, Narjes ; Bali, Gunnar 2015 Universitätsbibliothek Regensburg
• Spatial Statistical Data Fusion on Java-enabled Machines in Ubiquitous Sensor Networks
  Palafox-Albarrán, Javier ; Lang, Walter ; Kreowski, Hans-Jörg 2014 Staats- und Universitätsbibliothek Bremen
• Sources and fate of particulate organic matter in the sediments of the Brantas estuary, Java, Indonesia
  Propp, Claudia ; Jennerjahn, Tim ; Wild, Christian 2011 Staats- und Universitätsbibliothek Bremen
• Constraintbasierte Refaktorisierung von Deklarationen in JAVA
  Thies, Andreas 2015 Fernuniversität Hagen
• Die Java Pattern Language – eine graphbasierte Sprache zur Spezifikation komplexer Suchmuster für die statische Quelltextanalyse
  Köllmann, Carsten ; Goedicke, Michael ; Taentzer, Gabriele 2015 Universitätsbibliothek Duisburg-Essen
• Culture and risk based water and land management in karst areas – an understanding of local knowledge in Gunungkidul, Java, Indonesia
  Retnowati, Arry 2014 Universitätsbibliothek
• Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren
  Zabel, Martin ; Spallek, Rainer G. ; Tavangarian, Djamshid 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Dudle: Mehrseitig sichere Web 2.0-Terminabstimmung
  Kellermann, Benjamin ; Pfitzmann, Andreas ; Schill, Alexander ; Waidner, Michael 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform
  Preußer, Thomas B. ; Spallek, Rainer ; Koch, Andreas 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• SpoookyJS. Ein multiagentenbasiertes JavaScript-Framework zur flexiblen Implementation digitaler browserbasierter Brettspiele und spielübergreifender künstlicher Intelligenz
  Wieners, Jan Gerrit ; Thaller, Manfred ; Förtsch, Reinhard 2015 Universitäts- und Stadtbibliothek Köln
• Bestimmung der Dienstgütezuverlässigkeit in zusammengesetzten Dienstleistungen im Internet der Dienste
  Strunk, Anja ; Schill, Alexander ; Sure, York 2010 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Die Rolle interner und externer Akteure bei der Entwicklung des ländlichen Java – das Beispiel Gunungkidul
  Hossu, Michael 2013 Universitätsbibliothek
• Technologien für eine interoperable und automatisierte Vernetzung von medizinischen IT-Systemen
  Gregorczyk, David 2014 Zentrale Hochschulbibliothek Lübeck
• Ecosystem Approach: Ecological Functions of Forest in Human-Dominated Area
  Schliep, Aan Dyna Andriani ; Bürger-Arndt, Renate ; Mitlöhner, Ralph ; Krott, Max 2014 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• Diversity of rice weeds vegetation and its potential as local forage resource in Java, Indonesia
  Kumalasari, Nur Rochmah ; Bergmeier, Erwin ; Behling, Hermann 2014 Niedersächsische Staats- und Universitätsbibliothek Göttingen