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,557 Discovery Miles 15 570 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,616 Discovery Miles 26 160 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,429 Discovery Miles 14 290 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,569 Discovery Miles 15 690 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,619 Discovery Miles 16 190 Ships in 12 - 17 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,560 Discovery Miles 15 600 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,570 Discovery Miles 15 700 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...
Faber-Castell Minibox 1 Hole Sharpener…
R10 Discovery Miles 100
Pineware Steam, Spray & Dry Iron (Blue…
R199 R143 Discovery Miles 1 430
Microgarden Stainless Steel Wire Pegs…
 (2)
R259 R183 Discovery Miles 1 830
Home Quip Flexilite USB Rechargeable…
R199 R91 Discovery Miles 910
Jurassic Park Trilogy Collection
Sam Neill, Laura Dern, … Blu-ray disc  (1)
R311 Discovery Miles 3 110
Higher
Michael Buble CD  (1)
R487 Discovery Miles 4 870
Sony PlayStation 5 DualSense Wireless…
 (5)
R1,599 R1,479 Discovery Miles 14 790
Rogue One: A Star Wars Story - Blu-Ray…
Felicity Jones, Diego Luna, … Blu-ray disc R398 Discovery Miles 3 980
Bostik Glu Dots - Extra Strength (64…
R55 Discovery Miles 550
Playstation 4 Replacement Case
 (9)
R56 Discovery Miles 560

 

Partners