MPG.eBooks - Search Results - "Language"

Cover Image

101

Automated Practical Reasoning : Algebraic Approaches

Published 1995

Springer Vienna

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

Cover Image

102

Reasoning with Logic Programming

by Alferes, Jose Julio, Moniz Pereira, Luis
Published 1996

Springer Berlin Heidelberg

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

Cover Image

103

Mathematisch-strukturelle Grundlagen der Informatik

by Ehrig, Hartmut, Mahr, Bernd, Cornelius, F., Große-Rhode, Martin
Published 2001

Springer Berlin Heidelberg

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

Cover Image

104

Principles and Practice of Semantic Web Reasoning : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

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

Cover Image

105

Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Cover Image

106

Introduction to the Formal Design of Real-Time Systems

by Gray, David F.
Published 1999

Springer London

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

Cover Image

107

Logic of Domains

by Zhang, G.
Published 1991

Birkhäuser

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

Cover Image

108

Conceptual Modeling - ER 2000 : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

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

Cover Image

109

CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

Published 1989

Springer Berlin Heidelberg

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

Cover Image

110

Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

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

Cover Image

111

Field Programmable Logic and Applications : 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.

Published 1997

Springer Berlin Heidelberg

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

Cover Image

112

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm : 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer hardware description languages...”

Cover Image

113

Communication Complexity and Parallel Computing

by Hromkovič, Juraj
Published 1997

Springer Berlin Heidelberg

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

Cover Image

114

Scientific Pascal

by Flanders, Harley
Published 1996

Birkhäuser

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

Cover Image

115

Field-Programmable Logic, Smart Applications, New Paradigms and Compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, Se...

Published 1996

Springer Berlin Heidelberg

Subjects: “...Computer hardware description languages...”

Cover Image

116

Advances in Computer Systems Architecture : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer hardware description languages...”

1
2
3
4
5
6