Electronic Books

Total Books: 1321 - 1340 /1589
978-3-540-68916-4
Robot Cognition and Navigation

In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, ...

Continue reading
978-1-4842-7750-8
Robot Operating System (ROS) for Absolute Beginners : Robotics Programming Made Easy / Lentin Joseph, Aleena Johny

You'll learn the basic foundation of Ubuntu Linux. Begin with the fundamentals. Installation and useful commands will give ...

Continue reading
978-3-540-88425-5
Rough Sets and Current Trends in Computing : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...

Continue reading
978-3-540-75390-2
Rule Extraction from Support Vector Machines

This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...

Continue reading
978-3-540-88808-6
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

Continue reading
978-3-540-77395-5
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Continue reading
978-3-540-89247-2
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

Continue reading
978-0-387-77372-8
SAS for Data Analysis : Intermediate Statistical Methods

This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...

Continue reading
978-1-4302-0107-6
SCJD Exam with J2SE 5

You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...

Continue reading
978-1-4302-0173-1
SCJP Exam for J2SE 5

Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...

Continue reading
978-1-4302-0099-4
SQL Server 2005 T-SQL Recipes

This no-fluff desk reference offers direct access to the information you need to get the job done. It covers basic T-SQL ...

Continue reading
978-1-4302-0625-5
SQL Server 2008 Transact-SQL Recipes

SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...

Continue reading
978-3-540-31781-4
Satellite Events at the MoDELS 2005 Conference

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

Continue reading
978-3-540-34954-9
Scalable Optimization via Probabilistic Modeling

The volume Scalable Optimization via Probabilistic Modeling: From Algorithms to Applications is a worthy addition to your ...

Continue reading
978-3-540-75410-7
Scalable Uncertainty Management

This book constitutes the refereed proceedings of the First International Conference on Scalable Uncertainty Management, ...

Continue reading
978-3-540-87993-0
Scalable Uncertainty Management : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...

Continue reading
978-3-540-32032-6
Scenarios: Models, Transformations and Tools

Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...

Continue reading
978-3-540-32613-7
Scientific Computing with MATLAB and Octave

This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of ...

Continue reading
978-1-4020-6354-1
Scientific Progress : A Study Concerning the Nature of the Relation Between Successive Scientific Theories

In this book, Craig Dilworth answers all the questions raised by the incommensurability thesis. Logical empiricism cannot ...

Continue reading
978-0-387-28356-2
Search Methodologies

Search Methodologies is a tutorial survey of the methodologies that are at the confluence of several fields: Computer Science, ...

Continue reading
Total Books: 1321 - 1340 /1589