Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Bog, Paperback / softback, Engelsk)
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
New Trends and Advanced Methods in Interdisciplinary Mathematical Sciences (Bog, Paperback / softback, Engelsk)
The latest of five multidisciplinary volumes, this book spans the STEAM-H (Science, Technology, Engineering, Agriculture, Mathematics, and Health) disciplines with the intent to generate meaningful interdisciplinary interaction and student interest.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Introduction to Morphogenetic Computing (Bog, Paperback / softback, Engelsk)
This book offers a concise introduction to morphogenetic computing, showing that its use makes global and local relations, defects in crystal non-Euclidean geometry databases with source and sink, genetic algorithms, and neural networks more stable and efficient.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Non-Convex Multi-Objective Optimization (Bog, Paperback / softback, Engelsk)
Recent results on non-convex multi-objective optimization problems and methods are presented in this book, with particular attention to expensive black-box objective functions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modern Language Models and Computation: Theory with Applications (Bog, Paperback / softback, Engelsk)
This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Raymond Smullyan on Self Reference (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities (Bog, Paperback / softback, Engelsk)
The book formally describes how program operations are mapped to operations on polyhedra and details how... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Codes and turbo codes (Bog, Paperback / softback, Engelsk)
This book is devoted to one of the essential functions of modern telecommunications systems: channel coding or error correction coding. Its main topic is iteratively decoded algebraic codes, convolutional codes and concatenated codes.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Geometries, Codes and Cryptography (Bog, Paperback / softback, Engelsk)
The book is divided into two sections, "Geometries and Codes" and "Geometries and Cryptography". The first part covers such topicsas Galois geometries, Steiner systems, Circle geometry and applications to algebraic coding theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
AI*IA 2013: Advances in Artificial Intelligence: XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013, held in Turin, Italy, in December 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The papers cover a variety of foundational and practical issues in programming languages and systems.
Levering: Skaffevare (forvent 14 - 30 hverdage)
