Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 80 Treffer
- Programmierung 77 Treffer
- Logische Programmierung 76 Treffer
- Programmiersprache 57 Treffer
- Theoretische Informatik 56 Treffer
-
45 weitere Werte:
- Formale Methode 49 Treffer
- Model Checking 47 Treffer
- Programmverifikation 38 Treffer
- Nebenläufigkeit 33 Treffer
- Programmanalyse 30 Treffer
- Programmtransformation 27 Treffer
- Verifikation 25 Treffer
- Automatisches Beweisverfahren 23 Treffer
- Formale Spezifikationstechnik 23 Treffer
- Semantik 23 Treffer
- Systementwicklung 23 Treffer
- Algebraische Spezifikation 22 Treffer
- Softwarespezifikation 20 Treffer
- Formale Sprache 19 Treffer
- Typentheorie 19 Treffer
- Informatik 17 Treffer
- Software Engineering 16 Treffer
- Logik 15 Treffer
- Mathematische Logik 15 Treffer
- Mehragentensystem 15 Treffer
- Software 15 Treffer
- Funktionale Programmierung 14 Treffer
- Reduktionssystem 14 Treffer
- Beweistheorie 13 Treffer
- Programmsynthese 13 Treffer
- Statische Analyse 13 Treffer
- Verteiltes System 13 Treffer
- Computational logic 12 Treffer
- Temporale Logik 12 Treffer
- Agent (Informatik) 11 Treffer
- Echtzeitsystem 11 Treffer
- HOL 11 Treffer
- Komponente (Software) 11 Treffer
- Programmierlogik 11 Treffer
- Datenverarbeitung 10 Treffer
- Programmierparadigma 10 Treffer
- Formale Semantik 9 Treffer
- Implementierung (Informatik) 9 Treffer
- Korrektheit 9 Treffer
- Eingebettetes System 8 Treffer
- Funktionale Semantik 8 Treffer
- Hybrides System 8 Treffer
- Testen 8 Treffer
- UML 8 Treffer
- Z (Programmiersprache) 8 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 10 Treffer
- Sussman, Gerald Jay (1947-) 8 Treffer
- Sussman, Julie 7 Treffer
- Abelson, Harold 6 Treffer
- Ehrig, Hartmut (1944-2016) 6 Treffer
-
45 weitere Werte:
- Bakker, Jacobus Willem de 5 Treffer
- Apt, Krzysztof R. (1949-) 4 Treffer
- Bert, Didier 4 Treffer
- Gottlob, Georg 4 Treffer
- Baeten, Josephus C. M. 3 Treffer
- Best, Eike 3 Treffer
- Bibel, Wolfgang 3 Treffer
- Bjørner, Dines (1937-) 3 Treffer
- Boer, Frank S. de 3 Treffer
- Brinksma, Ed 3 Treffer
- Bruynooghe, Maurice 3 Treffer
- Börger, Egon 3 Treffer
- Cousot, Radhia 3 Treffer
- Gries, David 3 Treffer
- Hankin, Chris 3 Treffer
- Hermanns, Holger (1967-) 3 Treffer
- Hermenegildo, Manuel 3 Treffer
- Ibarra, Oscar H. 3 Treffer
- Jones, Neil D. (1941-) 3 Treffer
- Larsen, Kim G. 3 Treffer
- Lloyd, John W. (1947-) 3 Treffer
- Milne, Robert 3 Treffer
- Mosses, Peter D. 3 Treffer
- Möller, Bernhard 3 Treffer
- Nielsen, Mogens 3 Treffer
- Riis Nielson, Hanne 3 Treffer
- Strachey, Christopher 3 Treffer
- Aagaard, Mark 2 Treffer
- Abadi, Martín (1963-) 2 Treffer
- Abelson, Harold (1947-) 2 Treffer
- Abramsky, Samson (1953-) 2 Treffer
- Alur, Rajeev 2 Treffer
- Andrews, Derek 2 Treffer
- Backhouse, Roland 2 Treffer
- Baier, Christel 2 Treffer
- Berardi, Stefano 2 Treffer
- Bertossi, Leopoldo 2 Treffer
- Bidoit, Michel 2 Treffer
- Bird, Richard 2 Treffer
- Brim, Lubǒs 2 Treffer
- Brookes, Stephen D. 2 Treffer
- Champarnaud, Jean-Marc 2 Treffer
- Corradini, Andrea 2 Treffer
- Cortesi, Agostino 2 Treffer
- Cousot, Patrick 2 Treffer
642 Treffer
-
New York [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Boca Raton, Fla. [u.a.]: Chapman & Hall/CRC, 2007Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1990Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1987Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1991Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Englewood Cliffs, NJ [u.a.]: Prentice Hall Internat, 1984Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1998Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1975Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
4. print.. - Cambridge, Mass. [u.a.]: MIT Pr. [u.a.], 1986Monographie, Einführung, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: BI-Wiss.-Verl, 1992Monographie, Gedruckte RessourceZugriff: