3., aktualisierte Aufl, [2015]
Signatur: TVA3213(3)
2., überarb. Aufl, 2001
Signatur: TVA3035(2)
1. [Dr.], 1987
Signatur: TVA2102
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Balzert, Helmut
- Bauer, Friedrich L
- Schöning, Uwe
- Goos, Gerhard
- Symposium on Foundations of Computer Science
- Wegener, Ingo
- Hoffmann, Dirk W
- Leeuwen, Jan <<van>>
- Sipser, Michael
- Symposium on Theory of Computing
- Weinhart, Karl
- Wunsch, Gerhard
- Dewdney, Alexander K
- Erk, Katrin
- Heise, Werner
- MacKay, David J. C
- Priese, Lutz
- Quattrocchi, Pasquale
- Richter, Reinhard
- Sander, Peter
Erscheinungsform
Schlagwort
- Theoretische Informatik
- Informatik
- Formale Sprache
- Berechnungstheorie
- Automatentheorie
- Algorithmus
- Kryptologie
- Komplexitätstheorie
- Programmierung
- Datenverarbeitung
- Informationstheorie
- Mathematik
- Berechenbarkeit
- Berechnungskomplexität
- Künstliche Intelligenz
- Programmverifikation
- Zahlentheorie
- Codierungstheorie
- Computational complexity
- Computer
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts