MPG.eBooks - Search Results - "Formal Languages And Automata Theory"

201

IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Published 1991

Springer London

Subjects: “...Formal Languages and Automata Theory...”

Read Now

202

Current Topics in Artificial Intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 200...

Published 2004

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

203

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Published 2014

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

204

Foundations of Logic Programming

by Lloyd, J. W.
Published 1984

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

205

Constraint Databases

Published 2000

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

206

Parsing Theory : Volume I Languages and Parsing

by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1988

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

207

Attributierte Grammatiken und Attributierungsalgorithmen

by Mahn, Ulrich
Published 1988

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

208

Foundations of Logic Programming

by Lloyd, John W.
Published 1987

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

209

Automation of Reasoning : 2: Classical Papers on Computational Logic 1967–1970

Published 1983

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

210

Nonmonotonic Logic : Context-Dependent Reasoning

by Marek, V. Wiktor, Truszczynski, Miroslaw
Published 1993

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

211

Formal Methods: State of the Art and New Directions

Published 2010

Springer London

Subjects: “...Formal Languages and Automata Theory...”

Read Now

212

Computational Logic in Multi-Agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

Published 2007

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

213

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

214

Coalgebraic Methods in Computer Science : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Published 2022

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

215

Lessons in Enumerative Combinatorics

by Eğecioğlu, Ömer, Garsia, Adriano M.
Published 2021

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

216

Mathematical Foundations of Computer Science 1984 : 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings

Published 1984

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

217

Automata, Languages and Programming : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings

Published 1986

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

218

Computing with New Resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Published 2014

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

219

Learning Theory : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

220

Scalable Uncertainty Management : First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Narrow Search