Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 12 Treffer
- Programmanalyse 9 Treffer
- Theoretische Informatik 9 Treffer
- Programmtransformation 6 Treffer
- Typentheorie 6 Treffer
-
45 weitere Werte:
- Formale Sprache 5 Treffer
- Programmierparadigma 4 Treffer
- Effizienter Algorithmus 3 Treffer
- Korrektheit 3 Treffer
- Mehragentensystem 3 Treffer
- Abfrage 2 Treffer
- Algebra 2 Treffer
- Algorithmus 2 Treffer
- Autonomer Agent 2 Treffer
- Baum (Mathematik) 2 Treffer
- Computerunterstütztes Lernen 2 Treffer
- Data Mining 2 Treffer
- Datenbanksystem 2 Treffer
- Datenstruktur 2 Treffer
- Mensch-Maschine-Kommunikation 2 Treffer
- Model Checking 2 Treffer
- Nebenläufigkeit 2 Treffer
- Programmverifikation 2 Treffer
- Abstraktion 1 Treffer
- Angewandte Informatik 1 Treffer
- Anwendungssoftware 1 Treffer
- Anwendungssystem 1 Treffer
- Benutzerorientierung 1 Treffer
- Betriebssystem 1 Treffer
- Computersicherheit 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Datensicherung 1 Treffer
- Dekomposition 1 Treffer
- Dienstgüte 1 Treffer
- Formale Methode 1 Treffer
- Hypermedia 1 Treffer
- Informatik 1 Treffer
- Intelligentes Netz 1 Treffer
- Internet 1 Treffer
- Kategorie (Mathematik) 1 Treffer
- Kategorientheorie 1 Treffer
- Kundenorientierung 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Logische Programmierung 1 Treffer
- Logischer Schluss 1 Treffer
- Metadatenmodell 1 Treffer
- Mobiler Agent 1 Treffer
- Mobilfunk 1 Treffer
- Netzwerkverwaltung 1 Treffer
- Objektorientierte Programmierung 1 Treffer
Sprache
Person
- Bjørner, Dines (1937-) 3 Treffer
- Bordini, Rafael H. 2 Treffer
- Abramsky, Samson (1953-) 1 Treffer
- Agrawal, Manindra (1966-) 1 Treffer
- Arun-Kumar, S. 1 Treffer
-
32 weitere Werte:
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Bozanis, Panayiotis 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Danvy, Olivier 1 Treffer
- Dastani, Mehdi (1964-) 1 Treffer
- Dauchet, Max 1 Treffer
- De Nicola, Rocco 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Hankin, Chris 1 Treffer
- Hariharan, Ramesh (1968-) 1 Treffer
- Kobayashi, Naoki 1 Treffer
- LeMétayer, Daniel 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Lodaya, Kamal 1 Treffer
- Manolopoulos, Yannis 1 Treffer
- Nürnberg, Peter J. 1 Treffer
- Ohori, Atsushi 1 Treffer
- Pandya, Paritosh K. 1 Treffer
- Pitt, David H. (1946-) 1 Treffer
- Ramanujam, Ramaswamy 1 Treffer
- Riis Nielson, Hanne 1 Treffer
- Roever, Willem-Paul de (1943-) 1 Treffer
- Sagiv, Mooly 1 Treffer
- Sands, David 1 Treffer
- Sannella, Donald 1 Treffer
- Saraswat, Vijay 1 Treffer
- Schmidt, David 1 Treffer
- Sestoft, Peter (1962-) 1 Treffer
- Smolka, Gert (1955-) 1 Treffer
- Sterbenz, James P. G. 1 Treffer
- Swierstra, S. Doaitse 1 Treffer
- Yi, Kwangkeun 1 Treffer
40 Treffer
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, 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:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: