3-D Structural Geology
This book provides an overview of techniques for constructing structural interpretations in 2-D, 2½-D and 3-D environments; ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Architecting Dependable Systems V
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 Apache Struts
Beginning Apache Struts will provide you a working knowledge of Apache Struts 1.2. This book is ideal for you Java programmers ...
اقرأ المزيد
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 ...
اقرأ المزيد
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد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 ...
اقرأ المزيد
