الكتب الالكترونية

عدد الكتب: 12/1306
978-1-4302-0145-8
.NET 2.0 Interoperability Recipes

.NET represents a new and improved way of developing software for the Windows platform. Given the chance, you'd probably ...

اقرأ المزيد
978-1-4302-0174-8
.NET 2.0 for Delphi Programmers

.NET 2.0 for Delphi Programmers explores .NET from a Delphi programmers viewpoint, and it is ideal for Delphi programmers ...

اقرأ المزيد
978-3-540-69850-0
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

اقرأ المزيد
978-1-84800-084-1
A Brief History of Computing

This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...

اقرأ المزيد
978-0-387-33367-0
A Companion to Astronomy and Astrophysics

Astronomy and Astrophysics is a comprehensive, fundamental, up-to-date reference book. It is filled with vital information ...

اقرأ المزيد
978-3-540-35477-2
A Computational Model of Natural Language Communication

Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in ...

اقرأ المزيد
978-1-84800-121-3
A Concise Introduction to Languages and Machines

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...

اقرأ المزيد
978-0-387-29930-3
A First Course in Differential Equations

This text is designed for the standard post-calculus course in elementary differential equations. It is a brief, one-semester ...

اقرأ المزيد
978-0-387-29930-3
A First Course in Differential Equations

This text is designed for the standard post-calculus course in elementary differential equations. It is a brief, one-semester ...

اقرأ المزيد
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

اقرأ المزيد
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

اقرأ المزيد
978-3-540-33783-6
A History of Chinese Mathematics

It includes many new recent insights and illustrations, a new appendix on Chinese primary sources and a guide to the to the ...

اقرأ المزيد
عدد الكتب: 12/1306