ReihenProgress in Theoretical Computer Science
12 Werke
Beliebtheit 82,348 (36 Mitglieder)
57 Bücher
0 Rezensionen
| ALGOL-Like Languages: Volume 2 von Peter W. O'Hearn 10 Exemplare | |
| ALGOL-Like Languages, Volume 1 von Peter W. O'Hearn 3 Exemplare | |
| Algorithms for Random Generation and Counting: A Markov Chain Approach von Alistair Sinclair 2 Exemplare | |
| Categorical Combinators, Sequential Algorithms and Functional Programming von P.-L. Curien 7 Exemplare | |
| The Combinatory Programme von Erwin Engeler 3 Exemplare | |
| Correctness and Completeness von Thomas Streicher 2 Exemplare | |
| Finite Automata, Formal Logic, and Circuit Complexity von Howard Straubing 13 Exemplare | |
| The graph isomorphism problem : its structural complexity von Johannes Kobler 2 Exemplare | |
| Object Oriented Programming: A Unified Foundation von Giuseppe Castagna 4 Exemplare | |
| Polynomial and Matrix Computations: Volume 1: Fundamental Algorithms von Dario Bini 1 Exemplar | |
| Solving Higher-Order Equations: From Logic to Programming von Christian Prehofer 3 Exemplare | |
| Verifying Temporal Properties of Systems von J. C. Bradfield 5 Exemplare |
Tags
Top Members
mkjones (3 Werke), morphismus (2), CMUQLResearch (2), pascalien (2), draganigajic (2), prengel90 (1), aabdelrahmanm (1), meelib (1), camilaimbire (1), M.Bird (1), DeptInformatique (1), jimburton (1), Meromorphic (1), hisandhers (1), jjmiller50 (1), achilles_cat (1), elizabethleewilmer (1), BrianTRice (1), synthespian (1), JasonRiedy (1), masukomi (1), fmc (1), JayDugger (1)