Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Informatik 22 Treffer
- Softwareentwicklung 14 Treffer
- Programmierung 11 Treffer
- Theoretische Informatik 8 Treffer
- Eingebettetes System 7 Treffer
-
45 weitere Werte:
- Hochleistungsrechnen 7 Treffer
- Informationssystem 7 Treffer
- Software 7 Treffer
- Programmiersprache 4 Treffer
- Wissenschaftliches Rechnen 4 Treffer
- World Wide Web 4 Treffer
- Datenbanksystem 3 Treffer
- Formale Methode 3 Treffer
- Hardwareentwurf 3 Treffer
- Objektorientierte Programmierung 3 Treffer
- Parallelverarbeitung 3 Treffer
- Rechnernetz 3 Treffer
- Supercomputer 3 Treffer
- Algebra 2 Treffer
- Berechnungstheorie 2 Treffer
- Betriebssystem 2 Treffer
- Cluster (Rechnernetz) 2 Treffer
- Codegenerierung 2 Treffer
- Codeoptimierung 2 Treffer
- Data Mining 2 Treffer
- Datensicherung 2 Treffer
- Graphenzeichnen 2 Treffer
- Interoperabilität 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Model Checking 2 Treffer
- Nebenläufigkeit 2 Treffer
- Open Source 2 Treffer
- Programmierlogik 2 Treffer
- Software Engineering 2 Treffer
- Verteiltes System 2 Treffer
- Zugriffskontrolle 2 Treffer
- Zuverlässigkeit 2 Treffer
- Agent (Informatik) 1 Treffer
- Angewandte Informatik 1 Treffer
- Artificial intelligence 1 Treffer
- Assembler 1 Treffer
- Aufsatzsammlung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Baum (Mathematik) 1 Treffer
- Bedingtes Termersetzungssystem 1 Treffer
- Bedingung 1 Treffer
- Betriebsmittelverwaltung 1 Treffer
- Biocomputer 1 Treffer
- Chipkarte 1 Treffer
- Computer 1 Treffer
Sprache
Form
Person
- Sloot, Peter (1956-) 7 Treffer
- Alexandrov, Vassil N. (1962-) 6 Treffer
- Broy, Manfred (1949-) 5 Treffer
- Bubak, Marian 4 Treffer
- Gervasi, Osvaldo 4 Treffer
-
45 weitere Werte:
- Laganà, Antonio 4 Treffer
- Kumar, Vipin 3 Treffer
- Sunderam, Vaidy S. 3 Treffer
- Tucker, Allen B. 3 Treffer
- Balzert, Helmut (1950-) 2 Treffer
- Barthe, Gilles 2 Treffer
- Rumpe, Bernhard (1967-) 2 Treffer
- Alur, Rajeev 1 Treffer
- Appelrath, Hans-Jürgen (1952-2016) 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
- Behlendorf, Brian 1 Treffer
- Beiersdörfer, Kurt 1 Treffer
- Buyya, Rajkumar 1 Treffer
- Carullo, Giuliana 1 Treffer
- Constantine, Larry L. 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dauchet, Max 1 Treffer
- Daydé, Michel 1 Treffer
- DeMarco, Tom 1 Treffer
- Deprettere, Ed F. (1944-) 1 Treffer
- Dershowitz, Nachum (1951-) 1 Treffer
- Desel, Jörg (1959-) 1 Treffer
- DiBona, Chris 1 Treffer
- Dijkstra, Edsger W. 1 Treffer
- Dony, Christophe 1 Treffer
- Dujmović, Jozo 1 Treffer
- Emde Boas, Peter van 1 Treffer
- Feijen, Wim H. J. 1 Treffer
- Fox, Geoffrey C. 1 Treffer
- Freksa, Christian 1 Treffer
- Friedman, Allan 1 Treffer
- Fry, Ben 1 Treffer
- Grosky, William I. 1 Treffer
- Haridi, Seif 1 Treffer
- Havel, Ivan M. 1 Treffer
- He, Jifeng (1943-) 1 Treffer
- Hellwagner, Hermann 1 Treffer
- Henzinger, Thomas A. 1 Treffer
- Hlaváč, Václav 1 Treffer
- Hsiang, Jieh (1954-) 1 Treffer
- Hughes, Chris 1 Treffer
- Ishikawa, Yutaka 1 Treffer
129 Treffer
-
4. Aufl., Stand der abgedr. Normen: August 1995. - Berlin [u.a.]: Beuth, 1995Monographie, Norm, Gedruckte RessourceZugriff:
-
2., überarb. Aufl.. - Berlin [u.a.]: Springer, 2002Monographie, Aufgabensammlung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Monographie, Aufgabensammlung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Festschrift, Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Hillsdale, NJ: Erlbaum, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2006Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Version 1.0, generated December 6, 2012. - [New York]: [Daniel Shiffman], 2012Monographie, Gedruckte RessourceZugriff:
-
Second edition. - Amsterdam: Morgan Kaufmann, [2015]Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. Aufl.. - München: Elsevier, 2005Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Ehningen bei Böblingen: Expert [u.a.], 1988Wörterbuch, Monographie, Nachschlagewerk, Gedruckte RessourceZugriff: