Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Softwareentwicklung 8 Treffer
- Formale Methode 5 Treffer
- Logische Programmierung 5 Treffer
- Algebraische Spezifikation 3 Treffer
- Petri-Netz 3 Treffer
-
45 weitere Werte:
- Theoretische Informatik 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Berechnungstheorie 2 Treffer
- Eingebettetes System 2 Treffer
- Hardwareentwurf 2 Treffer
- Korrektheit 2 Treffer
- Mathematische Logik 2 Treffer
- Model Checking 2 Treffer
- Programm 2 Treffer
- Programmiersprache 2 Treffer
- Programmtransformation 2 Treffer
- Verifikation 2 Treffer
- Abfrageverarbeitung 1 Treffer
- Anwendungsbereich 1 Treffer
- Baumautomat 1 Treffer
- Bekič, Hans (1936-1982) 1 Treffer
- Berechnungskomplexität 1 Treffer
- Bewachte Logik 1 Treffer
- Büchi-Automat 1 Treffer
- Compiler 1 Treffer
- Computational logic 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Datenbanksystem 1 Treffer
- Datenintegration 1 Treffer
- Datenverarbeitung 1 Treffer
- Deduktionssystem 1 Treffer
- Definition 1 Treffer
- Endlicher Automat 1 Treffer
- Entscheidbarkeit 1 Treffer
- Formale Beschreibung 1 Treffer
- Formale Grammatik 1 Treffer
- Formale Semantik 1 Treffer
- Formale Spezifikationstechnik 1 Treffer
- Generische Programmierung 1 Treffer
- Gleichungstheorie 1 Treffer
- Graphersetzungssystem 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Hardwareverifikation 1 Treffer
- Information Extraction 1 Treffer
- Informationsverarbeitung 1 Treffer
- Inkonsistenz 1 Treffer
- Intensionale Logik 1 Treffer
- Java (Programmiersprache) 1 Treffer
- Komponente (Software) 1 Treffer
- Konsistenz (Informatik) 1 Treffer
Sprache
Form
Person
- Broy, Manfred (1949-) 3 Treffer
- Ehrig, Hartmut 2 Treffer
- Jones, Neil D. (1941-) 2 Treffer
- Alves-Foss, Jim (1964-) 1 Treffer
- Astesiano, Egidio (1939-) 1 Treffer
-
30 weitere Werte:
- Atkinson, Colin 1 Treffer
- Baccelli, François 1 Treffer
- Backhouse, Roland 1 Treffer
- Bekič, Hans (1936-1982) 1 Treffer
- Bertossi, Leopoldo 1 Treffer
- Bolc, Leonard 1 Treffer
- Bruynooghe, Maurice 1 Treffer
- Colburn, Timothy R. (1952-) 1 Treffer
- Dahl, Ole-Johan (1931-2002) 1 Treffer
- Dengel, Andreas 1 Treffer
- Desel, Jörg (1959-) 1 Treffer
- Dignum, Frank 1 Treffer
- Ehrig, Hartmut (1944-2016) 1 Treffer
- Fariñas del Cerro, Luis 1 Treffer
- Grädel, Erich (1958-) 1 Treffer
- Hutter, Dieter 1 Treffer
- Jones, Cliff B. (1944-) 1 Treffer
- Kreowski, Hans-Jörg 1 Treffer
- Lassez, Jean-Louis 1 Treffer
- Mogensen, Torben Æ (1960-) 1 Treffer
- Möller, Bernhard 1 Treffer
- Odifreddi, Piergiorgio (1950-) 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Owe, Olaf (1951-) 1 Treffer
- Pande, Santosh 1 Treffer
- Robinson, John A. (1930-2016) 1 Treffer
- Saint-Dizier, Patrick (1954-) 1 Treffer
- Siekmann, Jörg 1 Treffer
- Stepney, Susan (1958-) 1 Treffer
- Takasu, Satoru (1931-) 1 Treffer
33 Treffer
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
The essence of computation: complexity, analysis, transformation ; essays dedicated to Neil D. JonesBerlin [u.a.]: Springer, 2002Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Heidelberg: Spektrum, Akad. Verl, 2012Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1991Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2003Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1999Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
-
London [u.a.]: Springer, 1992Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2004Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2005Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Aufsatzsammlung, Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: