|
|
|
Automata Theory (28) |
Automated Deduction (3) |
Bioinformatics (32) |
Case-Based Reasoning (4) |
Computer Organization (61) |
Computing History (6) |
Human Computer Interaction (85) |
Mathematics (89) |
Programming Language Concept (57) |
Signal Processing (6) |
Ubiquitous Computing (11) |
25 Years of Model Checking: History, Achievements, PerspectivesEdition: 1 editionAuthor: Orna Grumberg (Editor), Helmut Veith (Editor) Publisher: Springer Book Pages: 231 Book Language: English Book ISBN-10 Number: 3540698493 Book ISBN-13 Number 978-3540698494 For More Details and Free Ebook Download Click Here |
|
A Comparative Study of Very Large Data BasesEdition: 1 editionAuthor: E. Jr. Hill (Author) Publisher: Springer Book Pages: 140 Book Language: English Book ISBN-10 Number: 3540086536 Book ISBN-13 Number 978-3540086536 For More Details and Free Ebook Download Click Here |
|
A Compositional Approach to Performance ModellingAuthor: Jane Hillston (Author)Publisher: Cambridge University Press Book Pages: 170 Book Language: English Book ISBN-10 Number: 0521571898 Book ISBN-13 Number 978-0521571890 For More Details and Free Ebook Download Click Here |
|
A Concise Introduction to Data CompressionEdition: 1st Edition. editionAuthor: David Salomon (Author) Publisher: Springer Book Pages: 314 Book Language: English Book ISBN-10 Number: 1848000715 Book ISBN-13 Number 978-1848000711 For More Details and Free Ebook Download Click Here |
|
A Concise Introduction to Languages and MachinesEdition: 1st Edition. editionAuthor: Alan P. Parkes (Author) Publisher: Springer Book Pages: 346 Book Language: English Book ISBN-10 Number: 1848001207 Book ISBN-13 Number 978-1848001206 For More Details and Free Ebook Download Click Here |
|
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and ComplexityEdition: usaAuthor: Shawn Hedman (Author) Publisher: Oxford University Press Book Pages: 452 Book Language: English Book ISBN-10 Number: 0198529813 Book ISBN-13 Number 978-0198529811 For More Details and Free Ebook Download Click Here |
|
A Generative Theory of ShapeEdition: 1 editionAuthor: Michael Leyton (Author) Publisher: Springer Book Pages: 554 Book Language: English Book ISBN-10 Number: 3540427171 Book ISBN-13 Number 978-3540427179 For More Details and Free Ebook Download Click Here |
|
A Practical Introduction to Computer ArchitectureEdition: 1 editionAuthor: Daniel Page (Author) Publisher: Springer Book Pages: 642 Book Language: English Book ISBN-10 Number: 1848822553 Book ISBN-13 Number 978-1848822559 For More Details and Free Ebook Download Click Here |
|
A Practical Introduction to Denotational SemanticsAuthor: L. Allison (Author)Publisher: Cambridge University Press Book Pages: 144 Book Language: English Book ISBN-10 Number: 0521306892 Book ISBN-13 Number 978-0521306898 For More Details and Free Ebook Download Click Here |
|
A Recursive Introduction to the Theory of ComputationEdition: 1 editionAuthor: Carl Smith (Author) Publisher: Springer Book Pages: 148 Book Language: English Book ISBN-10 Number: 0387943323 Book ISBN-13 Number 978-0387943329 For More Details and Free Ebook Download Click Here |