May 04 2015 Added eBooks

This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory. This opens the way to the formal verification of synthesizable hardware for multi-core processors in the future.Constructions are in a gate level hardware model and thus deterministic. In contrast the reference models against which correctness is shown are nondeterministic. The development of...

This book is an introduction to Prolog (rQgramming in ~ic). It presents the basic foundations of Prolog and basic and fundamental programming methods. This book is written for programmers familiar with other programming languages, as well as for novices in computer science, willing to have an original introduction to programming. The approach adopted in this book is thus based on methodological elements together with some pragmatic aspects. The book is composed of two parts. In the fIrst part the major aspects of programming in Prolog are presented step by step. Each new aspect is illustrated by short examples and exercises. The second part is composed of more developed examples, which are often games, that illustrate major aspects of artifIcial inte...

Finally, a great training and reference book for Visual C++ by Dr. Prentiss Knowlton, an instructor of C++ since its inception. This book helps you master C++ 2008 quickly and easily by using all the time- and work-saving features of Visual Studio. That's true whether you're a: Java developer who wants to learn Visual C++C# or Visual Basic developer who wants to master another .NET languageC++ developer who wants to move into .NETnew programmer starting from scratchMurach's C++ 2008 will show you how to:create bulletproof applications like a professionaldevelop object-oriented applications using business classes, inheritance, polymorphism, interfaces, and genericscompile, run, and enhance legacy C and native C++ code on the .NET platformlearn more ab...