Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Programmiersprache 12 Treffer
- Programmanalyse 9 Treffer
- Theoretische Informatik 9 Treffer
- Programmtransformation 7 Treffer
- Formale Sprache 5 Treffer
-
45 weitere Werte:
- Typentheorie 5 Treffer
- Softwareentwicklung 4 Treffer
- Effizienter Algorithmus 3 Treffer
- Korrektheit 3 Treffer
- Mehragentensystem 3 Treffer
- Parallelverarbeitung 3 Treffer
- Programmierparadigma 3 Treffer
- Programmverifikation 3 Treffer
- Software 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
- Verifikation 2 Treffer
- Zuverlässigkeit 2 Treffer
- Abstraktion 1 Treffer
- Angewandte Informatik 1 Treffer
- Anwendungssoftware 1 Treffer
- Anwendungssystem 1 Treffer
- Benutzerorientierung 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Betriebssystem 1 Treffer
- COBOL 1 Treffer
- Component software 1 Treffer
- Computer programming 1 Treffer
- Computersicherheit 1 Treffer
- Constraint-basiertes Schließen 1 Treffer
- Datensicherung 1 Treffer
- Dekomposition 1 Treffer
- Dienstgüte 1 Treffer
- Flussdiagramm 1 Treffer
- Formale Methode 1 Treffer
- Graphische Benutzeroberfläche 1 Treffer
- Hypermedia 1 Treffer
- Informatik 1 Treffer
- Intelligentes Netz 1 Treffer
Form
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
-
45 weitere Werte:
- Backhouse, Roland Carl 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Bozanis, Panayiotis 1 Treffer
- Chin, Wei-Ngan 1 Treffer
- Cooke, Derek J. 1 Treffer
- Cypher, Allen 1 Treffer
- Danvy, Olivier 1 Treffer
- Dastani, Mehdi (1964-) 1 Treffer
- Dauchet, Max 1 Treffer
- De Nicola, Rocco 1 Treffer
- Degano, Pierpaolo 1 Treffer
- Dershowitz, Nachum (1951-) 1 Treffer
- Elder, John (1949-) 1 Treffer
- Guttag, John 1 Treffer
- Hankin, Chris 1 Treffer
- Hariharan, Ramesh (1968-) 1 Treffer
- Hecht, Matthew S. 1 Treffer
- Hoc, Jean-Michel 1 Treffer
- Jensen, Randall W. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Kopetz, Hermann 1 Treffer
- LeMétayer, Daniel 1 Treffer
- Lipow, Myron 1 Treffer
- Liskov, Barbara (1939-) 1 Treffer
- Liu, Zhiming (1961-) 1 Treffer
- Lodaya, Kamal 1 Treffer
- Manolopoulos, Yannis 1 Treffer
- Mogensen, Torben Æ (1960-) 1 Treffer
- Nelson, Eldred C. 1 Treffer
- Nürnberg, Peter J. 1 Treffer
- Pandya, Paritosh K. 1 Treffer
- Perrott, Ronald H. (1942-) 1 Treffer
- Pitt, David H. (1946-) 1 Treffer
- Qian, Kai 1 Treffer
- Ramanujam, Ramaswamy 1 Treffer
- Rao, Josyula Ramachandra 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
56 Treffer
-
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, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Hoboken, NJ: Wiley-Interscience, 2005Monographie, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Macmillan, 1979Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: North-Holland, 1977Monographie, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: