|
UML 2 Semantics and Applications
|
Kevin Lano |
A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begi… |
OL15184367W |
|
Automata, Languages, and Programming
|
Fedor V. Fomin |
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in J… |
OL19829191W |
|
Finite versus infinite
|
Gheorghe Paun,Cristian S. Calude |
The finite-infinite interplay is central in the human thinking, from ancient philosophers and mathematicians (Zenon, Pythagoras), to modern mathematics (Cantor, Hilbert) and computer science (Turing,… |
OL19850183W |
|
Handbook of Formal Languages
|
Grzegorz Rozenberg |
This third volume of the Handbook of Formal Languages discusses language theory beyond linear or string models: trees, graphs, grids, pictures, computer graphics. Many chapters offer an authoritative… |
OL19854370W |
|
An Introduction to Formal Language Theory
|
Robert N. Moll |
This voume combines An Introduction to Formal Language Theory with issues in computational linguistics. The book begins with standard formal language material, including a discussion of regular, cont… |
OL19858989W |
|
Automata, languages and programming
|
Josep Diaz,Donald Sannella,Juhani Karhumäki,Arto Lepistö |
This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. The 97 revised full paper… |
OL24218354W |