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

عدد الكتب: 421 - 436 /436
NoIMG
Unprepared to Entrepreneur : A Method to the Madness of Starting Your Own Business / Sonya Barlow

Unprepared to Entrepreneur is an honest guide to launching your own business, sharing real stories from real people who have ...

اقرأ المزيد
978-3-540-26752-2
Uveitis and Immunological Disorders

The purpose of this volume of "Essentials in Ophthalmology" is to provide the ophthalmologist with our present understanding ...

اقرأ المزيد
978-1-84800-017-9
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

اقرأ المزيد
978-3-540-47813-3
Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

اقرأ المزيد
978-3-540-69738-1
Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

اقرأ المزيد
978-3-540-30579-8
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

اقرأ المزيد
978-3-540-78163-9
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

اقرأ المزيد
978-3-540-69149-5
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

اقرأ المزيد
978-3-540-87873-5
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

اقرأ المزيد
NoIMG
Verrechnungspreise : Grundlagen und Praxis = Transfer Pricing: Principles and Practice

This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...

اقرأ المزيد
978-1-84628-762-6
View-dependent Character Animation

This well-researched book develops and demonstrates a framework for view-dependent animation designed to solve issues, well ...

اقرأ المزيد
978-3-030-49267-0
Views on Microstructures in Granular Materials

This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...

اقرأ المزيد
1119226473
Visual Communication: Insights and Strategies / Janis Teruggi Page, Margaret Duffy

Teaches visual literacy, theory, scholarly critique, and practical application of visuals in professional communication careers This ...

اقرأ المزيد
978-3-540-71080-6
Visual Data Mining : Theory, Techniques and Tools for Visual Analytics

The volume is structured in three parts on theory and methodologies, techniques, and tools and applications.

اقرأ المزيد
978-981-15-7683-6
XcalableMP PGAS Programming Language From Programming Model to Applications

XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address ...

اقرأ المزيد
9783836536356
Zaha Hadid - Basic Art / Philip Jodidio

Zaha Hadid was a revolutionary architect, who for many years built almost nothing, despite winning critical acclaim. Some ...

اقرأ المزيد
عدد الكتب: 421 - 436 /436