zum Haupt-Inhalt
zur Seitenleiste (falls vorhanden)
zum Footer mit externen Links
Toggle navigation
h_da BIBLIOTHEK
Alte Merkliste umziehen/exportieren
Mein Ausleihkonto
Log out
Ausleihkonto/Login
DE/EN
English
Deutsch
Achtung! JavaScript ist in Ihrem Browser deaktiviert. Deshalb ist die Seite ist nur Eingeschränkt nutzbar.
/Search/Results?lookfor=Spring%20Boot%20Messaging&type=titlelink&nojumpto=1
Lokaler Bestand
(5)
/EDS/Search?lookfor=Guide%20to%20Distributed%20Algorithms&type=AllFields&page=13&nojumpto=1
Artikel und mehr
alle Felder
alle Felder
Titel
Verfasser
Schlagwort
Suchen
Erweiterte Suche
Suchhistorie
Verfasser
gnd_from:1069652636
Treffer
1
-
5
von
5
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Verfasser
Titel
Normdaten
(Quelle
GND / Entity Facts
)
Christoph Scheben
geboren in
Siegen
Weiterführende Links
Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek
Deutsche Digitale Bibliothek
Virtual International Authority File (VIAF)
1
Program-level Specification and Deductive Verification of Security Properties
Scheben, Christoph (Verfasser)
Karlsruhe : KIT-Bibliothek, 2014
E-Book
Zur Merkliste hinzufügen
Gespeichert in:
2
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Kuntz, Matthias
Konstanz : Bibliothek der Universität Konstanz, 2011
E-Book
Zur Merkliste hinzufügen
Gespeichert in:
3
Heuristic Search for Unbounded Executions
Kuntz, Matthias
Konstanz : Bibliothek der Universität Konstanz, 2010
E-Book
Zur Merkliste hinzufügen
Gespeichert in:
4
Information Flow in Object-Oriented Software : Extended Version
Beckert, Bernhard
Karlsruhe : KIT Karlsruher Institut für Technologie, 2013
E-Book
Zur Merkliste hinzufügen
Gespeichert in:
5
Secure Information Flow for Java - A Dynamic Logic Approach : Extended Version
Beckert, Bernhard
Karlsruhe : KIT Karlsruher Institut für Technologie, 2013
E-Book
Zur Merkliste hinzufügen
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Sie haben nicht gefunden, wonach Sie gesucht haben? Wenden Sie sich an
Kontakt such_da
.
Suche einschränken
Zugriffsart
online
5
Standort
Online-Ressourcen
5
Publikationstyp
Buch
5
Dissertation
1
Fachgebiet
Informatik
3
Nicht zugeordnet
2
Verfasser
Scheben, Christoph
5
Beckert, Bernhard
2
Grahl, Daniel
2
Klebanov, Vladimir
2
Kuntz, Matthias
2
Leue, Stefan
2
mehr ...
Schmitt, Peter H.
2
Ulbrich, Mattias
2
Schmitt, P. H.
1
Wei, Wei
1
Yang, Sen
1
weniger ...
Sprache
Englisch
5
Erscheinungsjahr
Von:
Bis:
Filter
×
Wird geladen...
Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek 
Virtual International Authority File (VIAF)