Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 21 Treffer
- Theoretische Informatik 21 Treffer
- Parallelverarbeitung 15 Treffer
- Typentheorie 12 Treffer
- Algebra 10 Treffer
-
45 weitere Werte:
- Logische Programmierung 9 Treffer
- Programmanalyse 9 Treffer
- Softwareentwicklung 9 Treffer
- Baum (Mathematik) 8 Treffer
- Constraint (Künstliche Intelligenz) 8 Treffer
- Programmtransformation 8 Treffer
- Software Engineering 7 Treffer
- World Wide Web 7 Treffer
- Algorithmus 6 Treffer
- Datenbanksystem 6 Treffer
- Datenverarbeitung 6 Treffer
- Formale Sprache 6 Treffer
- Beweistheorie 5 Treffer
- Data Mining 5 Treffer
- Informatik 5 Treffer
- Programmverifikation 5 Treffer
- Reduktionssystem 5 Treffer
- Abstraktion 4 Treffer
- Algebraische Spezifikation 4 Treffer
- Informationssystem 4 Treffer
- Model Checking 4 Treffer
- Programmierparadigma 4 Treffer
- Software 4 Treffer
- Termersetzungssystem 4 Treffer
- Typsystem 4 Treffer
- Anwendungssystem 3 Treffer
- Approximation 3 Treffer
- Betriebssystem 3 Treffer
- Constraint-Erfüllung 3 Treffer
- Datensicherung 3 Treffer
- Effizienter Algorithmus 3 Treffer
- Formale Methode 3 Treffer
- Formulierung 3 Treffer
- Internet 3 Treffer
- Korrektheit 3 Treffer
- Korrektur 3 Treffer
- Künstliche Intelligenz 3 Treffer
- Maschinelles Lernen 3 Treffer
- Mehragentensystem 3 Treffer
- Mensch-Maschine-Kommunikation 3 Treffer
- Verteilte Programmierung 3 Treffer
- Abfrage 2 Treffer
- Automatentheorie 2 Treffer
- Autonomer Agent 2 Treffer
- Computergrafik 2 Treffer
Sprache
Form
Person
- Bauer, Friedrich L. (1924-2015) 4 Treffer
- Bjørner, Dines (1937-) 4 Treffer
- Broy, Manfred (1949-) 4 Treffer
- Malyškin, Viktor 3 Treffer
- Bordini, Rafael H. 2 Treffer
-
45 weitere Werte:
- Dongarra, Jack J. 2 Treffer
- Eršov, Andrej P. (1931-1988) 2 Treffer
- Hanus, Michael 2 Treffer
- Itō, Takayasū 2 Treffer
- Kirchner, Hélène 2 Treffer
- Saraswat, Vijay 2 Treffer
- Abramsky, Samson (1953-) 1 Treffer
- Aceto, Luca 1 Treffer
- Agrawal, Manindra (1966-) 1 Treffer
- Arnold, André (1945-) 1 Treffer
- Arun-Kumar, S. 1 Treffer
- Attali, Isabelle 1 Treffer
- Bal, Henri E. 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Barthe, Gilles 1 Treffer
- Bell, James R. 1 Treffer
- Berardi, Stefano 1 Treffer
- Berg, Helmut K. 1 Treffer
- Biermann, Alan W. 1 Treffer
- Borning, Alan 1 Treffer
- Bozanis, Panayiotis 1 Treffer
- Briot, Jean-Pierre 1 Treffer
- Brookes, Stephen D. 1 Treffer
- Callaghan, Paul 1 Treffer
- Chandrasekaran, B. 1 Treffer
- Chen, Peter P. S. 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Choueiry, Berthe Y. 1 Treffer
- Cioni, Gianna 1 Treffer
- Coquand, Thierry (1961-) 1 Treffer
- Danvy, Olivier 1 Treffer
- Dastani, Mehdi (1964-) 1 Treffer
- Dauchet, Max 1 Treffer
- Davis, Carl G. 1 Treffer
- De Nicola, Rocco 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Dix, Jürgen 1 Treffer
- Dunne, Steve 1 Treffer
- Díaz, Josep (1950-) 1 Treffer
- Ebert, Rudolf 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Emde Boas, Peter van 1 Treffer
- Engeler, Erwin 1 Treffer
- Filliâtre, Jean-Christophe 1 Treffer
- Ford, B. 1 Treffer
151 Treffer
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1981Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1979Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Hillsdale, NJ: Erlbaum, 1988Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1981Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1983Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1980Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: