الكتب الالكترونية

عدد الكتب: 1401 - 1420 /1601
978-3-540-89403-2
Software Process and Product Measurement : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings

This book includes : estimation models, measurement methodology, effort estimation, measurement programs, new approaches, ...

اقرأ المزيد
978-3-540-71437-8
Software Product Lines in Action

Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level ...

اقرأ المزيد
978-3-540-47984-0
Software Quality — ECSQ 2002

We have selected two themes for this conference . Our ?rst theme, “production of attractive and reliable software at Internet ...

اقرأ المزيد
978-3-540-75664-4
Software Technologies for Embedded and Ubiquitous Systems

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...

اقرأ المزيد
978-3-030-63618-0
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

اقرأ المزيد
978-3-540-46505-8
Software Visualization

Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...

اقرأ المزيد
978-3-540-70621-2
Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...

اقرأ المزيد
978-0-387-75936-4
Software for Data Analysis : Programming with R

This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...

اقرأ المزيد
978-3-540-89437-7
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...

اقرأ المزيد
NoIMG
Solving PDEs in Python : The FEniCS Tutorial I

This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...

اقرأ المزيد
NoIMG
Space, Place and Educational Settings

This book explores the nexus between knowledge and space with a particular emphasis on the role of educational settings that ...

اقرأ المزيد
978-1-4302-0623-1
Spring Recipes : A Problem-Solution Approach

Spring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...

اقرأ المزيد
978-1-4302-0037-6
Squeak: Learn Programming with Robots

Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...

اقرأ المزيد
978-3-540-76627-8
Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...

اقرأ المزيد
978-3-540-89335-6
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...

اقرأ المزيد
978-3-540-75207-3
Standardization and Quality Assurance in Fluorescence Measurements I : Techniques

This first of two volumes covers basic aspects and various techniques such as steady-state and time-resolved fluorometry, ...

اقرأ المزيد
9781292222332
Starting Out with C++ from Control Structures through Objects / Tony Gaddis

covers control structures, functions, arrays, and pointers before objects and classes in Tony Gaddis’s hallmark accessible, ...

اقرأ المزيد
978-3-540-74061-2
Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

اقرأ المزيد
978-3-540-47764-8
Static Analysis

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...

اقرأ المزيد
978-3-540-31971-9
Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

اقرأ المزيد
عدد الكتب: 1401 - 1420 /1601