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 ...
Weiterlesen
Programming Languages and Systems (vol. # 4279)
This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
Weiterlesen
Pyomo — Optimization Modeling in Python
This book is Using many examples to illustrate the different techniques useful for formulating models, this text beautifully ...
Weiterlesen
Quantum Annealing and Related Optimization Methods
Quantum annealing employs quantum fluctuations in frustrated systems or networks to anneal the system down to its ground ...
Weiterlesen
Radiation Effects on Embedded Systems
Radiation Effects on Embedded Systems aims at providing the reader with the major guidelines for coping with radiation effects ...
Weiterlesen
Rapid Prototyping of Digital Systems
RAPID PROTOTYPING OF DIGITAL SYSTEMS provides an exciting and challenging environment for rapidly adapting System-on-a-Programmable ...
Weiterlesen
Reasoning Web
This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...
Weiterlesen
Reasoning Web (vol. # 3564)
This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). ...
Weiterlesen
Reasoning Web (vol. # 4126)
This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Weiterlesen
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 ...
Weiterlesen
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Weiterlesen
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. ...
Weiterlesen
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, ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Search Methodologies
Search Methodologies is a tutorial survey of the methodologies that are at the confluence of several fields: Computer Science, ...
Weiterlesen
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), ...
Weiterlesen
