"Theorie." . . "COMPUTERS / Computer Science" . . "Programmeertalen." . . "lambda calcul." . . "programmation en logique." . . "Computer science." . . "base donnée relationnelle." . . "série puissance." . . "COMPUTERS / Data Processing" . . "Informatique." . . "Informatik." . . "programmation fonctionnelle." . . "informatique théorique sémantique [manuel]" . . "Computabilidade E Modelos De Computacao." . . "Algorithmes." . . "COMPUTERS / Reference" . . "Autómatas matemáticos, Teoría de." . . "théorie des langages (informatique)" . . "Fundamentele informatica." . . "Programación de ordenadores." . . "programme démonstration." . . "langage formel." . . "Modellen (theorie)" . . "concurrence." . . "COMPUTERS / Hardware / General" . . "logique modale." . . "Algoritmus." . . "Elaboratori elettronici Programmazione." . . "Informatique Guides, manuels, etc." . . "sémantique dénotationnelle." . . "COMPUTERS / Information Technology" . . "COMPUTERS / Computer Literacy" . . . . "Informatica - Saggi." . . "modèle formel." . . "Logica matematica e fondamenti." . . "Algoritmen." . . "Ecuaciones Soluciones numéricas." . . "Theoretische Informatik." . . "automate fini." . . "COMPUTERS / Machine Theory" . . "système de réécriture (informatique)" . . "sémantique." . . "Semantik." . . "Informática teórica." . . "processus concurrent." . . "Algorithme." . . "théorie base donnée." . . "računalništvo programiranje računalniški jeziki semantika." . . "Lógica simbólica y matemática." . . "schéma programme." . . "Complexité." . . "Complexité" . "Algorismes." . . "Complexiteit." . . "Modellen." . . "Informatyka." . . "Endlicher Automat." . . "automate (informatique)" . . "logique programme." . . "logique temporelle." . . . . . . . . "Handbook of theoretical computer science. Volume B Formal models and semantics" . . . . . "Electronic books"@en . . . . . . . . . . . . . . . . . . . . . . . . "Handbook of theoretical computer science. Volume B, Formal models and semantics"@en . . "Handbook of theoretical computer science. Vol. B" . . . . . . . . . . . . "Matériel didactique" . . . . . . "Handbook of theoretical computer science" . "Handboeken (vorm)" . "Handbook of theoretical computer science"@en . . . . . . "Formal models and semantics" . . "Formal models and semantics"@en . "Algorithms and complexity" . "Algorithms and complexity"@en . . . . . . . . "Handbook of theoretical computer science. B, Formal models and semantics" . "Handbook of theoretical computer science. Vol. B, Formal models and semantics" . . . . "Formal models and semantics" . . . . . . . . . . . . . . . . . . . . . . . "Handbook of theoretical computer science. B : Formal models and semantics" . . . . . . "Handbook of theoretical computer science. Vol. B, Formal models and semantics ; edited by Jan van Leeuwen"@en . "Handbook of theoretical computer science, vol B : formal models and semantics" . . . . . . . "Formal models and semantic" . . . . "Handbook of Theoretical Computer Science. Volume B, Formal Models and Semantics" . "Handbook of theoretical computer science. Vol. B, Formal models and semantic" . . "Handbook of theoretical computer science. B, Formal methods and semantics" . . . . . . . . "The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing."@en . . "Handbook of theoretical computer science / Vol. B, Formal models and semantics" . "Handbook of Theoretical Computer Science : Volume B: Formal Models and Semantics" . . . . . . . . "Handbook of theoretical computer science / B. Formal models and semantics" . "Komplexitás számítástechnika." . . "spécification algébrique." . . "Lenguajes de programación." . . "langage algébrique." . . "Computacao (Metodologia E Tecnicas)" . . "Langages de programmation Sémantique." . . "Informàtica" . . "Informatica." . "Informática." . "Informàtica." . "donnée répartie." . . "Informatique théorique." . . "informatique théorique." . "réécriture." . . "informatique théorique logique formelle [manuel]" . .