Search results
University Library Catalogue
Search mask
Limit or broaden search results
Access
Source Type
Subject Heading
- Softwareentwicklung 216 Results
- Künstliche Intelligenz 192 Results
- Kryptologie 187 Results
- Datenbanksystem 164 Results
- Theoretische Informatik 163 Results
-
45 additional values:
- Data Mining 161 Results
- Verteiltes System 160 Results
- World Wide Web 157 Results
- Mehragentensystem 154 Results
- Datensicherung 148 Results
- Informationssystem 142 Results
- Programmierung 142 Results
- Parallelverarbeitung 132 Results
- Logische Programmierung 129 Results
- Dienstgüte 120 Results
- Informatik 118 Results
- Information Retrieval 118 Results
- Algorithmus 114 Results
- Formale Methode 107 Results
- Maschinelles Lernen 104 Results
- Programmiersprache 103 Results
- Multimedia 94 Results
- Wissensextraktion 92 Results
- Rechnernetz 87 Results
- Anwendungssystem 86 Results
- Mensch-Maschine-Kommunikation 86 Results
- Automatisches Beweisverfahren 83 Results
- Computersicherheit 83 Results
- Mobile Computing 83 Results
- Telekommunikationsnetz 79 Results
- Web Services 77 Results
- Internet 74 Results
- Authentifikation 71 Results
- Model Checking 69 Results
- Mustererkennung 66 Results
- Software Engineering 66 Results
- Electronic Commerce 63 Results
- Maschinelles Sehen 61 Results
- Kryptosystem 60 Results
- Datenverarbeitung 57 Results
- Eingebettetes System 56 Results
- Verifikation 54 Results
- Bildverarbeitung 53 Results
- Software 53 Results
- Nebenläufigkeit 52 Results
- Funknetz 51 Results
- Systementwicklung 51 Results
- Ubiquitous Computing 49 Results
- Agent (Informatik) 48 Results
- Neuronales Netz 48 Results
Language
Media Type
Person
- Meersman, Robert (1947-) 13 Results
- Mira, José 12 Results
- Feitelson, Dror G. 11 Results
- Sloot, Peter (1956-) 11 Results
- Ehrig, Hartmut (1944-2016) 10 Results
-
45 additional values:
- Gelbukh, Alexander (1962-) 10 Results
- Mařík, Vladimír 10 Results
- Perner, Petra (1958-) 10 Results
- Bjørner, Dines (1937-) 9 Results
- Dehne, Frank (1960-) 9 Results
- Calmet, Jacques 8 Results
- Christianson, Bruce (1958-) 8 Results
- Klusch, Matthias (1965-) 8 Results
- Alexandrov, Vassil N. (1962-) 7 Results
- Bakker, Jacobus Willem de 7 Results
- Bauknecht, Kurt (1936-2019) 7 Results
- Broy, Manfred (1949-) 7 Results
- Börger, Egon 7 Results
- Dix, Jürgen 7 Results
- Peters, Carol 7 Results
- Zhang, Chengqi 7 Results
- Arikawa, Setsuo 6 Results
- Bauer, Friedrich L. (1924-2015) 6 Results
- Bubak, Marian 6 Results
- Calude, Cristian (1952-) 6 Results
- Díaz, Josep (1950-) 6 Results
- Freksa, Christian 6 Results
- Jansen, Klaus 6 Results
- Kambayashi, Yahiko 6 Results
- Raś, Zbigniew W. (1947-) 6 Results
- Wang, Jun 6 Results
- Wang, Lipo 6 Results
- Akiyama, Jin (1946-) 5 Results
- Blaser, Albrecht 5 Results
- Bode, Arndt (1948-) 5 Results
- Boyd, Colin 5 Results
- Bussler, Christoph (1964-) 5 Results
- Ciancarini, Paolo 5 Results
- Cohen, Gérard 5 Results
- Deransart, Pierre 5 Results
- Dignum, Frank 5 Results
- Ferreira, Afonso 5 Results
- Gavrilova, Marina 5 Results
- Guelfi, Nicolas 5 Results
- Huang, De-Shuang 5 Results
- Jones, Neil D. (1941-) 5 Results
- Kirchner, Hélène 5 Results
- Leeuwen, Jan van 5 Results
- Malyškin, Viktor 5 Results
- Margaria, Tiziana 5 Results
4,332 Results
-
Berlin, Heidelberg [u.a.]: Springer, 1973Monograph, Part of a work, Not specifiedAccess:
-
Amsterdam [u.a.]: North-Holland Publ.Co (1974) ; Berlin [u.a.]: Springer (1973-1977), 1974; 1973-1977Monograph, Part of a work, Printed ResourceAccess:
-
Berlin, Heidelberg [u.a.]: Springer, 1973Monograph, Part of a work, Printed ResourceAccess:
-
Berlin, Heidelberg, New York, NY: Springer, 1973Conference proceedings, Monograph, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1973Conference proceedings, Edited collection, Printed ResourceAccess:
-
Amsterdam [u.a.]: North-Holland Publ.Co (1974) ; Berlin [u.a.]: Springer (1973-1977), 1974; 1973-1977Monograph, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1974Article collection, Conference proceedings, Edited collection, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1974Monograph, Printed ResourceAccess:
-
International Symposium on Theoretical Programming: [... held in Novosibirsk on August 7 - 11, 1972]Berlin [u.a.]: Springer, 1974Conference proceedings, Article collection, Edited collection, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1974Conference proceedings, Edited collection, Printed ResourceAccess:
-
Amsterdam ; London: North Holland Publ. Co (1974) ; New York, NY: American Elsevier (1974) ; Edinburgh: Edinburgh Univ. Press (1974) ; Berlin ; Heidelberg [u.a.]: Springer (1974), 1974Conference proceedings, Monograph, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1974Conference proceedings, Edited collection, Printed ResourceAccess:
-
BERLIN [U.A.]: SPRINGER, 1974Edited collection, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1974Monograph, Part of a work, Not specifiedAccess:
-
Berlin [u.a.]: Springer, 1974Conference proceedings, Edited collection, Printed ResourceAccess:
-
BERLIN (U.A.): SPRINGER, 1974Edited collection, Printed ResourceAccess:
-
BERLIN, HEIDELBERG, NEW YORK: Springer, 1974Edited collection, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1974Edited collection, Printed ResourceAccess:
-
[Wechselnde Verlagsorte]: [s.n.], 1975Conference proceedings, Monograph, Part of a work, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 1975Conference proceedings, Edited collection, Printed ResourceAccess: