Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 64 Treffer
- Logische Programmierung 59 Treffer
- Theoretische Informatik 53 Treffer
- Programmierung 51 Treffer
- Model Checking 44 Treffer
-
45 weitere Werte:
- Formale Methode 43 Treffer
- Programmiersprache 33 Treffer
- Programmverifikation 31 Treffer
- Nebenläufigkeit 28 Treffer
- Programmanalyse 27 Treffer
- Programmtransformation 23 Treffer
- Systementwicklung 23 Treffer
- Automatisches Beweisverfahren 20 Treffer
- Verifikation 20 Treffer
- Informatik 17 Treffer
- Typentheorie 17 Treffer
- Formale Spezifikationstechnik 15 Treffer
- Algebraische Spezifikation 14 Treffer
- Formale Sprache 14 Treffer
- Logik 14 Treffer
- Reduktionssystem 14 Treffer
- Software 14 Treffer
- Software Engineering 14 Treffer
- Beweistheorie 13 Treffer
- Mehragentensystem 13 Treffer
- Softwarespezifikation 13 Treffer
- Statische Analyse 13 Treffer
- Computational logic 11 Treffer
- HOL 10 Treffer
- Programmsynthese 10 Treffer
- Echtzeitsystem 9 Treffer
- Komponente (Software) 9 Treffer
- Programmierparadigma 9 Treffer
- Agent (Informatik) 8 Treffer
- Funktionale Programmierung 8 Treffer
- Implementierung (Informatik) 8 Treffer
- Mathematische Logik 8 Treffer
- Programmierlogik 8 Treffer
- Temporale Logik 8 Treffer
- Verteiltes System 8 Treffer
- Automat 7 Treffer
- Constraint-Erfüllung 7 Treffer
- Extreme programming 7 Treffer
- Fehlertoleranz 7 Treffer
- Hybrides System 7 Treffer
- Semantik 7 Treffer
- Testen 7 Treffer
- UML 7 Treffer
- Algebraische Methode 6 Treffer
- Automatentheorie 6 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 6 Treffer
- Bert, Didier 4 Treffer
- Apt, Krzysztof R. (1949-) 3 Treffer
- Baeten, Josephus C. M. 3 Treffer
- Bakker, Jacobus Willem de 3 Treffer
-
45 weitere Werte:
- Bjørner, Dines (1937-) 3 Treffer
- Boer, Frank S. de 3 Treffer
- Brinksma, Ed 3 Treffer
- Börger, Egon 3 Treffer
- Cousot, Radhia 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Gottlob, Georg 3 Treffer
- Hermenegildo, Manuel 3 Treffer
- Ibarra, Oscar H. 3 Treffer
- Larsen, Kim G. 3 Treffer
- Möller, Bernhard 3 Treffer
- Nielsen, Mogens 3 Treffer
- Aagaard, Mark 2 Treffer
- Abadi, Martín (1963-) 2 Treffer
- Abramsky, Samson (1953-) 2 Treffer
- Alur, Rajeev 2 Treffer
- Baier, Christel 2 Treffer
- Berardi, Stefano 2 Treffer
- Brim, Lubǒs 2 Treffer
- Brookes, Stephen D. 2 Treffer
- Bruynooghe, Maurice 2 Treffer
- Champarnaud, Jean-Marc 2 Treffer
- Corradini, Andrea 2 Treffer
- Cortesi, Agostino 2 Treffer
- Cousot, Patrick 2 Treffer
- Deransart, Pierre 2 Treffer
- Etalle, Sandro 2 Treffer
- Fiadeiro, José Luiz (1961-) 2 Treffer
- Fribourg, Laurent 2 Treffer
- Graf, Susanne 2 Treffer
- Grieskamp, Wolfgang 2 Treffer
- Guelfi, Nicolas 2 Treffer
- Hankin, Chris 2 Treffer
- Hanus, Michael 2 Treffer
- Hermanns, Holger (1967-) 2 Treffer
- Hinchey, Michael G. 2 Treffer
- Huet, Gérard 2 Treffer
- Kirchner, Hélène 2 Treffer
- Kuchen, Herbert 2 Treffer
- Lau, Kung-Kiu 2 Treffer
- Levi, Giorgio (1942-) 2 Treffer
- Margaria, Tiziana 2 Treffer
- Middeldorp, Aart (1963-) 2 Treffer
- Montanari, Ugo (1943-) 2 Treffer
- Müller, Jörg P. 2 Treffer
435 Treffer
-
Berlin [u.a.]: Springer, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Generative and component based software engineering: second international symposium ; revised papersBerlin [u.a.]: Springer, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2006Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff: