Computer science

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role.

Artificial Intelligence is moving beyond incremental innovation toward a threshold of transformative potential, where its capabilities may surpass human performance in critical cognitive, creative, and strategic domains.

In today's world, smart cards play an increasingly important role in everyday life.

The second, revised edition of this book was suggested by the impressive sales of the first edition.

Migrating from paper-based to electronic documentation is a task that needs careful planning.

The text has been prepared for researchers involved in picture processing.

The study of condensed matter using optical techniques, where photons act as both probe and signal, has a long history.

Provides a short survey of recent advances in the mathematical modelling of the mechanical behavior of anisotropic solids under creep conditions, including principles, methods, and applications of tensor functions.

An enterprise architecture tries to describe and control an organisation's structure, processes, applications, systems and techniques in an integrated way.

Computational Intelligence: Principles, Techniques and Applications presents both theories and applications of computational intelligence in a clear, precise and highly comprehensive style.

What is computer graphics and what are the conceptual tasks of research in this area?

Sag' ich zum Augenblicke verweile doch, Du bist so schon J.

This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?

Discrete H Optimization is concerned with the study of H optimization for digital signal processing and discrete-time control systems.

Dieses praxisorientierte Fachbuch befasst sich im Schwerpunkt mit der Technik des digitalen terrestrischen Fernsehrundfunks.

Computational Atomic Physics deals with computational methods for calculating electron (and positron) scattering from atoms and ions, including elastic scattering, excitation, and ionization processes.

Document imaging is a new discipline in applied computer science.

There has been much progress in the computational approaches in the field of materials science during the past two decades.

A unified and coherent introduction to the notion of abstraction in interactive computer graphics is provided by this book.

The book covers the whole range of PostScript and PDF (Adobe Acrobat) application fields.

In the past decades, traditional television broadcasting has been an autonomous field which was largely independent of the world of telecommunications and computers.

This book emerged from lecture notes of a course taught in the second year to students of Computer Science at the Federal Institute of Tech- nology, Zurich.

The aim of this book is to bring together approaches from different subfields of Artificial Intelligence as well as adjoint disciplines in order to characterize a "e;computational model"e; of conflicts.

The major goal of this book is to present the implementation of some damage models with finite elements.

In its 3rd revised and extended edition the book offers an overview of the techniques used to solve problems in fluid mechanics on computers and describes in detail those most often used in practice.

In today's world, smart cards play an increasingly important role in everyday life.

E-Business has become a fact for almost all companies.

Using computers to solve problems and model physical problems has fast become an integral part of undergraduate and graduate education in physics.

One can observe that a wide range of human activities involves various forms of de- sign.

Theoretical tools and insights from discrete mathematics, theoretical computer science, and topology now play essential roles in our understanding of vital biomolecular processes.

Evolution strategies have more than 50 years of history in the field of evolutionary computation.

Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science.

This book is about nature considered as the totality of physical existence, the universe, and our present day attempts to understand it.

Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science.

?

This book attempts to reflect the project reality as closely as possible, covering the ISO 21500:2012 standard that has just been introduced and the benefits from the best contributions worldwide and also providing the concise yet powerful tool box.

Spoken dialog systems have the potential to offer highly intuitive user interfaces, as they allow systems to be controlled using natural language.

This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures.

Questions related to language acquisition have been of interest for many centuries, as children seem to acquire a sophisticated capacity for processing language with apparent ease, in the face of ambiguity, noise and uncertainty.

This interdisciplinary volume introduces new theories and ideas on creativity from the perspectives of science and art.

Community structure is a salient structural characteristic of many real-world networks.

The four-volume set LNCS 16483-16486 constitutes the refereed conference proceedings of the 48th European Conference on Information Retrieval, ECIR 2026, held in Delft, The Netherlands, during March 29–April 2, 2026.

This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics.

Lankhorst and his co authors present ArchiMate(R) 3.

This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform.

This book documents recent advances in the field of modeling, simulation, control, security and reliability of Cyber- Physical Systems (CPS) in power grids.

This book reports the latest findings on intelligent energy management of Internet data centers in smart-grid environments.

The overall structure of this new edition is three-tier: Part I presents the basics, Part II is concerned with methodological issues, and Part III discusses advanced topics.