Electronic Books

Total Books: 1 - 20 /89
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; ...

Continue reading
978-1-4302-0001-7
ASP.NET 1.1 Solutions Toolkit

This collection of reusable ASP.NET components serves two purposes. First, the components are ready to use, so you may add ...

Continue reading
978-3-030-32610-4
Action Research in Software Engineering : Theory and Applications

This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...

Continue reading
978-3-540-85760-0
Advances in Multilingual and Multimodal Information Retrieval : 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th Workshop of the Cross-Language Evaluation Forum, CLEF ...

Continue reading
978-1-84628-271-3
Agent Technology from a Formal Perspective

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods ...

Continue reading
978-3-540-68746-7
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Continue reading
978-3-540-85571-2
Architecting Dependable Systems V

As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...

Continue reading
978-3-030-59152-6
Automated Technology for Verification and Analysis

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

Continue reading
978-3-540-88387-6
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 ...

Continue reading
978-1-4302-0121-2
Beginning ASP.NET 2.0 in C# 2005

This book provides thorough coverage of ASP.NET, guiding you from beginning to advanced techniques, such as querying databases ...

Continue reading
978-1-4302-0155-7
Beginning ASP.NET 2.0 in VB 2005

This book includes best practices and comprehensive discussions about key database and XML principles, which are essential ...

Continue reading
978-1-4302-0253-0
Beginning Ajax with PHP

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

Continue reading
978-1-4302-0129-8
Beginning Apache Struts

Beginning Apache Struts will provide you a working knowledge of Apache Struts 1.2. This book is ideal for you Java programmers ...

Continue reading
9781032430836
Cleaning Validation: Practical Compliance Approaches for Pharmaceutical Manufacturing / Destin A. LeBlanc

Timely coverage of cleaning validation for the pharmaceutical industry, a dynamic area in terms of health-based limits. Encourages ...

Continue reading
978-3-540-31614-5
Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Continue reading
978-3-030-53288-8
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Continue reading
978-3-030-53291-8
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Continue reading
1119674689
Data Science in Theory and Practice: Techniques for Big Data Analytics and Complex Data Sets / Maria Cristina Mariani, Osei Kofi Tweneboah, Maria Pia Beccar-Varela

Delivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various ...

Continue reading
978-3-030-13845-5
Data and Text Processing for Health and Life Sciences

This book is a step-by-step introduction on how shell scripting can help solve many of the data processing tasks that Health ...

Continue reading
NoIMG
Demystifying Climate Models : A Users Guide to Earth System Models

This book demystifies the models we use to simulate present and future climates, allowing readers to better understand how ...

Continue reading
Total Books: 1 - 20 /89