Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Programmiersprache 12 Treffer
- Programmanalyse 10 Treffer
- Theoretische Informatik 9 Treffer
- Programmtransformation 7 Treffer
- Programmverifikation 6 Treffer
-
45 weitere Werte:
- Softwareentwicklung 6 Treffer
- Typentheorie 6 Treffer
- Formale Sprache 5 Treffer
- Software 5 Treffer
- Korrektheit 4 Treffer
- Programmierparadigma 4 Treffer
- Software Engineering 4 Treffer
- Bug (Informatik) 3 Treffer
- Effizienter Algorithmus 3 Treffer
- Mehragentensystem 3 Treffer
- Mensch-Maschine-Kommunikation 3 Treffer
- Parallelverarbeitung 3 Treffer
- Abfrage 2 Treffer
- Algebra 2 Treffer
- Algorithmus 2 Treffer
- Autonomer Agent 2 Treffer
- Baum (Mathematik) 2 Treffer
- Benutzeroberfläche 2 Treffer
- Computerunterstütztes Lernen 2 Treffer
- Data Mining 2 Treffer
- Datenbanksystem 2 Treffer
- Datenstruktur 2 Treffer
- Künstliche Intelligenz 2 Treffer
- Model Checking 2 Treffer
- Nebenläufigkeit 2 Treffer
- Norm 2 Treffer
- Programmierumgebung 2 Treffer
- Verifikation 2 Treffer
- Zuverlässigkeit 2 Treffer
- Abstraktion 1 Treffer
- Angewandte Informatik 1 Treffer
- Anwendungssoftware 1 Treffer
- Anwendungssystem 1 Treffer
- Automation 1 Treffer
- Benutzerorientierung 1 Treffer
- Berechnungskomplexität 1 Treffer
- Berechnungstheorie 1 Treffer
- Betriebssystem 1 Treffer
- Beweis 1 Treffer
- C/C++ PDS 7.0 1 Treffer
- COBOL 1 Treffer
- Caché 1 Treffer
- Component software 1 Treffer
- Computer programming 1 Treffer
- Computersicherheit 1 Treffer
Sprache
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:
- Baber, Robert Laurence 1 Treffer
- Backhouse, Roland Carl 1 Treffer
- Bakker, Jacobus Willem de 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Barstow, David R. 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
- Gerten, Rainer 1 Treffer
- Gibbs, Simon J. 1 Treffer
- Grams, Timm 1 Treffer
- Gunther, Richard C. 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
- Jander, Johannes 1 Treffer
- Jensen, Randall W. 1 Treffer
- Jones, Neil D. (1941-) 1 Treffer
- Juliff, Peter L. 1 Treffer
- Kirsten, Wolfgang 1 Treffer
- Kobayashi, Naoki 1 Treffer
- Kopetz, Hermann 1 Treffer
- Kregeloh, Thomas 1 Treffer
- Larson, James A. 1 Treffer
- LeMétayer, Daniel 1 Treffer
- Lewis, T. G. (1941-) 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
- Morgan, Carroll (1952-) 1 Treffer
- Nelson, Eldred C. 1 Treffer
- Nürnberg, Peter J. 1 Treffer
78 Treffer
-
1. Aufl., 1. korrigierter Nachdr.. - Beijing [u.a.]: O'Reilly, 2014Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2007Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Hoboken, NJ: Wiley-Interscience, 2005Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Monographie, Gedruckte RessourceZugriff:
-
1. Aufl.. - Stuttgart [u.a.]: Teubner, 2004Monographie, Lehrbuch, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: