Search results
Catalogue
Search mask
Limit or broaden search results
Access
Media Type
Source Type
Language
Subject
Subject Heading
- Formale Sprache 22 Results
- Automatentheorie 20 Results
- Programmierung 11 Results
- Berechenbarkeit 10 Results
- Softwareentwicklung 9 Results
-
45 additional values:
- Algorithmus 8 Results
- Approximationsalgorithmus 7 Results
- Berechnungskomplexität 7 Results
- Komplexitätstheorie 7 Results
- Berechnungstheorie 6 Results
- Programmiersprache 5 Results
- Theoretische Informatik 5 Results
- Formale Methode 4 Results
- Genetische Programmierung 4 Results
- Mathematische Logik 4 Results
- Programmverifikation 4 Results
- Randomisierter Algorithmus 4 Results
- Computer programming 3 Results
- Genetischer Algorithmus 3 Results
- Heuristik 3 Results
- Informatik 3 Results
- Kombinatorische Optimierung 3 Results
- Model Checking 3 Results
- NP-hartes Problem 3 Results
- Typentheorie 3 Results
- Verifikation 3 Results
- Algorithmentheorie 2 Results
- Automat (Automatentheorie) 2 Results
- Codegenerierung 2 Results
- Computer algorithms 2 Results
- Datenstruktur 2 Results
- Evolutionärer Algorithmus 2 Results
- Funktionale Programmierung 2 Results
- Geschichte 2 Results
- Optimierung 2 Results
- Programm 2 Results
- Programmanalyse 2 Results
- Prädikatenlogik 2 Results
- Soft Computing 2 Results
- Softwarespezifikation 2 Results
- Sprache 2 Results
- Syntaktische Analyse 2 Results
- Unifikationstheorie 2 Results
- API 1 Result
- Algebra 1 Result
- Algebraische Methode 1 Result
- Algebraische Spezifikation 1 Result
- Algebraische Struktur 1 Result
- Algorithmische Programmiersprache 1 Result
- Algorithmische Programmierung 1 Result
132 Results
-
[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. ed.. - Reading, Mass. [u.a.]: Addison-Wesley, 2011Monograph, Part of a work, 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., aktualisierte Aufl.. - München [u.a.]: Pearson Studium, 2011Monograph, Text book, Printed ResourceAccess:
-
2. ed.. - Heidelberg [u.a.]: Springer, 2011Monograph, Printed ResourceAccess: