Book123

Programming Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Dines Bjorner, "Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)"Publisher: Springer | ISBN: 3540211500 | 780 pages | PDF | ~ 30 MBsee also : Software Engineering 1: Ab ...

Technical Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Publisher: Springer; 1 editionLanguage: EnglishISBN: 3540311874Paperback: 388 pagesData: March 14, 2006Format: PDFDescription: Graphs are widely used to represent structural information in the form of objects and connections between them. G ...

Science/Engineering Handbook of Weighted Automata (Monographs in Theoretical Computer Science. An EATCS Series)

Science/Engineering Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Please send me Computability, Complexity, and Languages: Fundamentals of Theoretical Computer ScienceBy Martin Davis, Ron Sigal, Elaine J. Weyuker ASAP and anything helpfull for solving the problems included in this book (ideally, solutio ...

IT Certification Time-Dependent Scheduling (Monographs in Theoretical Computer Science. An EATCS Series)

Time-Dependent Scheduling (Monographs in Theoretical Computer Science. An EATCS Series)Springer | ISSN: 3540694455 | Edition - 2008 | PDF | 380 Pages | 4,6 Mb Time-dependent scheduling involves problems in which the processing times of jobs ...

Physics and Theoretical Computer Science: From Numbers and Languages to (Quantum) Cryptography

Physics and Theoretical Computer Science: From Numbers and Languages to (Quantum) Cryptography Publisher: IOS Press | ISBN: 1586037064 | edition 2007 | PDF | 348 pages | 33,98 mbThe goal of this publication is to reinforce the interface be ...