Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Theoretische Informatik 74 Treffer
- Informatik 27 Treffer
- Programmierung 13 Treffer
- Datenverarbeitung 9 Treffer
- Datenbanksystem 7 Treffer
-
45 weitere Werte:
- Informationssystem 6 Treffer
- Kategorientheorie 6 Treffer
- Formale Sprache 5 Treffer
- Mathematik 5 Treffer
- Bildverarbeitung 4 Treffer
- Programmiersprache 4 Treffer
- Softwareentwicklung 4 Treffer
- World Wide Web 4 Treffer
- Automatentheorie 3 Treffer
- Evolutionäre Programmierung 3 Treffer
- Information Retrieval 3 Treffer
- Künstliche Intelligenz 3 Treffer
- Logik 3 Treffer
- Logische Programmierung 3 Treffer
- Mathematische Logik 3 Treffer
- Nebenläufigkeit 3 Treffer
- Rechnernetz 3 Treffer
- Algebra 2 Treffer
- Algebraische Struktur 2 Treffer
- Algorithmus 2 Treffer
- Berechnungskomplexität 2 Treffer
- Evolutionärer Algorithmus 2 Treffer
- Formale Methode 2 Treffer
- Gleichung 2 Treffer
- Graphenzeichnen 2 Treffer
- Gruppentheorie 2 Treffer
- Hardwareentwurf 2 Treffer
- Komponente (Software) 2 Treffer
- Kryptologie 2 Treffer
- Model Checking 2 Treffer
- Numerisches Verfahren 2 Treffer
- Software 2 Treffer
- Sprachverarbeitung 2 Treffer
- Turing-Maschine 2 Treffer
- Verteilte Programmierung 2 Treffer
- Verteiltes System 2 Treffer
- Algebraische Methode 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Algorithms 1 Treffer
- Angewandte Informatik 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Berechenbarkeit 1 Treffer
- Berechnungstheorie 1 Treffer
- Chaos 1 Treffer
- Codierung 1 Treffer
Sprache
Form
Person
- Bjørner, Dines (1937-) 3 Treffer
- Kumar, Vipin 3 Treffer
- Sloot, Peter (1956-) 3 Treffer
- Alexandrov, Vassil N. (1962-) 2 Treffer
- Alt, Helmut 2 Treffer
-
45 weitere Werte:
- Aït-Kaci, Hassan 2 Treffer
- Choffrut, Christian 2 Treffer
- Diekert, Volker (1955-) 2 Treffer
- Ehrig, Hartmut (1944-2016) 2 Treffer
- Enjalbert, Patrice 2 Treffer
- Margenstern, Maurice 2 Treffer
- Raidl, Günther 2 Treffer
- Rovan, Branislav 2 Treffer
- Thiagarajan, Pazhamaneri S. 2 Treffer
- Agrawal, Manindra (1966-) 1 Treffer
- Alligood, Kathleen T. 1 Treffer
- Anshel, Michael 1 Treffer
- Arun-Kumar, S. 1 Treffer
- Arvind, Vikraman 1 Treffer
- Aykanat, Cevdet 1 Treffer
- Baeza-Yates, Ricardo 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Baumslag, Gilbert 1 Treffer
- Bergman, Clifford H. 1 Treffer
- Blackledge, Jonathan M. 1 Treffer
- Blundo, Carlo 1 Treffer
- Boers, Egbert J. W. 1 Treffer
- Brim, Lubǒs 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Börger, Egon 1 Treffer
- Cagnoni, Stefano 1 Treffer
- Caro, Jaime D. L. 1 Treffer
- Chandru, Vijay 1 Treffer
- Coletti, Giulianella 1 Treffer
- Coppo, Mario 1 Treffer
- Correa, José R. 1 Treffer
- Dang Van Hung (1950-) 1 Treffer
- Dassow, Jürgen 1 Treffer
- Denecke, Klaus 1 Treffer
- Devaney, Robert L. (1948-) 1 Treffer
- Diks, Krzysztof 1 Treffer
- Dolev, Danny 1 Treffer
- Durand, Bruno 1 Treffer
- Ellacott, Steve 1 Treffer
- Emde Boas, Peter van 1 Treffer
- Farach-Colton, Martin 1 Treffer
- Ferreira, Afonso 1 Treffer
- Fiala, Jiří 1 Treffer
- Fountain, John 1 Treffer
139 Treffer
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. print.. - New York, NY [u.a.]: Dekker, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. ed.. - Berlin: Akad.-Verl, [1993]Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, 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, Heidelberg [u.a.]: Springer, 1986Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
1. print.. - Rockville, Md.: Computer Science Pr, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Acad. Pr, 1989Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1988Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1991Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer Acad. Publ, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: