Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Informatik 16 Treffer
- Eingebettetes System 7 Treffer
- Hochleistungsrechnen 7 Treffer
- Softwareentwicklung 7 Treffer
- Informationssystem 6 Treffer
-
45 weitere Werte:
- Programmierung 6 Treffer
- Theoretische Informatik 6 Treffer
- Wissenschaftliches Rechnen 4 Treffer
- World Wide Web 4 Treffer
- Datenbanksystem 3 Treffer
- Hardwareentwurf 3 Treffer
- Parallelverarbeitung 3 Treffer
- Rechnernetz 3 Treffer
- Supercomputer 3 Treffer
- Algebra 2 Treffer
- Cluster (Rechnernetz) 2 Treffer
- Codegenerierung 2 Treffer
- Codeoptimierung 2 Treffer
- Data Mining 2 Treffer
- Datensicherung 2 Treffer
- Formale Methode 2 Treffer
- Graphenzeichnen 2 Treffer
- Interoperabilität 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Model Checking 2 Treffer
- Objektorientierte Programmierung 2 Treffer
- Zugriffskontrolle 2 Treffer
- Angewandte Informatik 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Baum (Mathematik) 1 Treffer
- Bedingtes Termersetzungssystem 1 Treffer
- Bedingung 1 Treffer
- Berechnungstheorie 1 Treffer
- Betriebsmittelverwaltung 1 Treffer
- Betriebssystem 1 Treffer
- Biocomputer 1 Treffer
- Chipkarte 1 Treffer
- Computer 1 Treffer
- Didaktik 1 Treffer
- Echtzeitsystem 1 Treffer
- Echtzeitverarbeitung 1 Treffer
- Formale Sprache 1 Treffer
- Geschichte 1950-2001 1 Treffer
- Grid Computing 1 Treffer
- Information Retrieval 1 Treffer
- Kommunikationssystem 1 Treffer
- Kryptologie 1 Treffer
- Lehren 1 Treffer
- Leistungsbewertung 1 Treffer
- Lernen 1 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 3 Treffer
- Kumar, Vipin 3 Treffer
- Sloot, Peter (1956-) 3 Treffer
- Alexandrov, Vassil N. (1962-) 2 Treffer
- Barthe, Gilles 2 Treffer
-
45 weitere Werte:
- Alur, Rajeev 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Bartošek, Miroslav 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Beiersdörfer, Kurt 1 Treffer
- Buyya, Rajkumar 1 Treffer
- Dauchet, Max 1 Treffer
- Daydé, Michel 1 Treffer
- Deprettere, Ed F. (1944-) 1 Treffer
- Desel, Jörg (1959-) 1 Treffer
- Emde Boas, Peter van 1 Treffer
- Grosky, William I. 1 Treffer
- Havel, Ivan M. 1 Treffer
- He, Jifeng (1943-) 1 Treffer
- Henzinger, Thomas A. 1 Treffer
- Hlaváč, Václav 1 Treffer
- Hsiang, Jieh (1954-) 1 Treffer
- Ishikawa, Yutaka 1 Treffer
- Janicki, Ryszard 1 Treffer
- Jarke, Matthias 1 Treffer
- Kaplan, Stéphane (1961-1991) 1 Treffer
- Krall, Andreas 1 Treffer
- Le Charlier, Baudouin 1 Treffer
- Lee, Craig A. 1 Treffer
- Manandhar, Suresh 1 Treffer
- Matsuoka, Satoshi 1 Treffer
- Mayer, Richard E. (1947-) 1 Treffer
- Pacholski, Leszek 1 Treffer
- Palma, José M. L. M. 1 Treffer
- Parashar, Manish 1 Treffer
- Pavelka, Jan (1948-) 1 Treffer
- Plášil, František 1 Treffer
- Rovan, Branislav 1 Treffer
- Sangiovanni-Vincentelli, Alberto 1 Treffer
- Schepers, Henk 1 Treffer
- Shafazand, Hassan (1953-) 1 Treffer
- Shyamasundar, Rudrapatna K. (1950-) 1 Treffer
- Stone, Harold S. (1938-) 1 Treffer
- Vojtáš, Peter 1 Treffer
- Wagner, Tom 1 Treffer
- Weber, Eva 1 Treffer
- Wiedermann, Jiří (1948-) 1 Treffer
- Wilhelm, Reinhard (1946-) 1 Treffer
- Wolfinger, Bernd 1 Treffer
59 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart [u.a.]: Teubner, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Washington, DC: IEEE Computer Society Pr, 1986Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: