Electronic Books

Total Books: 1 - 16 /16

A First Course in Modular Forms

This book introduces the theory of modular forms with an eye toward the Modularity Theorem: All rational elliptic curves ...

Computational Methods in Systems Biology : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...

Coordination Models and Languages

he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...

Coordination Models and Languages

he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...

Design by Evolution : Advances in Evolutionary Design

This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...

Information and Management Systems for Product Customization

This book consists of three parts. In the first part, within the theoretical basics of mass customization are discussed, ...

Java 17 Recipes : A Problem-Solution Approach / Josh Juneau, Luciano Manelli

Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Parallel Problem Solving from Nature - PPSN IX

We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...

Software Agent-Based Applications, Platforms and Development Kits

Intelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software ...

Software Architecture

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...

Software Engineering 2

volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...

Sustainability in Manufacturing

This book is a kind of final report on Sfb 281 results gained in 12 years of research on sustainability in manufacturing ...

Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

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 ...

Total Books: 1 - 16 /16