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

عدد الكتب: 1 - 20 /764
978-1-4302-0163-2
.NET Test Automation Recipes

If you develop, test, or manage .NET software, you will find .NET Test Automation Recipes: A Problem-Solution Approach very ...

اقرأ المزيد
978-3-540-31055-6
3-D Structural Geology

This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; ...

اقرأ المزيد
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-34241-2
A Concise Introduction to Mathematical Logic

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

اقرأ المزيد
978-0-387-34241-2
A Concise Introduction to Mathematical Logic

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

اقرأ المزيد
978-1-84800-060-5
A Distributed Coordination Approach to Reconfigurable Process Control

A Distributed Coordination Approach to Reconfigurable Process Control presents research that addresses this critical question, ...

اقرأ المزيد
9781337556644
A First Course in Differential Equations with Modeling Applications / Dennis G. Zill

A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous ...

اقرأ المزيد
978-1-4020-2335-4
A Modern Perspective on Type Theory

The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...

اقرأ المزيد
978-0-387-73384-5
A Modular Calculus for the Average Cost of Data Structuring

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...

اقرأ المزيد
978-0-387-23896-8
A Platform-Centric Approach to System-on-Chip (SOC) Design

The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...

اقرأ المزيد
978-1-4302-0116-8
A Testers Guide to .NET Programming

A Tester's Guide to .NET Programming focuses solely on applied programming techniques for testers. You will learn how to ...

اقرأ المزيد
978-3-540-76928-6
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

اقرأ المزيد
978-3-540-76928-6
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

اقرأ المزيد
978-1-78561-983-0
AI For Emerging Verticals : Human-robot computing, sensing and networking

Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...

اقرأ المزيد
978-981-15-5503-9
AI based Robot Safe Learning and Control

This book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...

اقرأ المزيد
978-3-319-89957-2
AI in Marketing, Sales and Service : How Marketers without a Data Science Degree can use AI, Big Data and Bots / Peter Gentsch

Shows you: how customer and market potential can be automatically identified and profiled; how media planning can be intelligently ...

اقرأ المزيد
NoIMG
AVENUE21. Connected and Automated Driving: Prospects for Urban Europe

This publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...

اقرأ المزيد
978-3-540-87603-8
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

اقرأ المزيد
978-0-387-34600-7
Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

اقرأ المزيد
978-3-540-31882-8
Abstraction, Reformulation and Approximation

This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...

اقرأ المزيد
عدد الكتب: 1 - 20 /764