Zum Inhalt springen Popovskij, Vladimir [VerfasserIn]; Barkalov, Alexander [VerfasserIn]; Titarenko, Larysa [VerfasserIn] Control and adaptation in telecommunication systems : mathematical foundations Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2011 Erschienen in: Lecture notes in electrical engineering ; 9400 Tarbouriech, Sophie [HerausgeberIn] Advances in communication control networks Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in control and information sciences ; 30800 Goßens, Stefan [VerfasserIn] Sichtgraphen : ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen Bücher Online ansehen Schließen > Zugang https://d-nb.info/972034951/34 kostenfrei http://www.opus.ub.uni-erlangen.de/opus/volltexte/2004/69/index.html Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Theiling, Henrik [VerfasserIn] Control flow graphs for real-time systems analysis : reconstruction from binary executables and usage in ILP-based path analysis Bücher Online ansehen Schließen > Zugang https://d-nb.info/97232237X/34 kostenfrei http://scidok.sulb.uni-saarland.de/volltexte/2004/297/index.html Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Probst, Christian W. [VerfasserIn] A demand-driven solver for constraint-based control flow analysis Bücher Online ansehen Schließen > Zugang https://d-nb.info/972321683/34 kostenfrei http://scidok.sulb.uni-saarland.de/volltexte/2004/219/index.html Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Theiling, Henrik [VerfasserIn] Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2004 Theiling, Henrik [VerfasserIn] ; Reinhard Wilhelm [MitwirkendeR] Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis Hochschulschriften Online ansehen Schließen > Links Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Scientific publications of the Saarland University (UdS), 2004-09-23 Probst, Christian W. [VerfasserIn] ; Reinhard Wilhelm [MitwirkendeR] A demand-driven solver for constraint-based control flow analysis ; Ein Bedarfs-gesteuerter Löser für Constraint-basierte Kontrollflußanalyse Hochschulschriften Online ansehen Schließen > Links Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Scientific publications of the Saarland University (UdS), 2004-09-23 Goßens, Stefan [VerfasserIn] Sichtgraphen: Ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen ; View Graphs: A Concept for Focused Analysis of Control Flows Hochschulschriften Online ansehen Schließen > Links https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/62 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2004-07-29 Probst, Christian W. [VerfasserIn] A demand-driven solver for constraint-based control flow analysis Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2002 Gremzow, Carsten [VerfasserIn] High-Level-Synthese aus flachen Kontroll-/Datenflussgraphen Bücher Online ansehen Schließen > Zugang https://d-nb.info/970644744/34 kostenfrei http://edocs.tu-berlin.de/diss/2004/gremzow_carsten.htm Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wasserrab, Daniel [VerfasserIn] From formal semantics to verified slicing : a modular framework with applications in language based security - [Print on demand] Bücher Online ansehen Schließen > Zugang https://digbib.bibliothek.kit.edu/volltexte/1000020678 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011 Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft] Variations on Constants : Flow Analysis of Sequential and Parallel Programs Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Erschienen in: Lecture notes in computer science ; 3800 Mohr, Martin [VerfasserIn] ; Snelting, Gregor [AkademischeR BetreuerIn]; Hammer, Christian [AkademischeR BetreuerIn] Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Bücher Online ansehen Schließen > Zugang https://d-nb.info/1292361107/34 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2023 Hoffmann, Martin [VerfasserIn] ; Lohmann, Daniel [AkademischeR BetreuerIn] Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware Bücher Online ansehen Schließen > Zugang https://d-nb.info/1097753697/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2016 Weiss, Alexander Peter [VerfasserIn] ; Hochberger, Christian [AkademischeR BetreuerIn]; Herkersdorf, Andreas [AkademischeR BetreuerIn] Effiziente externe Beobachtung von CPU-Aktivitäten auf SoCs Bücher Online ansehen Schließen > Zugang https://d-nb.info/1078205213/34 Zugang und weitere Informationen zur Ressource (kostenfrei) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2015 Hammer, Christian [VerfasserIn] Information flow control for java : a comprehensive approach based on path conditions in dependence graphs Bücher Online ansehen Schließen > Zugang https://digbib.bibliothek.kit.edu/volltexte/1000012049 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: Universitätsverlag, 2009 Staiger-Stöhr, Stefan [VerfasserIn] Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2009 Wasserrab, Daniel [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn] From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security Bücher Online ansehen Schließen > Zugang https://d-nb.info/118549300X/34 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011 Brachthäuser, Jonathan Immanuel [VerfasserIn] ; Eberhard Karls Universität Tübingen Design and implementation of effect handlers for object-oriented programming languages Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Tübingen, 2019
Popovskij, Vladimir [VerfasserIn]; Barkalov, Alexander [VerfasserIn]; Titarenko, Larysa [VerfasserIn] Control and adaptation in telecommunication systems : mathematical foundations Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2011 Erschienen in: Lecture notes in electrical engineering ; 9400
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tarbouriech, Sophie [HerausgeberIn] Advances in communication control networks Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in control and information sciences ; 30800
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Goßens, Stefan [VerfasserIn] Sichtgraphen : ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen Bücher Online ansehen Schließen > Zugang https://d-nb.info/972034951/34 kostenfrei http://www.opus.ub.uni-erlangen.de/opus/volltexte/2004/69/index.html Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugang https://d-nb.info/972034951/34 kostenfrei http://www.opus.ub.uni-erlangen.de/opus/volltexte/2004/69/index.html Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Theiling, Henrik [VerfasserIn] Control flow graphs for real-time systems analysis : reconstruction from binary executables and usage in ILP-based path analysis Bücher Online ansehen Schließen > Zugang https://d-nb.info/97232237X/34 kostenfrei http://scidok.sulb.uni-saarland.de/volltexte/2004/297/index.html Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugang https://d-nb.info/97232237X/34 kostenfrei http://scidok.sulb.uni-saarland.de/volltexte/2004/297/index.html Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Probst, Christian W. [VerfasserIn] A demand-driven solver for constraint-based control flow analysis Bücher Online ansehen Schließen > Zugang https://d-nb.info/972321683/34 kostenfrei http://scidok.sulb.uni-saarland.de/volltexte/2004/219/index.html Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugang https://d-nb.info/972321683/34 kostenfrei http://scidok.sulb.uni-saarland.de/volltexte/2004/219/index.html Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Theiling, Henrik [VerfasserIn] Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2004
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Theiling, Henrik [VerfasserIn] ; Reinhard Wilhelm [MitwirkendeR] Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis Hochschulschriften Online ansehen Schließen > Links Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Scientific publications of the Saarland University (UdS), 2004-09-23
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Probst, Christian W. [VerfasserIn] ; Reinhard Wilhelm [MitwirkendeR] A demand-driven solver for constraint-based control flow analysis ; Ein Bedarfs-gesteuerter Löser für Constraint-basierte Kontrollflußanalyse Hochschulschriften Online ansehen Schließen > Links Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Scientific publications of the Saarland University (UdS), 2004-09-23
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Goßens, Stefan [VerfasserIn] Sichtgraphen: Ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen ; View Graphs: A Concept for Focused Analysis of Control Flows Hochschulschriften Online ansehen Schließen > Links https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/62 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2004-07-29
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Probst, Christian W. [VerfasserIn] A demand-driven solver for constraint-based control flow analysis Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2002
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gremzow, Carsten [VerfasserIn] High-Level-Synthese aus flachen Kontroll-/Datenflussgraphen Bücher Online ansehen Schließen > Zugang https://d-nb.info/970644744/34 kostenfrei http://edocs.tu-berlin.de/diss/2004/gremzow_carsten.htm Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugang https://d-nb.info/970644744/34 kostenfrei http://edocs.tu-berlin.de/diss/2004/gremzow_carsten.htm Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wasserrab, Daniel [VerfasserIn] From formal semantics to verified slicing : a modular framework with applications in language based security - [Print on demand] Bücher Online ansehen Schließen > Zugang https://digbib.bibliothek.kit.edu/volltexte/1000020678 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft] Variations on Constants : Flow Analysis of Sequential and Parallel Programs Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006 Erschienen in: Lecture notes in computer science ; 3800
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mohr, Martin [VerfasserIn] ; Snelting, Gregor [AkademischeR BetreuerIn]; Hammer, Christian [AkademischeR BetreuerIn] Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Bücher Online ansehen Schließen > Zugang https://d-nb.info/1292361107/34 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2023
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hoffmann, Martin [VerfasserIn] ; Lohmann, Daniel [AkademischeR BetreuerIn] Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware Bücher Online ansehen Schließen > Zugang https://d-nb.info/1097753697/34 kostenfrei Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Weiss, Alexander Peter [VerfasserIn] ; Hochberger, Christian [AkademischeR BetreuerIn]; Herkersdorf, Andreas [AkademischeR BetreuerIn] Effiziente externe Beobachtung von CPU-Aktivitäten auf SoCs Bücher Online ansehen Schließen > Zugang https://d-nb.info/1078205213/34 Zugang und weitere Informationen zur Ressource (kostenfrei) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2015
> Zugang https://d-nb.info/1078205213/34 Zugang und weitere Informationen zur Ressource (kostenfrei) Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hammer, Christian [VerfasserIn] Information flow control for java : a comprehensive approach based on path conditions in dependence graphs Bücher Online ansehen Schließen > Zugang https://digbib.bibliothek.kit.edu/volltexte/1000012049 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: Universitätsverlag, 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Staiger-Stöhr, Stefan [VerfasserIn] Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wasserrab, Daniel [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn] From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security Bücher Online ansehen Schließen > Zugang https://d-nb.info/118549300X/34 Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Brachthäuser, Jonathan Immanuel [VerfasserIn] ; Eberhard Karls Universität Tübingen Design and implementation of effect handlers for object-oriented programming languages Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Tübingen, 2019
> Zugang Zugang und weitere Informationen zur Ressource Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Bücher (52) Wert ausschließen Hochschulschriften (3) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (5) Wert ausschließen Magazinbestellung (18) Wert ausschließen Verfügbarkeit vor Ort erfragen (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (21) Wert ausschließen Zentralbibliothek (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (20) Wert ausschließen Ohne Angabe (13) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (38) Wert ausschließen Deutsch (17) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (38) Wert ausschließen Mathematik (13) Wert ausschließen Technik (7) Wert ausschließen Wirtschaftswissenschaften (2) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Giacobazzi, Roberto (3) Wert ausschließen Probst, Christian W. (3) Wert ausschließen Theiling, Henrik (3) Wert ausschließen Alpuente, María (2) Wert ausschließen Bauer, Jörg (2) Wert ausschließen Cousot, Radhia (2) Wert ausschließen Goßens, Stefan (2) Wert ausschließen Hammer, Christian (2) Wert ausschließen Hankin, Chris (2) Wert ausschließen Hilbrich, Robert (2) Wert ausschließen Levi, Giorgio (2) Wert ausschließen Martel, Matthieu (2) Wert ausschließen Müller-Olm, Markus (2) Wert ausschließen Nielson, Hanne Riis (2) Wert ausschließen Okada, Mitsu (2) Wert ausschließen Palsberg, Jens (2) Wert ausschließen Reinhard Wilhelm (2) Wert ausschließen Reps, Thomas W. (2) Wert ausschließen Sagiv, Mooly (2) Wert ausschließen Satoh, Ichiro (2) Wert ausschließen Siveroni, Igor (2) Wert ausschließen Su, Zhendong (2) Wert ausschließen Vidal, Germán (2) Wert ausschließen Vollmer, Jürgen (2) Wert ausschließen Wasserrab, Daniel (2) Wert ausschließen Yi, Kwangkeun (2) Wert ausschließen Asian Computing Science Conference 11 2006 Tokio (1) Wert ausschließen Barkalov, Alexander (1) Wert ausschließen Best, Eike (1) Wert ausschließen Brachthäuser, Jonathan Immanuel (1) Wert ausschließen Böhm, Markus (1) Wert ausschließen Cseh, Christian Virgil (1) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen Filè, Gilberto (1) Wert ausschließen Filé, Gilberto (1) Wert ausschließen Gremzow, Carsten (1) Wert ausschließen Grötker, Thorsten Heiner (1) Wert ausschließen Heer, Thomas (1) Wert ausschließen Herkersdorf, Andreas (1) Wert ausschließen Hochberger, Christian (1) Wert ausschließen Hoffmann, Martin (1) Wert ausschließen Hutchison, David (1) Wert ausschließen Hönig, Joachim (1) Wert ausschließen Kanade, Takeo (1) Wert ausschließen Kittler, Josef (1) Wert ausschließen Kleinberg, Jon (1) Wert ausschließen Krohm, Florian (1) Wert ausschließen Kroll, Andrea (1) Wert ausschließen Lohmann, Daniel (1) Wert ausschließen Mattern, Friedemann (1) Wert ausschließen Menge, Matthias (1) Wert ausschließen Mitchell, John C. (1) Wert ausschließen Mohr, Martin (1) Wert ausschließen Nagl, Manfred (1) Wert ausschließen Naor, Moni (1) Wert ausschließen Nierstrasz, Oscar (1) Wert ausschließen Okada, Mitsuhiro (1) Wert ausschließen Pandu Rangan, C. (1) Wert ausschließen Popovskij, Vladimir (1) Wert ausschließen Reps, Thomas (1) Wert ausschließen Riis Nielson, Hanne (1) Wert ausschließen SAS 11 2004 Verona (1) Wert ausschließen SAS 12 2005 London (1) Wert ausschließen SAS 13 2006 Seoul (1) Wert ausschließen SAS 14 2007 Lyngby-Tårbaek (1) Wert ausschließen SAS 15 2008 Valencia (1) Wert ausschließen SAS 16 2009 Los Angeles, Calif (1) Wert ausschließen SAS 17 2010 Perpignan (1) Wert ausschließen SAS 5 1998 Pisa (1) Wert ausschließen Snelting, G. (1) Wert ausschließen Snelting, Gregor (1) Wert ausschließen Staiger-Stöhr, Stefan (1) Wert ausschließen Steffen, Bernhard (1) Wert ausschließen Sudan, Madhu (1) Wert ausschließen Tarbouriech, Sophie (1) Wert ausschließen Terzopoulos, Demetri (1) Wert ausschließen Titarenko, Larysa (1) Wert ausschließen Tygar, Doug (1) Wert ausschließen Vardi, Moshe Y. (1) Wert ausschließen Weikum, Gerhard (1) Wert ausschließen Weiss, Alexander Peter (1) Wert ausschließen Wilhelm, Reinhard (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (44) Wert ausschließen Lizenzfreie Online-Ressourcen (9) Wert ausschließen Diss online (8) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Scientific publications of the Saarland University (UdS) (2) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen zeige weitere weniger zeigen