Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Programmierung 13 Treffer
- Algorithmus 7 Treffer
- Datenverarbeitung 7 Treffer
- Algorithmische Geometrie 5 Treffer
- Formale Sprache 5 Treffer
-
45 weitere Werte:
- Informatik 5 Treffer
- Berechnungskomplexität 4 Treffer
- Computers 4 Treffer
- Nebenläufigkeit 4 Treffer
- Algebraische Spezifikation 3 Treffer
- Automatentheorie 3 Treffer
- Computer 3 Treffer
- Computer science 3 Treffer
- Komplexitätstheorie 3 Treffer
- Mengenlehre 3 Treffer
- Programmiersprache 3 Treffer
- Semantik 3 Treffer
- Softwareentwicklung 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Berechenbare Funktion 2 Treffer
- Berechenbarkeit 2 Treffer
- Datenbank 2 Treffer
- Datenstruktur 2 Treffer
- Geschichte 2 Treffer
- Kolmogorov-Komplexität 2 Treffer
- Kombinatorische Geometrie 2 Treffer
- Logischer Entwurf 2 Treffer
- Maschinelles Sehen 2 Treffer
- Mathematik 2 Treffer
- Methode 2 Treffer
- Programmverifikation 2 Treffer
- Prädikatenlogik 2 Treffer
- Software engineering 2 Treffer
- Standard ML 2 Treffer
- Strukturierte Programmierung 2 Treffer
- Stufe 1 2 Treffer
- Synthesizer Generator 2 Treffer
- ANNA (Programmiersprache) 1 Treffer
- Abstrakter Datentyp 1 Treffer
- Ada 1 Treffer
- Adaptive Signalverarbeitung 1 Treffer
- Algebraische Struktur 1 Treffer
- Algebraischer Algorithmus 1 Treffer
- Approximationstheorie 1 Treffer
- Asynchrones Schaltwerk 1 Treffer
- Automat 1 Treffer
- Automatennetz 1 Treffer
- Average-case-Komplexität 1 Treffer
- Compiler-Compiler 1 Treffer
- Computer engineering 1 Treffer
Sprache
Form
Person
- Arbib, Michael A. (1940-) 5 Treffer
- Gries, David 4 Treffer
- Mehlhorn, Kurt (1949-) 4 Treffer
- Preparata, Franco P. 4 Treffer
- Shamos, Michael Ian 4 Treffer
-
45 weitere Werte:
- Alagić, Suad 3 Treffer
- Balcázar, José Luis 3 Treffer
- Cantone, Domenico 3 Treffer
- Dijkstra, Edsger W. 3 Treffer
- Díaz, Josep (1950-) 3 Treffer
- Ehrig, Hartmut (1944-2016) 3 Treffer
- Gabarró, Joaquim 3 Treffer
- Kfoury, Assaf J. 3 Treffer
- Mahr, Bernd (1945-2015) 3 Treffer
- Moll, Robert N. 3 Treffer
- Omodeo, Eugenio 3 Treffer
- Salomaa, Arto (1934-) 3 Treffer
- Sippu, Seppo 3 Treffer
- Soisalon-Soininen, Eljas 3 Treffer
- Ferro, Alfredo (1951-) 2 Treffer
- Randell, Brian 2 Treffer
- Reps, Thomas W. (1956-) 2 Treffer
- Teitelbaum, Tim 2 Treffer
- Abadi, Martín (1963-) 1 Treffer
- Alexander, S. Thomas 1 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Bauer, Friedrich L. (1924-2015) 1 Treffer
- Benosman, Ryad 1 Treffer
- Berstel, Jean (1941-) 1 Treffer
- Best, Eike 1 Treffer
- Bilò, Vittorio 1 Treffer
- Bischofberger, Walter (1962-) 1 Treffer
- Bjørner, Dines 1 Treffer
- Bloom, Stephen L. 1 Treffer
- Book, Ronald V. 1 Treffer
- Brzozowski, Janusz A. (1935-) 1 Treffer
- Calude, Cristian (1952-) 1 Treffer
- Cardelli, Luca 1 Treffer
- Colbourn, Charles J. (1953-) 1 Treffer
- Dassow, Jürgen 1 Treffer
- Demri, Stéphane P. 1 Treffer
- Downey, R. G. (1957-) 1 Treffer
- Edelsbrunner, Herbert (1958-) 1 Treffer
- Efron, Bradley (1938-) 1 Treffer
- Feijen, Wim H. J. 1 Treffer
- Fejer, Peter A. 1 Treffer
- Fellows, Michael R. 1 Treffer
- Fernández, César 1 Treffer
- Fitting, Melvin (1942-) 1 Treffer
- Francez, Nissim (1944-) 1 Treffer
114 Treffer
-
1st ed. 2023. - Cham: Springer International Publishing, Imprint: Springer, 2023Online Monographie, Elektronische Ressource
-
1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021Online Monographie, Elektronische Ressource
-
2nd ed. 2020. - Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2020Online Monographie, Elektronische Ressource
-
Tokyo: Springer Japan, Imprint: Springer, 2017Online Monographie, Elektronische Ressource
-
Cham: Springer International Publishing, Imprint: Springer, 2017Online Monographie, Elektronische Ressource
-
New York, NY: Cambridge University Press, 2016Monographie, Gedruckte RessourceZugriff:
-
1st ed., [Softcover version of original hardcover edition 1993]. - New York: Springer, [2010]Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - New York, NY: Springer, 2008Monographie, Einführung, Bibliografie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2002Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2001Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2001Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1999Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1997Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1995Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1995Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff: