Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Programmierung 11 Treffer
- Datenverarbeitung 5 Treffer
- Algorithmische Geometrie 4 Treffer
- Algorithmus 3 Treffer
- Computer 3 Treffer
-
45 weitere Werte:
- Datenbank 2 Treffer
- Formale Sprache 2 Treffer
- Geschichte 2 Treffer
- Programmiersprache 2 Treffer
- Programmverifikation 2 Treffer
- Semantik 2 Treffer
- Softwareentwicklung 2 Treffer
- Strukturierte Programmierung 2 Treffer
- Synthesizer Generator 2 Treffer
- ANNA (Programmiersprache) 1 Treffer
- Ada 1 Treffer
- Adaptive Signalverarbeitung 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Algebraischer Algorithmus 1 Treffer
- Approximationstheorie 1 Treffer
- Automatentheorie 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Average-case-Komplexität 1 Treffer
- Berechenbare Funktion 1 Treffer
- Computeralgebra 1 Treffer
- Computerarithmetik 1 Treffer
- Datenstruktur 1 Treffer
- Fairness (Informatik) 1 Treffer
- Gleitkommarechnung 1 Treffer
- Informatik 1 Treffer
- Kategorientheorie 1 Treffer
- Kolmogorov-Komplexität 1 Treffer
- LARCH 1 Treffer
- Logische Programmierung 1 Treffer
- Logischer Entwurf 1 Treffer
- MODULA 2 1 Treffer
- Mathematische Logik 1 Treffer
- Methode 1 Treffer
- Objektorientierte Programmiersprache 1 Treffer
- PI-System 1 Treffer
- Potenzreihe 1 Treffer
- Prototyping 1 Treffer
- Prädikatenlogik 1 Treffer
- Prädikatenumformer 1 Treffer
- Rechenmaschine 1 Treffer
- Relationales Datenbanksystem 1 Treffer
- Rundungsfehler 1 Treffer
- Rundungsfehlerfreies Rechnen 1 Treffer
- SETL 1 Treffer
- Softwarespezifikation 1 Treffer
Sprache
Form
Person
- Arbib, Michael A. (1940-) 5 Treffer
- Gries, David 4 Treffer
- Preparata, Franco P. 4 Treffer
- Shamos, Michael Ian 4 Treffer
- Alagić, Suad 3 Treffer
-
45 weitere Werte:
- Dijkstra, Edsger W. 3 Treffer
- Kfoury, Assaf J. 3 Treffer
- Moll, Robert N. 3 Treffer
- Randell, Brian 2 Treffer
- Reps, Thomas W. (1956-) 2 Treffer
- Teitelbaum, Tim 2 Treffer
- Alexander, S. Thomas 1 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Bischofberger, Walter (1962-) 1 Treffer
- Book, Ronald V. 1 Treffer
- Feijen, Wim H. J. 1 Treffer
- Fejer, Peter A. 1 Treffer
- Fitting, Melvin (1942-) 1 Treffer
- Francez, Nissim (1944-) 1 Treffer
- Goos, Gerhard 1 Treffer
- Gregory, Robert T. (1920-) 1 Treffer
- Gries, David (1939-) 1 Treffer
- Gschwind, Hans W. 1 Treffer
- Guttag, John 1 Treffer
- Hehner, Eric C. R. 1 Treffer
- Hofri, Micha (1942-) 1 Treffer
- Kozen, Dexter (1951-) 1 Treffer
- Krishnamurthy, Edayathumangalam Venkatarama (1934-) 1 Treffer
- Li, Ming (1961-) 1 Treffer
- Luckham, David C. 1 Treffer
- MacCluskey, Edward J. 1 Treffer
- Manes, Ernest G. (1943-) 1 Treffer
- Mishra, Bhubaneswar (1958-) 1 Treffer
- Nerode, Anil (1932-) 1 Treffer
- Olderog, Ernst-Rüdiger (1955-) 1 Treffer
- Otto, Friedrich 1 Treffer
- Partsch, Helmut 1 Treffer
- Pomberger, Gustav (1949-) 1 Treffer
- Salomaa, Arto (1934-) 1 Treffer
- Sampson, Jeffrey R. 1 Treffer
- Schneider, Fred. B. 1 Treffer
- Scholten, Carel S. 1 Treffer
- Schwartz, Jacob T. (1930-2009) 1 Treffer
- Sherman, Alan T. 1 Treffer
- Shore, Richard A. (1946-) 1 Treffer
- Shrivastava, Santosh K. 1 Treffer
- Simovici, Dan A. 1 Treffer
- Soittola, Matti (1945-) 1 Treffer
- Vitányi, Paul 1 Treffer
49 Treffer
-
1st ed., [Softcover version of original hardcover edition 1993]. - New York: Springer, [2010]Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
5. corr. print.. - New York [u.a.]: Springer, [ca. 1993]Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1991Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1991-Monographie, Schriftenreihe, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
3. corr. print.. - New York [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff: