Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Literaturtyp
Schlagwort
- Programmiersprache 66 Treffer
- Softwareentwicklung 48 Treffer
- Formale Methode 42 Treffer
- Model Checking 34 Treffer
- Programmierung 32 Treffer
-
45 weitere Werte:
- Programmanalyse 21 Treffer
- Programmverifikation 21 Treffer
- Abstrakter Datentyp 20 Treffer
- Formale Spezifikationstechnik 19 Treffer
- Logische Programmierung 19 Treffer
- Parallelverarbeitung 17 Treffer
- Funktionale Programmierung 16 Treffer
- Verifikation 16 Treffer
- Algebraische Spezifikation 15 Treffer
- Constraint-Programmierung 15 Treffer
- Funktionale Programmiersprache 14 Treffer
- Softwarespezifikation 14 Treffer
- Verteiltes System 14 Treffer
- Nebenläufigkeit 13 Treffer
- Objektorientierte Programmierung 13 Treffer
- Objektorientierung 13 Treffer
- Semantik 13 Treffer
- Software 13 Treffer
- Systementwicklung 13 Treffer
- Programmtransformation 12 Treffer
- Implementierung (Informatik) 11 Treffer
- Komponente (Software) 11 Treffer
- Objektorientierte Programmiersprache 11 Treffer
- Software Engineering 11 Treffer
- Statische Analyse 11 Treffer
- Typentheorie 11 Treffer
- Compiler 10 Treffer
- Deklarative Programmiersprache 10 Treffer
- Constraint (Künstliche Intelligenz) 9 Treffer
- Formale Sprache 9 Treffer
- Testen 9 Treffer
- Echtzeitsystem 8 Treffer
- Formale Semantik 8 Treffer
- Übersetzerbau 8 Treffer
- Constraint-Erfüllung 7 Treffer
- Extreme programming 7 Treffer
- Fehlertoleranz 7 Treffer
- Theoretische Informatik 7 Treffer
- Algebra 6 Treffer
- Funktionale Semantik 6 Treffer
- Informatik 6 Treffer
- Mathematische Methode 6 Treffer
- Programmierparadigma 6 Treffer
- Spezifikation 6 Treffer
- UML 6 Treffer
Sprache
Form
Person
- Bauer, Friedrich L. (1924-2015) 4 Treffer
- Bidoit, Michel 4 Treffer
- Bjørner, Dines (1937-) 4 Treffer
- Broy, Manfred (1949-) 4 Treffer
- Deransart, Pierre 4 Treffer
-
45 weitere Werte:
- Hermenegildo, Manuel 4 Treffer
- Nielson, Flemming 4 Treffer
- Van Hentenryck, Pascal (1963-) 4 Treffer
- Zimmermann, Wolf 4 Treffer
- Apt, Krzysztof R. (1949-) 3 Treffer
- Astesiano, Egidio (1939-) 3 Treffer
- Boer, Frank S. de 3 Treffer
- Cousot, Radhia 3 Treffer
- Ege, Raimund K. 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Falsafi, Babak 3 Treffer
- Jeuring, Johan 3 Treffer
- Jones, Neil D. (1941-) 3 Treffer
- Riis Nielson, Hanne 3 Treffer
- Sebesta, Robert W. 3 Treffer
- Abnous, Razmik 2 Treffer
- Atkinson, Malcolm P. (1943-) 2 Treffer
- Backhouse, Roland 2 Treffer
- Baeten, Josephus C. M. 2 Treffer
- Bishop, Judith M. (1951-) 2 Treffer
- Boiten, Eerke (1966-) 2 Treffer
- Bruynooghe, Maurice 2 Treffer
- Börger, Egon 2 Treffer
- Cerioli, Maura 2 Treffer
- Chen, Jian 2 Treffer
- Cortesi, Agostino 2 Treffer
- Diller, Antoni 2 Treffer
- Ehrich, Hans-Dieter (1943-) 2 Treffer
- Fiadeiro, José Luiz (1961-) 2 Treffer
- Friedman, Daniel P. 2 Treffer
- Goos, Gerhard (1937-2020) 2 Treffer
- Grieskamp, Wolfgang 2 Treffer
- Gunter, Carl A. 2 Treffer
- Gutknecht, Jürg 2 Treffer
- Hankin, Chris 2 Treffer
- Harrison, Rachel 2 Treffer
- Haynes, Christopher T. 2 Treffer
- Itō, Takayasū 2 Treffer
- Khoshafian, Setrag 2 Treffer
- Kirchner, Hélène 2 Treffer
- Liu, Zhiming (1961-) 2 Treffer
- Lock, Hendrik C. R. 2 Treffer
- Mosses, Peter D. 2 Treffer
- Mycroft, Alan 2 Treffer
- Najm, Elie (1952-) 2 Treffer
465 Treffer
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier [u.a.], 2005Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
Formal techniques in real time and fault tolerant systems: 5th international symposium ; proceedingsBerlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: