Electronic Books

Total Books: 21 - 40 /215

Assessment in Mathematics Education : Large-Scale Assessment and Classroom Assessment

This book provides an overview of current research on a variety of topics related to both large-scale and classroom assessment. ...

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

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

Autonomous Driving : Technical, Legal and Social Aspects

This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...

Barile's clinical toxicology: principles and mechanisms / Frank A. Barile

Examines the complex interactions associated with clinical toxicological events as a result of therapeutic drug administration ...

Bayesian Reliability

Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The ...

Beginning Ajax with PHP

Beginning Ajax with PHP: From Novice to Professional is the first book to introduce how these two popular technologies can ...

Beginning PHP and MySQL 5

Written for the budding web developer searching for a powerful, low-cost solution for building flexible, dynamic web sites. Essentially ...

Beginning PL/SQL

Get started with PL/SQL, the built-in language that every Oracle developer and database administrator must know, in Beginning ...

BioNanoFluidic MEMS

BioNanoFluidic MEMS explains nanofabrication and nanomaterials synthesis suitable for the development of biosensors. The ...

Biometric Systems

The use of computers to recognize humans from physical and behavioral traits dates back to the digital computer evolution ...

Blog Design Solutions

In this book, a team of renowned web designers take you through the ins and outs of putting together great blogs. They waste ...

Building a Data Warehouse : With Examples in SQL Server

The book is organized as follows. In the beginning of this book (chapters 1 through 6), you learn how to build a data warehouse, ...

CPU Design

Chandra’s book provides a practical overview of Microprocessor and high end ASIC design as practiced today. It is a valuable ...

Challenges in Language Testing Around the World : Insights for language test users / Betty Lanteigne, Christine Coombe, James Dean Brown

This book combines insights from language assessment literacy and critical language testing through critical analyses and ...

Cisco Networks : Engineers' Handbook of Routing, Switching, and Security with IOS, NX-OS, and ASA / Chris Carthern, William Wilson, Noel Rivera

Overviews of the basic knowledge and skills needed by CCNA and CCNP exam takers. Prior familiarity with Cisco routing and ...

Component-Based Software Testing with UML

Component-based software development regards software construction in terms of conventional engineering disciplines where ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability

This book discusses challenges in school improvement research and different methodological approaches that have the potential ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Total Books: 21 - 40 /215