Electronic Books

Total Books: 101 - 120 /215
978-1-4302-0242-4
How to Code .NET

How to Code .NET: Tips and Tricks for Coding .NET 1.1 and .NET 2.0 Applications Effectively provides solutions to certain ...

Continue reading
978-3-030-19389-8
IEA International Computer and Information Literacy Study 2018 Assessment Framework

This book is designed to assess how well students are prepared for study, work and life in a digital world. The study measures ...

Continue reading
978-1-4842-7799-7
IT Security Controls : A Guide to Corporate Standards and Frameworks / Virgilio Viegas, Oben Kuyucu

Gives an overview of the major standards and frameworks, and a proposed architecture to meet them. The book identifies and ...

Continue reading
NoIMG
Innovations in E-learning, Instruction Technology, Assessment and Engineering Education

Innovations in E-learning, Instruction Technology, Assessment and Engineering Education is a collection of world class paper ...

Continue reading
978-3-030-20223-1
International Reflections on the Netherlands Didactics of Mathematics Visions on and Experiences with Realistic Mathematics Education

This book, inspired by the ICME 13 Thematic Afternoon on “European Didactic Traditions”, takes readers on a journey ...

Continue reading
978-3-030-97899-0
Introduction to Software Design with Java / Martin P. Robillard

Provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...

Continue reading
978-3-030-47515-4
Large-Scale Cognitive Assessment Analyzing PIAAC Data

This methodological book summarises existing analysing techniques using data from PIAAC, a study initiated by the OECD that ...

Continue reading
978-0-387-28133-9
Leakage in Nanometer CMOS Technologies

It is essential for circuit and system designers to understand the components of leakage, sensitivity of leakage to different ...

Continue reading
978-3-030-61467-6
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Continue reading
978-3-030-91585-8
Machine Learning for Cyber Agents : Attack and Defence / Stanislav Abaimov, Maurizio Martellini

The cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services ...

Continue reading
978-1-78561-583-2
Many-Core Computing : Hardware and software

Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...

Continue reading
9780081010358
Materials science for dentistry / B. W. Darvell

A standard resource for undergraduate and postgraduate courses in dentistry. It provides fundamental coverage of the materials ...

Continue reading
978-3-540-79078-5
Memories in Wireless Systems

This book is a guide which treats many components used in mobile communications, and in particular focuses on non-volatile ...

Continue reading
978-1-4020-5597-3
Metal Fatigue

This book presents important concepts in metal fatigue in a straightforward manner, for the benefit of readers who must understand ...

Continue reading
978-3-540-33103-2
Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Continue reading
978-3-540-85114-1
Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Continue reading
978-3-540-69100-6
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Continue reading
978-3-540-32037-1
Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

Continue reading
978-3-540-72563-3
Model-Driven Testing

Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...

Continue reading
978-3-211-09445-7
Modern Testing Techniques for Structural Systems : Dynamics and Control

The articles in this book describe new developments in the area of structural testing, particularly those based upon the ...

Continue reading
Total Books: 101 - 120 /215