Suche verfeinern
- Teilbibliothek
-
Dokumenttyp
- Buch (1)
-
Fach
- Informatik (1)
- Philosophie, Ethik (1)
-
Schlagwort
- Algorithmentheorie (1)
- Algorithmische Progr… (1)
- Algorithmische Progr… (1)
- Algorithmus (1)
- Berechenbarkeit (1)
- Beweis (1)
- Datenverarbeitung (1)
- Effizienter Algorithmus (1)
- Informatik (1)
- Komplexitätstheorie (1)
- Korrektheit (1)
- Programmiersprache (1)
- Programmierung (1)
- Programmverifikation (1)
- Softwareentwicklung (1)
-
Sprache
- Englisch (1)
-
Verfasser
- Harel, David (1)
Volltextzugriff auf E-Medien
Authentifizierung: erforderlich
TUM-Mitarbeiter und Studierende:
Externe Kundinnen und Kunden:
Lesesaal-PCs nutzen
Ihre IP-Adresse: 18.117.100.202
Werkzeugkasten
- Fachliche Suche mit der TUM-Systematik
- Standorte ermitteln mit der Standortliste
- OPAC-FAQ
Nicht das Richtige gefunden?
chat loading...