Electronic Books

Total Books: 141 - 160 /193

Programming Languages and Systems (vol. # 3444)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Programming Languages and Systems (vol. # 4279)

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...

Pyomo — Optimization Modeling in Python

This book is Using many examples to illustrate the different techniques useful for formulating models, this text beautifully ...

Quantum Annealing and Related Optimization Methods

Quantum annealing employs quantum fluctuations in frustrated systems or networks to anneal the system down to its ground ...

Radiation Effects on Embedded Systems

Radiation Effects on Embedded Systems aims at providing the reader with the major guidelines for coping with radiation effects ...

Rapid Prototyping of Digital Systems

RAPID PROTOTYPING OF DIGITAL SYSTEMS provides an exciting and challenging environment for rapidly adapting System-on-a-Programmable ...

Reasoning Web

This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...

Reasoning Web (vol. # 3564)

This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). ...

Reasoning Web (vol. # 4126)

This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second ...

Reasoning Web : 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

This book is presented provide competent coverage of methods and major application areas such as social networks, semantic ...

Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)

This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...

Refinement Techniques in Software Engineering

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...

Reflections on the Teaching of Programming : Methods and Implementations

The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...

Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Research and Technical Writing for Science and Engineering / Meikang Qiu, Han Qiu, Yi Zeng

Covers those fascinating guidelines and topics on conducting research, as well as how to better interact with your advisor. ...

Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, ...

Robust Signal Processing for Wireless Communications

This book treats the robust design of signal processing algorithms for wireless communications which are based on an incomplete ...

Rugged Free Energy Landscapes : Common Computational Approaches to Spin Glasses, Structural Glasses and Biological Macromolecules

This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use ...

Search Methodologies

Search Methodologies is a tutorial survey of the methodologies that are at the confluence of several fields: Computer Science, ...

Software Product Lines (vol. # 3714)

The technical program of SPLC 2005 included. – two keynotes from David Weiss (Avaya, USA) and Jan Bosch (Nokia, F- land), ...

Total Books: 141 - 160 /193