0
Your cart

Your cart is empty

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

Showing 1 - 5 of 5 matches in All Departments

Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski (Hardcover): Stavros Konstantinidis, Nelma... Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski (Hardcover)
Stavros Konstantinidis, Nelma Moreira, Rogerio Reis, Jeffrey Shallit
R2,926 Discovery Miles 29 260 Ships in 10 - 15 working days

This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.

Descriptional Complexity of Formal Systems - 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013,... Descriptional Complexity of Formal Systems - 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings (Paperback, 2013 ed.)
Jurgensen, Rogerio Reis
R1,523 Discovery Miles 15 230 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 46 submissions. The topics covered are automata, grammars, languages and other formal systems; various modes of operations and complexity measures; co-operating systems; succinctness of description of objects, state-explosion-like phenomena; circuit complexity of Boolean functions and related measures; size complexity and structural complexity of formal systems; trade-offs between computational models and mode of operation; applications of formal systems; for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages; and their complexity constraints; size or structural complexity of formal systems for modeling natural languages; complexity aspects related to the combinatorics of words; descriptional complexity in resource-bounded or structure-bounded environments; structural complexity as related to descriptional complexity; frontiers between decidability and undecidability; universality and reversibility; nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov-Chaitin complexity, algorithmic information.

Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012.... Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings (Paperback, 2012 ed.)
Nelma Moreira, Rogerio Reis
R1,547 Discovery Miles 15 470 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.

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.

Developments in Language Theory - 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings... Developments in Language Theory - 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings (Paperback, 1st ed. 2021)
Nelma Moreira, Rogerio Reis
R2,658 Discovery Miles 26 580 Ships in 10 - 15 working days

This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The conference took place in an hybrid format with both in-person and online participation.The 27 full papers included in these proceedings were carefully reviewed and selected from 48 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata. Its scope is very general and includes, among others, the following topics and areas: grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial, and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory, and logic; bio-inspired computing; quantum computing. The book also includes 3 invited talks in full paper length.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Introduction To Scholarship - Building…
Cheryl Siewierski Paperback R393 Discovery Miles 3 930
Name from the Sky, A
Diane Kruger Hardcover R548 R404 Discovery Miles 4 040
The Science of Likability - 67…
Patrick King Hardcover R638 Discovery Miles 6 380
Meningiomas, An issue of Neurosurgery…
Gabriel Zada, Randy L Jensen Hardcover R3,048 Discovery Miles 30 480
A Frequency Dictionary of Arabic - Core…
Tim Buckwalter, Dilworth Parkinson Hardcover R4,982 Discovery Miles 49 820
A Small Hotel
Suanne Laqueur Hardcover R838 R754 Discovery Miles 7 540
French Conversation
Sylvie Waskiewicz Fold-out book or chart R244 Discovery Miles 2 440
B Cells in Immunity and Tolerance
Jiyang Wang Hardcover R4,379 Discovery Miles 43 790
Angel Baby Workbook of Affirmations…
Alan Haynes Paperback R504 Discovery Miles 5 040
Food Allergy, An Issue of Immunology and…
Amal Assa'ad Hardcover R2,161 Discovery Miles 21 610

 

Partners