Logic in computer science: modelling and reasoning about systems 9780521656023, 0521656028

Logic in computer science: modelling and reasoning about systems [2nd ed] 052154310X, 9780521543101

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies world

393 9 3MB Read more

Modelling computer systems: mathematics of computer science 9781848003224, 9781848003217, 1848003218

We have all experienced delays and frustrations as a result of the notorious 'computer glitch.' However, the m

716 108 15MB Read more

Linear logic in computer science 9780521608572, 0521608570

437 17 2MB Read more

Fuzzy Logic Applications in Computer Science and Mathematics 9781394174539

98 3 7MB Read more

Essential Logic for Computer Science 9780262350723, 9780262039185

486 27 15MB Read more

Computer Performance Evaluation: Modelling Techniques and Tools (Lecture Notes in Computer Science, 1469) 3540649492, 9783540649496

The need to evaluate computer and communication systems performance and dependability is continuously growing as a conse

118 94 Read more

Logic And Computer Design Fundamentals

823 55 693KB Read more

Arithmetic and Logic in Computer Systems [1 ed.] 9780471469452, 0-471-46945-9

Arithmetic and Logic in Computer Systems provides a useful guide to a fundamental subject of computer science and engine

293 88 8MB Read more

Fundamental Generation Systems: Computer Science and Artificial Consciousness [4] 9781786308733

There are many different ways of generating representations. This includes representations generated by living beings wh

146 32 9MB Read more

Ethics by Committee: A History of Reasoning Together about Medicine, Science, Society, and the State 9780226819310

How liberal democracies in the late twentieth century have sought to resolve public concerns over charged issues in medi

157 81 2MB Read more