ISBNs for formal language theory

ISBN.nu

search for books and compare prices

formal language theory matches 115 work(s)

at beginning | displaying 1 to 25 | next 25 >

show results in order: alphabetically | oldest to newest | newest to oldest

Introduction to Formal Languages and Automata

Computer Science

By Peter Linz

See complete details on each edition (6 editions listed)

Hardcover:

9781284077247, titled "An Introduction to Formal Languages and Automata" | 6 edition (Jones & Bartlett Pub, January 15, 2016), cover price $215.95

9781449615529, titled "An Introduction to Formal Languages and Automata" | 5 mac win edition (Jones & Bartlett Pub, February 14, 2011), cover price $262.95

9780763714222, titled "An Introduction to Formal Languages and Automata" | 3 edition (Jones & Bartlett Pub, October 1, 2000), cover price $131.95

9780763702960 | 2nd edition (Jones & Bartlett Pub, June 1, 1997), cover price $66.95

9780669354034 | 2nd edition (D C Heath & Co, March 1, 1996), cover price $57.50 | About this edition: Computer Science

Paperback:

9780198320302, titled "The Tempest" | Oxford Univ Pr, March 1, 2001, cover price $7.95 | also contains The Tempest | About this edition: Critical and historical notes accompany Shakespeare's play about a shipwrecked duke who learns to command the spirits.

Researching Contexts, Practices and Pedagogies in English for Academic Purposes

Product Description: This book is a point of reference for EAP professionals planning to conduct or commission research into learning, teaching, professional development or quality assurance in EAP. It draws on academic and professional debates to inspire further research and practical initiatives to enhance EAP provision...read more

By Lia Blaj-ward

See complete details on each edition (1 edition listed)

Hardcover:

9781137331861 | Palgrave Macmillan, August 29, 2014, cover price $90.00 | About this edition: This book is a point of reference for EAP professionals planning to conduct or commission research into learning, teaching, professional development or quality assurance in EAP.

Handbook of Formal Languages: Word, Language, Grammar

By Arto Salomaa (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9783540604204 | Springer Verlag, April 1, 1997, cover price $99.00

Paperback:

9783642638633 | Springer Verlag, November 7, 2012, cover price $99.00

Computer-Aided Reasoning: An Approach

By Matt Kaufmann, Panagiotis Manolios and J. Strother Moore

See complete details on each edition (2 editions listed)

Hardcover:

9780792377443 | Kluwer Academic Pub, June 1, 2000, cover price $329.00

Paperback:

9781461370031 | Reprint edition (Springer-Verlag New York Inc, October 12, 2012), cover price $329.00

Handbook of Formal Languages: Beyond Words

By Arto Salomaa (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9783540606499 | Springer Verlag, September 1, 1997, cover price $130.00

Paperback:

9783642638596 | Springer Verlag, October 29, 2012, cover price $129.00

Symbolic Simulation Methods for Industrial Formal Verification

Product Description: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity...read more

By Robert B. Jones

See complete details on each edition (2 editions listed)

Hardcover:

9781402071034 | Kluwer Academic Pub, May 1, 2002, cover price $149.00 | About this edition: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation.

Paperback:

9781461353959 | Spiral-bound edition (Springer Verlag, October 23, 2012), cover price $149.00 | About this edition: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation.

Finiteness and Regularity in Semigroups and Formal Languages

Product Description: This is a rigorous and self-contained monograph on a central topic in theoretical computer science. For the first time in book form, original results from the last ten years are presented, some previously unpublished, using combinatorial and algebraic methods...read more

By Stefano Varricchio

See complete details on each edition (2 editions listed)

Hardcover:

9783540637714 | Springer Verlag, July 1, 1999, cover price $99.00 | About this edition: This is a rigorous and self-contained monograph on a central topic in theoretical computer science.

Paperback:

9783642641503 | Reprint edition (Springer-Verlag New York Inc, September 18, 2011), cover price $149.00 | About this edition: This is a rigorous and self-contained monograph on a central topic in theoretical computer science.

Parsing With Principles and Classes of Information

Product Description: Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English. It argues that differences in the kind of information being computed, whether lexical, structural or syntactic, play a crucial role in the mapping from grammatical theory to parsing algorithms...read more

By Paola Merlo

See complete details on each edition (2 editions listed)

Hardcover:

9780792341031 | Kluwer Academic Pub, July 1, 1996, cover price $159.00 | About this edition: Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English.

Paperback:

9789401072656 | Reprint edition (Springer-Verlag New York Inc, September 28, 2011), cover price $189.00 | About this edition: Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English.

A Second Course in Formal Languages and Automata Theory

By Jeffrey Shallit

See complete details on each edition (1 edition listed)

Hardcover:

9780521865722 | 1 edition (Cambridge Univ Pr, September 30, 2008), cover price $84.99

A Concise Introduction to Languages, Machines

By Alan P. Parkes

See complete details on each edition (1 edition listed)

Paperback:

9781848001206 | Springer-Verlag New York Inc, September 12, 2008, cover price $49.95

Formal Methods in Systems Biology: First International Workshop, Fmsb 2008, Cambridge, Uk, June 4-5, 2008, Proceedings

Product Description: Thisvolumecontainstheproceedingsofthe?rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4–5, 2008. While there are several venues that cover computational methods in systems biology,there is to date no single conference that brings together the application of the range of formal methods in biology...read more

By Jasmin Fisher (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540684107 | Springer-Verlag New York Inc, August 3, 2008, cover price $79.99 | About this edition: Thisvolumecontainstheproceedingsofthe?

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

By Stefan Leue (editor) and Pedro Merino (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540797067 | Springer-Verlag New York Inc, July 8, 2008, cover price $99.00

FM 2008, Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

By Jorge Cuellar (editor), Tom Maibaum (editor) and Kaisa Sere (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540682356 | Springer-Verlag New York Inc, July 8, 2008, cover price $119.00

Formal Methods and Testing: An Outcome of the Fortest Network: Revised Selected Papers

Product Description: This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST)...read more

By Mark Harman (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540789161 | Springer-Verlag New York Inc, May 1, 2008, cover price $109.00 | About this edition: This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, Relmics/A

Product Description: Hard to Find book

By Georg Struth (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540789123 | Springer-Verlag New York Inc, April 1, 2008, cover price $119.00 | About this edition: Hard to Find book

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings

Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions...read more

By Michael Butler (editor), Michael G. Hinchey (editor) and Maria M. Larrondo-petrie (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540766483 | Springer-Verlag New York Inc, December 14, 2007, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007.

Automata, Computability and Complexity: Theory and Applications

By Elaine Rich

See complete details on each edition (1 edition listed)

Hardcover:

9780132288064 | 1 edition (Prentice Hall, September 13, 2007), cover price $204.40

Computing Meaning

By Harry Bunt (editor)

See complete details on each edition (5 editions listed)

Hardcover:

9781402059568 | Springer Verlag, August 3, 2007, cover price $269.00

9781402001758 | Kluwer Academic Pub, February 1, 2002, cover price $269.00

9780792361084 | Kluwer Academic Pub, December 1, 1999, cover price $269.00

Paperback:

9781402004513 | Kluwer Academic Pub, March 1, 2002, cover price $67.95

9781402002908 | Kluwer Academic Print on Demand, December 1, 2001, cover price $59.95

Distributed Applications and Interoperable Systems: 7th Ifip Wg 6.1 International Conference, Dais 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

Product Description: This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2007, held in Paphos, Cyprus in June 2007. It covers current research in context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of which relate to the sustainability of distributed applications and integrated systems...read more

By Jadwiga Indulska (editor) and Kerry Raymond (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540728818 | Springer-Verlag New York Inc, July 1, 2007, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 7th IFIP WG 6.

Temporal Logic And State Systems

By Fred Kroger and Stefan Merz

See complete details on each edition (1 edition listed)

Hardcover:

9783540674016 | Springer-Verlag New York Inc, May 4, 2008, cover price $89.95

Logic-based Program Synthesis and Transformation: 16th International Symposium, Lopstr 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Product Description: This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006...read more

By GermÃ¡n Puebla (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540714095 | Springer-Verlag New York Inc, April 19, 2007, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.

Foundations of Software Science and Computational Structures: 10th International Conference, Fossacs 2007, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2007, Braga, Por

Product Description: This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems...read more

By Helmut Seidl (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540713883 | Springer-Verlag New York Inc, April 12, 2007, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007.

Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A

Product Description: This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006...read more

By Lubos Brim (editor), Boudewijn Haverkort (editor), Martin Leucker (editor) and Jaco Van De Pol (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540709510 | Springer-Verlag New York Inc, March 28, 2007, cover price $109.00 | About this edition: This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Formal Concept Analysis: 5th International Conference, Icfca 2007, Clermont-ferrand, France, February 12-16, 2007, Proceedings

Product Description: This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007, held in Clermont-Ferrand, France in February 2007. The 19 revised full papers presented together with 1 invited lecture comprise state of the art research from foundational to applied lattice theory and related fields, all of which involve methods and techniques of formal concept analysis...read more

By Sergei O. Kuznetsov (editor) and Stefan Schmidt (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540708285 | Springer Verlag, March 12, 2007, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007, held in Clermont-Ferrand, France in February 2007.

Journal on Data Semantics VIII

By Paolo Atzeni (editor), Francois Fages (editor), Mohand-Said Hacid (editor), Michael Kifer (editor) and Stefano Spaccapietra (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540706632 | Springer-Verlag New York Inc, March 5, 2007, cover price $99.00

at beginning | displaying 1 to 25 | next 25 >