Springer (9780792361497) | Temporal Logic, Applied Logic Series, Advances in Temporal, Verification of computer, Disciplines of computer, Temporal systems, User interaction, Tools for verification & Interaction of Temporal reasoning
Elsevier (9780124051638)
Springer (9781402007637)
Addison-Wesley Educational Publishers Inc (9780134397603) - Height: 163 mm - Spine width: 23 mm - Width: 242 mm - Addison-Wesley - viii, 310 - Pearson Education - ISBN: 9780134397603 - Languages: English
Addison-Wesley Professional (9780201896855) | Art of Computer Programming, Sorting and Searching
NYU Press (9781479849949)
Portfolio Penguin (9780241422144) - Height: 226 mm - Spine width: 24 mm - Width: 144 mm - Portfolio Penguin - Penguin Books Ltd - ISBN: 9780241422144 - Number of pages: 224 - Languages: English - Weight: 360 g
Packt Publishing Limited (9781785880902)
Packt Publishing Limited (9781849698467)
Birkhäuser Boston (9780817647285) - Numerical analysis - Birkhauser Boston Inc - ISBN: 9780817647285 - Pages: 132 pages | Analysis of algorithms
Springer International Publishing AG (9783319054728) | Quantum physics
Cambridge University Press (9781107683167) | Arabian Umm
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540571001) | Analyzes a wide
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642152597) | Implement these abstractions
(9781316624791 / 45328444) | Algorithmic game theory
Cambridge University Press (9780521585194 / 10229827)
Brand: Springer (9783540306979 / 62 black & white illustrations, biograph)
(9780898591699) | Reading and Reading
Chris Eagle (9781593272890) | IDA Pro Book, IDA Pro, Pro Book
(9781484202722) | Intelligence projects
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642423277 / biography) | Implement these abstractions
(9781565924536 / 9781565924536) - Programming & scripting languages: general - ISBN: 9781565924536 - Pages: 560 pages
(9780387948072 / Illustrated) | Fuzzy logic
Brand: Center for the Study of Language and Inf (9781575860183 / unknown) | Defending AI
