Electronic Books

Total Books: 121 - 140 /989

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...

Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

Takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching ...

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...

Baseband Analog Circuits for Software Defined Radio aims to describe the transition towards a Software Radio from the analog ...

This book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...

This book is for anyone who wants to write good C# code—even if you have never programmed before. Writing good code can ...

Assuming only basic knowledge of C# 2008, Beginning C# 2008 Databases teaches all the fundamentals of database technology ...

CakePHP is a leading PHP–based web app development framework. When asking a question on forums or chat rooms, many CakePHP ...

The book explains in detail how you can organize your Java EE solution into a multilayer architecture, placing most emphasis ...

The book takes you through the steps necessary to get an internal web portal running for employee use. If you have some programming ...

Total Books: 121 - 140 /989