Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Programmierung 22 Treffer
- Programmiersprache 16 Treffer
- Logik 11 Treffer
- Logische Programmierung 11 Treffer
- Mathematische Logik 11 Treffer
-
45 weitere Werte:
- Datenverarbeitung 9 Treffer
- Formale Sprache 9 Treffer
- Kombinatorik 8 Treffer
- Berechenbarkeit 7 Treffer
- Graphentheorie 7 Treffer
- Informatik 7 Treffer
- Programmierlogik 7 Treffer
- Automat 6 Treffer
- Automatentheorie 6 Treffer
- Verteiltes System 6 Treffer
- Software Engineering 5 Treffer
- Datenbanksystem 4 Treffer
- Softwareentwicklung 4 Treffer
- Computational logic 3 Treffer
- Formale Methode 3 Treffer
- Informationssystem 3 Treffer
- Komplexitätstheorie 3 Treffer
- Kongress 3 Treffer
- Mathematik 3 Treffer
- Nebenläufigkeit 3 Treffer
- Soft Computing 3 Treffer
- World Wide Web 3 Treffer
- Berechnungskomplexität 2 Treffer
- Bioinformatik 2 Treffer
- Graphenzeichnen 2 Treffer
- Kombinatorische Optimierung 2 Treffer
- Komponente (Software) 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Model Checking 2 Treffer
- Online-Ressource 2 Treffer
- Systementwicklung 2 Treffer
- Turing-Maschine 2 Treffer
- Verteilte Programmierung 2 Treffer
- Algebra 1 Treffer
- Algorithmische Geometrie 1 Treffer
- Algorithmus 1 Treffer
- Anwendung 1 Treffer
- Automat (Automatentheorie) 1 Treffer
- Berechnungstheorie 1 Treffer
- Diskrete Mathematik 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Graph 1 Treffer
- Grundlage 1 Treffer
- Information Retrieval 1 Treffer
- Kategorie (Mathematik) 1 Treffer
Sprache
Form
Person
- Calude, Cristian (1952-) 5 Treffer
- Ibarra, Oscar H. 4 Treffer
- Wiedermann, Jiří (1948-) 3 Treffer
- Alt, Helmut 2 Treffer
- Bjørner, Dines (1937-) 2 Treffer
-
45 weitere Werte:
- Choffrut, Christian 2 Treffer
- Diekert, Volker (1955-) 2 Treffer
- Enjalbert, Patrice 2 Treffer
- Lingas, Andrzej 2 Treffer
- Margenstern, Maurice 2 Treffer
- Nielsen, Mogens 2 Treffer
- Prívara, Igor 2 Treffer
- Rovan, Branislav 2 Treffer
- Widmayer, Peter (1953-) 2 Treffer
- Abiteboul, Serge (1953-) 1 Treffer
- Aceto, Luca 1 Treffer
- Agrawal, Manindra (1966-) 1 Treffer
- Arun-Kumar, S. 1 Treffer
- Arvind, Vikraman 1 Treffer
- Asano, Takao 1 Treffer
- Baaz, Matthias (1960-) 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Baeza-Yates, Ricardo 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Blundo, Carlo 1 Treffer
- Bodlaender, Hans L. 1 Treffer
- Borzyszkowski, Andrzej M. 1 Treffer
- Bradfield, Julian Charles 1 Treffer
- Brandes, Ulrik (1968-) 1 Treffer
- Brandstädt, Andreas (1949-) 1 Treffer
- Brim, Lubǒs 1 Treffer
- Broy, Manfred (1949-) 1 Treffer
- Caires, Luís 1 Treffer
- Champarnaud, Jean-Marc 1 Treffer
- Chen, Danny Z. 1 Treffer
- Chwa, Kyung-Yong 1 Treffer
- Ciobanu, Gabriel (1957-) 1 Treffer
- Clote, Peter 1 Treffer
- Coppo, Mario 1 Treffer
- Correa, José R. 1 Treffer
- Dang Van Hung (1950-) 1 Treffer
- Dassow, Jürgen 1 Treffer
- De Felice, Clelia 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Diks, Krzysztof 1 Treffer
- Dolev, Danny 1 Treffer
- Domaratzki, Michael 1 Treffer
- Du, Dingzhu (1948-) 1 Treffer
- Durand, Bruno 1 Treffer
- Díaz, Josep (1950-) 1 Treffer
198 Treffer
-
London: Imperial College Press, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1990Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a]: Springer, 1987-1989Zeitschrift, Konferenzschrift, Gedruckte RessourceZugriff:
-
Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquiumBerlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 1998Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg [u.a.]: Springer, 1986Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York: ACM Pr, 1991Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: