Search results
Catalogue
Search mask
Limit or broaden search results
Access
Media Type
Source Type
Language
Subject
Subject Heading
- Formale Sprache 22 Hits
- Automatentheorie 21 Hits
- Programmierung 11 Hits
- Berechenbarkeit 10 Hits
- Softwareentwicklung 9 Hits
-
45 additional values:
- Algorithmus 8 Hits
- Approximationsalgorithmus 7 Hits
- Berechnungskomplexität 7 Hits
- Komplexitätstheorie 7 Hits
- Berechnungstheorie 6 Hits
- Programmiersprache 5 Hits
- Theoretische Informatik 5 Hits
- Formale Methode 4 Hits
- Genetische Programmierung 4 Hits
- Mathematische Logik 4 Hits
- Programmverifikation 4 Hits
- Randomisierter Algorithmus 4 Hits
- Computer programming 3 Hits
- Genetischer Algorithmus 3 Hits
- Heuristik 3 Hits
- Informatik 3 Hits
- Kombinatorische Optimierung 3 Hits
- Model Checking 3 Hits
- NP-hartes Problem 3 Hits
- Typentheorie 3 Hits
- Verifikation 3 Hits
- Algorithmentheorie 2 Hits
- Automat (Automatentheorie) 2 Hits
- Codegenerierung 2 Hits
- Computer algorithms 2 Hits
- Datenstruktur 2 Hits
- Evolutionärer Algorithmus 2 Hits
- Funktionale Programmierung 2 Hits
- Geschichte 2 Hits
- Optimierung 2 Hits
- Programm 2 Hits
- Programmanalyse 2 Hits
- Prädikatenlogik 2 Hits
- Soft Computing 2 Hits
- Softwarespezifikation 2 Hits
- Sprache 2 Hits
- Syntaktische Analyse 2 Hits
- Unifikationstheorie 2 Hits
- API 1 Hit
- Algebra 1 Hit
- Algebraische Methode 1 Hit
- Algebraische Spezifikation 1 Hit
- Algebraische Struktur 1 Hit
- Algorithmische Programmiersprache 1 Hit
- Algorithmische Programmierung 1 Hit
133 Hits
-
[2023]Monograph, Part of a work, Printed ResourceAccess:
-
First edition. - [New York, NY]: acm, Association for Computing Machinery, [2021]Edited collection, Printed ResourceAccess:
-
Cambridge, Massachusetts ; London, England: The MIT Press, [2021]Article collection, Edited collection, Printed ResourceAccess:
-
Third edition. - Reading, Mass. [u.a.]: Addison-Wesley, 1997Monograph, Part of a work, Printed ResourceAccess:
-
[2020]Monograph, Part of a work, Printed ResourceAccess:
-
Wiley, 2020Monograph, Printed ResourceAccess:
-
First edition. - Beijing ; Boston ; Farnham ; Sebastopol ; Tokyo: O'Reilly, July 2019Monograph, Printed ResourceAccess:
-
Amsterdam ; Heidelberg: Elsevier, Morgan Kaufmann, [2016]Monograph, Printed ResourceAccess:
-
Dallas, Tex. [u.a.]: The Pragmatic Bookshelf, 2015Monograph, Printed ResourceAccess:
-
Third edition. - Boston, MA: Cengage Learning, [2013]Monograph, Introduction, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2012Edited collection, Printed ResourceAccess:
-
Berlin [u.a.]: Springer, 2012Monograph, Printed ResourceAccess:
-
3., aktualisierte Aufl.. - München [u.a.]: Pearson Studium, 2011Monograph, Text book, Printed ResourceAccess:
-
2. ed.. - Heidelberg [u.a.]: Springer, 2011Monograph, Printed ResourceAccess:
-
New York, NY: Cambridge Univ. Press, 2011Monograph, Printed ResourceAccess:
-
3. ed., 28. print.. - Reading, Mass. [u.a.]: Addison-Wesley, 2011Monograph, Part of a work, Printed ResourceAccess:
-
2. ed.. - Reading, Mass. [u.a.]: Addison-Wesley, 2011Monograph, Part of a work, Printed ResourceAccess:
-
2. print.. - Reading, Mass. [u.a.]: Addison-Wesley, 2011Monograph, Part of a work, Printed ResourceAccess:
-
Greenwich, Conn. [u.a.]: Manning, 2011Monograph, Printed ResourceAccess:
-
3. ed.. - Reading, Mass. [u.a.]: Addison-Wesley, 2011Monograph, Part of a work, Printed ResourceAccess: