Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmierung 13 Treffer
- Formale Sprache 6 Treffer
- Automatentheorie 5 Treffer
- Datenbanksystem 4 Treffer
- Informatik 4 Treffer
-
45 weitere Werte:
- Nebenläufigkeit 4 Treffer
- World Wide Web 4 Treffer
- Informationssystem 3 Treffer
- Mathematische Logik 3 Treffer
- Programmiersprache 3 Treffer
- Softwareentwicklung 3 Treffer
- Turing-Maschine 3 Treffer
- Berechnungskomplexität 2 Treffer
- Datenverarbeitung 2 Treffer
- Formale Methode 2 Treffer
- Graphenzeichnen 2 Treffer
- Komponente (Software) 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Logische Programmierung 2 Treffer
- Model Checking 2 Treffer
- Verteilte Programmierung 2 Treffer
- Algorithmische Geometrie 1 Treffer
- Anwendungssystem 1 Treffer
- Berechenbarkeit 1 Treffer
- Berechnungstheorie 1 Treffer
- Bibliografie 1 Treffer
- Biocomputer 1 Treffer
- C (Programmiersprache) 1 Treffer
- Computational logic 1 Treffer
- Computer 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Gruppentheorie 1 Treffer
- Information Retrieval 1 Treffer
- Kategorie (Mathematik) 1 Treffer
- Kategorientheorie 1 Treffer
- Kellerautomat 1 Treffer
- Komplexitätstheorie 1 Treffer
- Kontextfreie Sprache 1 Treffer
- Kryptologie 1 Treffer
- Logik 1 Treffer
- Mathematik 1 Treffer
- Mathematische Methode 1 Treffer
- Multimedia 1 Treffer
- Objektorientierung 1 Treffer
- Online-Ressource 1 Treffer
- Petri-Netz 1 Treffer
- Programmierlogik 1 Treffer
- Siromoney, Gift (1932-1988) 1 Treffer
- Systementwicklung 1 Treffer
- Topologie 1 Treffer
Sprache
Form
Person
- Schöning, Uwe (1955-) 4 Treffer
- Ullman, Jeffrey D. (1942-) 3 Treffer
- Aho, Alfred V. (1941-) 2 Treffer
- Alt, Helmut 2 Treffer
- Asteroth, Alexander (1968-) 2 Treffer
-
45 weitere Werte:
- Baier, Christel 2 Treffer
- Bjørner, Dines (1937-) 2 Treffer
- Choffrut, Christian 2 Treffer
- Cohen, Daniel I. A. 2 Treffer
- Diekert, Volker (1955-) 2 Treffer
- Enjalbert, Patrice 2 Treffer
- Erk, Katrin 2 Treffer
- Karhumäki, Juhani (1949-) 2 Treffer
- Margenstern, Maurice 2 Treffer
- Priese, Lutz (1947-) 2 Treffer
- Rovan, Branislav 2 Treffer
- Salomaa, Arto (1934-) 2 Treffer
- Wagner, Klaus W. 2 Treffer
- Wegener, Ingo (1950-2008) 2 Treffer
- Agrawal, Manindra (1966-) 1 Treffer
- Arun-Kumar, S. 1 Treffer
- Arvind, Vikraman 1 Treffer
- Bachmann, Peter 1 Treffer
- Baeza-Yates, Ricardo 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Baumslag, Gilbert 1 Treffer
- Blum, Norbert (1954-) 1 Treffer
- Blundo, Carlo 1 Treffer
- Brauer, Wilfried 1 Treffer
- Brecht, Werner 1 Treffer
- Brim, Lubǒs 1 Treffer
- Brookshear, J. Glenn 1 Treffer
- Cap, Clemens H. (1965-) 1 Treffer
- Coppo, Mario 1 Treffer
- Correa, José R. 1 Treffer
- Dang Van Hung (1950-) 1 Treffer
- Dassow, Jürgen 1 Treffer
- Dershowitz, Nachum (1951-) 1 Treffer
- Diks, Krzysztof 1 Treffer
- Dolev, Danny 1 Treffer
- Durand, Bruno 1 Treffer
- Ehrenfeucht, Andrzej (1932-) 1 Treffer
- Emde Boas, Peter van 1 Treffer
- Even, Shimon (1935-2004) 1 Treffer
- Farach-Colton, Martin 1 Treffer
- Fejer, Peter A. 1 Treffer
- Ferreira, Afonso 1 Treffer
- Fiala, Jiří 1 Treffer
- Ghezzi, Carlo (1946-) 1 Treffer
- Goldreich, Oded (1957-) 1 Treffer
111 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Redwood City, Calif. [u.a.]: Benjamin/Cummings, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
[Dr. A]. - Providence, RI: American Mathematical Society, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - Upper Saddle River, NJ: Prentice-Hall, 1998Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2., aktualisierte Aufl.. - München: Hanser, 2011Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Wiley, 1997Monographie, Einführung, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1991Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: