0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (7)
  • -
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,469 Discovery Miles 14 690 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,451 Discovery Miles 24 510 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,349 Discovery Miles 13 490 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,480 Discovery Miles 14 800 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,521 Discovery Miles 15 210 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,472 Discovery Miles 14 720 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,481 Discovery Miles 14 810 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...
Multi Colour Animal Print Neckerchief
R119 Discovery Miles 1 190
Bostik Clear Gel in Box (25ml)
R40 R23 Discovery Miles 230
Bostik Crystal Clear Tape
R43 Discovery Miles 430
Higher
Michael Buble CD  (1)
R459 Discovery Miles 4 590
Microsoft Xbox Series X Console (1TB)
 (21)
R14,999 Discovery Miles 149 990
Alcolin Cold Glue (500ml)
R101 Discovery Miles 1 010
The Twisted Series - Love / Games / Hate…
Ana Huang Paperback R999 R887 Discovery Miles 8 870
Leisure Quip Stainless Steel Tumbler…
R39 R21 Discovery Miles 210
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950
Ticket To Paradise
George Clooney, Julia Roberts, … DVD  (1)
R113 Discovery Miles 1 130

 

Partners