Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Methode 39 Treffer
- Model Checking 33 Treffer
- Softwareentwicklung 33 Treffer
- Programmiersprache 30 Treffer
- Programmierung 26 Treffer
-
45 weitere Werte:
- Programmanalyse 20 Treffer
- Programmverifikation 19 Treffer
- Logische Programmierung 17 Treffer
- Formale Spezifikationstechnik 14 Treffer
- Verifikation 14 Treffer
- Constraint-Programmierung 12 Treffer
- Parallelverarbeitung 12 Treffer
- Software 12 Treffer
- Funktionale Programmiersprache 11 Treffer
- Objektorientierung 11 Treffer
- Statische Analyse 11 Treffer
- Systementwicklung 11 Treffer
- Softwarespezifikation 10 Treffer
- Verteiltes System 10 Treffer
- Constraint (Künstliche Intelligenz) 9 Treffer
- Deklarative Programmiersprache 9 Treffer
- Funktionale Programmierung 9 Treffer
- Implementierung (Informatik) 9 Treffer
- Komponente (Software) 9 Treffer
- Nebenläufigkeit 9 Treffer
- Programmtransformation 9 Treffer
- Software Engineering 9 Treffer
- Compiler 8 Treffer
- Testen 8 Treffer
- Algebraische Spezifikation 7 Treffer
- Echtzeitsystem 7 Treffer
- Extreme programming 7 Treffer
- Fehlertoleranz 7 Treffer
- Übersetzerbau 7 Treffer
- Abstrakter Datentyp 6 Treffer
- Constraint-Erfüllung 6 Treffer
- Mathematische Methode 6 Treffer
- Spezifikation 6 Treffer
- Abstrakte Interpretation 5 Treffer
- Informatik 5 Treffer
- Programmierparadigma 5 Treffer
- Theoretische Informatik 5 Treffer
- UML 5 Treffer
- Algebra 4 Treffer
- Datenfluss 4 Treffer
- Kategorientheorie 4 Treffer
- Kontrollfluss 4 Treffer
- Modulare Programmierung 4 Treffer
- Objekt (Informatik) 4 Treffer
- Persistenz (Informatik) 4 Treffer
Sprache
Form
Person
- Hermenegildo, Manuel 4 Treffer
- Apt, Krzysztof R. (1949-) 3 Treffer
- Boer, Frank S. de 3 Treffer
- Broy, Manfred (1949-) 3 Treffer
- Cousot, Radhia 3 Treffer
-
45 weitere Werte:
- Deransart, Pierre 3 Treffer
- Ege, Raimund K. 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Falsafi, Babak 3 Treffer
- Jeuring, Johan 3 Treffer
- Van Hentenryck, Pascal (1963-) 3 Treffer
- Astesiano, Egidio (1939-) 2 Treffer
- Atkinson, Malcolm P. (1943-) 2 Treffer
- Bauer, Friedrich L. (1924-2015) 2 Treffer
- Bidoit, Michel 2 Treffer
- Bjørner, Dines (1937-) 2 Treffer
- Boiten, Eerke (1966-) 2 Treffer
- Cerioli, Maura 2 Treffer
- Chen, Jian 2 Treffer
- Cortesi, Agostino 2 Treffer
- Fiadeiro, José Luiz (1961-) 2 Treffer
- Grieskamp, Wolfgang 2 Treffer
- Gutknecht, Jürg 2 Treffer
- Itō, Takayasū 2 Treffer
- Kirchner, Hélène 2 Treffer
- Liu, Zhiming (1961-) 2 Treffer
- Mycroft, Alan 2 Treffer
- Najm, Elie (1952-) 2 Treffer
- Pitt, David H. (1946-) 2 Treffer
- Priami, Corrado 2 Treffer
- Sannella, Donald 2 Treffer
- Yi, Kwangkeun 2 Treffer
- Abadi, Martín (1963-) 1 Treffer
- Abrahamsson, Pekka 1 Treffer
- Abrial, Jean-Raymond 1 Treffer
- Alblas, Henk 1 Treffer
- Andrews, Derek 1 Treffer
- Arts, Thomas 1 Treffer
- Asarin, Eugene 1 Treffer
- Backhouse, Roland 1 Treffer
- Baeten, Josephus C. M. 1 Treffer
- Bal, Henri E. 1 Treffer
- Ball, Thomas 1 Treffer
- Banâtre, Jean-Pierre (1948-) 1 Treffer
- Baresi, Luciano 1 Treffer
- Barkaoui, Kamel 1 Treffer
- Barthe, Gilles 1 Treffer
- Baumeister, Hubert 1 Treffer
- Beaumont, Antony (1949-) 1 Treffer
- Beek, Peter van 1 Treffer
275 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, 2000Konferenzschrift, Sammelwerk, 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:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Formal techniques in real time and fault tolerant systems: 5th international symposium ; proceedingsBerlin [u.a.]: Springer, 1998Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: