Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Formale Spezifikationstechnik 3 Treffer
- Logische Programmierung 3 Treffer
- Parallelverarbeitung 3 Treffer
- Programmierung 3 Treffer
- Algorithmische Programmierung 2 Treffer
-
45 weitere Werte:
- Berechnungskomplexität 2 Treffer
- Beweis 2 Treffer
- Echtzeitsystem 2 Treffer
- Funktional-logische Programmiersprache 2 Treffer
- Funktionale Programmierung 2 Treffer
- Halbordnung 2 Treffer
- Korrektheit 2 Treffer
- Programm 2 Treffer
- Prozessalgebra 2 Treffer
- Verifikation 2 Treffer
- Verteiltes System 2 Treffer
- Übersetzerbau 2 Treffer
- Attributierte Grammatik 1 Treffer
- Ausnahmebehandlung 1 Treffer
- Automatische Handlungsplanung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Autonomer Roboter 1 Treffer
- Conclog 1 Treffer
- Datenstruktur 1 Treffer
- Dialogverarbeitung 1 Treffer
- Echtzeitverarbeitung 1 Treffer
- Fehlererkennung 1 Treffer
- Fehlerverhütung 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- Funktionale Semantik 1 Treffer
- Grafische Darstellung 1 Treffer
- Graphische Benutzeroberfläche 1 Treffer
- Hardwarebeschreibungssprache 1 Treffer
- Hardwareentwurf 1 Treffer
- Hardwareverifikation 1 Treffer
- Hybrides System 1 Treffer
- Implementierung (Informatik) 1 Treffer
- Kellerautomat 1 Treffer
- Konstruktive Logik 1 Treffer
- Kontextfreie Grammatik 1 Treffer
- Leistungsbewertung 1 Treffer
- Logiksynthese 1 Treffer
- Logischer Entwurf 1 Treffer
- Markov-Kette 1 Treffer
- Mathematik 1 Treffer
- Modallogik 1 Treffer
- Model Checking 1 Treffer
- NP-vollständiges Problem 1 Treffer
- Nebenläufigkeit 1 Treffer
Sprache
Form
Person
- Abelson, Harold 1 Treffer
- Beckstein, Clemens (1960-) 1 Treffer
- Beetz, Michael 1 Treffer
- Best, Eike 1 Treffer
- Burghardt, Jochen 1 Treffer
-
32 weitere Werte:
- Burkart, Olaf (1964-) 1 Treffer
- Conery, John S. 1 Treffer
- Fakher, Shahriar (1969-) 1 Treffer
- Feder, Christiane 1 Treffer
- Friesen, Viktor 1 Treffer
- Gabriel, Robert 1 Treffer
- Gasteren, Antonetta J. M. van (1952-) 1 Treffer
- Godefroid, Patrice 1 Treffer
- Gordon, Andrew D. (1964-) 1 Treffer
- Heisel, Maritta 1 Treffer
- Hermanns, Holger (1967-) 1 Treffer
- Hooman, Jozef J. M. 1 Treffer
- Jacquet, Jean-Marie 1 Treffer
- Klein, Eduard 1 Treffer
- Koymans, Ron 1 Treffer
- Lock, Hendrik C. R. 1 Treffer
- Loogen, Rita 1 Treffer
- Malachi, Jonathan 1 Treffer
- Milijić, Vesna (09.08.1976) 1 Treffer
- Mulkers, Anne 1 Treffer
- Royer, James S. 1 Treffer
- Rüthing, Oliver 1 Treffer
- Sharp, Richard 1 Treffer
- Snepscheut, Jan L. A. van de (1953-) 1 Treffer
- Sodan, Angela 1 Treffer
- Steen, Gert J. van der 1 Treffer
- Streicher, Thomas 1 Treffer
- Sussman, Gerald Jay (1947-) 1 Treffer
- Sussman, Julie 1 Treffer
- Trescher, Joachim 1 Treffer
- Van Melkebeek, Dieter 1 Treffer
- Zhang, Guo-Qiang (1960-) 1 Treffer
35 Treffer
-
Berlin [u.a.]: Springer, 1997Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1994Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2000Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1988Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1995Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1997Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Wiesbaden: Dt. Univ.-Verl, 1992Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1998Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1996Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
1. Auflage. - München: Dr. Hut, 2012Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
3., überarb. Aufl.. - Berlin [u.a.]: Springer, 1998Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer, 1987Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1991Monographie, Hochschulschrift, Gedruckte RessourceZugriff: