0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (6)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 7 of 7 matches in All Departments

Cellular Automata and Discrete Complex Systems - 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June... Cellular Automata and Discrete Complex Systems - 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings (Paperback, 1st ed. 2018)
Jan M. Baetens, Martin Kutrib
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2018, held in Ghent, Belgium, in June 2018.The 10 regular papers presented in this book were carefully reviewed and selected from a total of 16 submissions. The papers highlight the major advances in the field and the development of new tools, support the development of theory and applications of CA and DCS and identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2,... Implementation and Application of Automata - 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings (Paperback, 2014 ed.)
Markus Holzer, Martin Kutrib
R2,503 Discovery Miles 25 030 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 19th International Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014. The 21 revised full papers presented together with 4 invited papers were carefully selected from 36 submissions. The papers cover all aspects of implementation, application, and theory of automata and related structures such as algorithms on automata, automata and logic, bioinformatics, complexity of automata operations, compilers, computer-aided verification, concurrency, data structure design for automata, data and image compression, design and architecture of automata software, digital libraries, DNA/molecular/membrane computing, document engineering, editors, environments, experimental studies and practical experience, implementation of verification methods and model checking, industrial applications, natural language and speech processing, networking, new algorithms for manipulating automata, object-oriented modeling, pattern-matching, pushdown automata and context-free grammars, quantum computing, structured and semi-structured documents, symbolic manipulation environments for automata, transducers and multi-tape automata, techniques for graphical display of automata, VLSI, viruses and related phenomena, and world-wide Web.

Cellular Automata and Discrete Complex Systems - 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 14-19,... Cellular Automata and Discrete Complex Systems - 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 14-19, 2013, Proceedings (Paperback, 2013 ed.)
Jarkko Kari, Martin Kutrib, Andreas Malcher
R1,399 Discovery Miles 13 990 Ships in 10 - 15 working days

The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the theoretical and practical aspects of a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS), to provide a platform for presenting and discussing new ideas and results, to support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned, to identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012,... Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Paperback, 2012 ed.)
Martin Kutrib, Nelma Moreira, Rogerio Reis
R1,532 Discovery Miles 15 320 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity.

Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings (1st ed.... Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings (1st ed. 2023)
Martin Kutrib, Uwe Meyer
R1,645 Discovery Miles 16 450 Ships in 12 - 19 working days

This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in  Giessen, Germany, during July 18–19, 2023. The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows:​ Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits.

Languages Alive - Essays dedicated to Jurgen Dassow on the Occasion of His 65th Birthday (Paperback, 2012 ed.): Henning... Languages Alive - Essays dedicated to Jurgen Dassow on the Occasion of His 65th Birthday (Paperback, 2012 ed.)
Henning Bordihn, Martin Kutrib, Bianca Truthe
R1,524 Discovery Miles 15 240 Ships in 10 - 15 working days

This festschrift volume, published in honor of Jurgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional complexity, as well as 'classical' topics of automata and language theory, the articles presented span the range of the scientific work of Jurgen Dassow.

Descriptional Complexity of Formal Systems - 13 International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011.... Descriptional Complexity of Formal Systems - 13 International Workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011. Proceedings (Paperback, 2011 ed.)
Markus Holzer, Martin Kutrib, Giovanni Pighizzini
R1,534 Discovery Miles 15 340 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Sepsis, An Issue of Critical Care…
R. Phillip Dellinger Hardcover R2,000 Discovery Miles 20 000
The Dragon's Prophecy - Israel, the Dark…
Paperback R399 R367 Discovery Miles 3 670
Imbolc - The Ultimate Guide to Brigid…
Mari Silva Hardcover R679 R606 Discovery Miles 6 060
Golden Acrylic High Flow - Quinacridone…
R399 R372 Discovery Miles 3 720
The Music Gods are Real - Volume 1 - The…
Jonathan a Fink Hardcover R588 Discovery Miles 5 880
Golden Acrylic High Flow - Raw Umber…
R648 R594 Discovery Miles 5 940
Studies in Perception and Action VIII…
Harry Heft Paperback R1,300 R1,166 Discovery Miles 11 660
Safari Nation - A Social History Of The…
Jacob Dlamini Paperback R330 R305 Discovery Miles 3 050
The Deja Vu Experience - Second Edition
Anne M. Cleary, Alan S. Brown Hardcover R4,488 Discovery Miles 44 880
Race, Class And The Post-Apartheid…
John Reynolds, Ben Fine, … Paperback R290 R268 Discovery Miles 2 680

 

Partners