MPG.eBooks - Search Results

41

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Published 2016

Springer International Publishing

Subjects: “...Machine theory...”

Read Now

42

Larch: Languages and Tools for Formal Specification

by Guttag, John V., Horning, James J.
Published 1993

Springer New York

Subjects: “...Machine theory...”

Read Now

43

Formal Languages and Compilation

by Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo
Published 2013

Springer London

Subjects: “...Machine theory...”

Read Now

44

Confluent String Rewriting

by Jantzen, Matthias
Published 1988

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

45

Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Published 2023

Springer Nature Switzerland

Subjects: “...Machine theory...”

Read Now

46

6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

Published 1994

Springer London

Subjects: “...Machine theory...”

Read Now

47

Type Systems for Distributed Programs: Components and Sessions

by Dardha, Ornela
Published 2016

Atlantis Press

Subjects: “...Machine theory...”

Read Now

48

6th Conference on Automated Deduction : New York, USA, June 7-9, 1982

Published 1982

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

49

Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings

Published 1988

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

50

Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course

Published 1995

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

51

Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings

Published 1980

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

52

Using Sophisticated Models in Resolution Theorem Proving

by Sandford, David M.
Published 1980

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

53

Context-Free Grammars : Covers, Normal Forms, and Parsing

by Nijholt, A.
Published 1980

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

54

Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Published 1988

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

55

Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984

Published 1985

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

56

Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985

Published 1985

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

57

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures

Published 1985

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

58

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions

Published 1985

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Read Now

59

An Introduction to Formal Language Theory

by Moll, Robert N., Arbib, Michael A., Kfoury, A.J.
Published 1988

Springer New York

Subjects: “...Machine theory...”

Read Now

60

Enterprise Applications, Markets and Services in the Finance Industry : 10th International Workshop, FinanceCom 2020, Helsinki, Finland, August 18, 2020, Revised Selected Papers

Published 2020

Springer International Publishing

Subjects: “...Machine learning...”

Narrow Search