MPG.eBooks - Search Results

Cover Image

121

Algorithmic Learning Theory : 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings

by Abe, Naoki
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

122

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

by Nieuwenhuis, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

123

Computer Aided Systems Theory - EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, Febru...

by Moreno-Diaz, Roberto
Published 2001

Springer Berlin Heidelberg

Cover Image

124

AI 2001: Advances in Artificial Intelligence : 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings

by Stumptner, Markus
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

125

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference Bangalore, India, December 13–15, 2001 Proceedings

by Hariharan, Ramesh
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

126

Multiset Processing : Mathematical,Computer Science, and Molecular Computing Points of View

by Calude, Cristian S
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

127

Rough Sets and Current Trends in Computing : Second International Conference, RSCTC 2000 Banff, Canada, October 16–19, 2000 Revised Papers

by Ziarko, Wojciech
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

128

Symbolic and Quantitative Approaches to Reasoning and Uncertainty

by Hunter, Anthony
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

129

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

by Cerioli, Maura
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

130

ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

by Bert, Didier
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

131

Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings

by Narendran, Paliath
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

132

Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

by Halbwachs, Nicolas
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

133

Automated Deduction — CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

by Ganzinger, Harald
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

134

Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002...

by Métayer, Daniel
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

135

Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Sof...

by Nielsen, Mogens
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

136

Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...

by Baaz, Matthias
Published 2003

Springer Berlin Heidelberg

Cover Image

137

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

by Nipkow, Tobias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

138

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

by Araki, Keijiro
Published 2003

Springer Berlin Heidelberg

Cover Image

139

Case-Based Reasoning Research and Development : Third International Conference on Case-Based Reasoning, ICCBR-99 Seeon Monastery, Germany, July 27-30, 1999 Proceedings

by Althoff, Klaus-Dieter
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

140

Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers

by Kuich, Werner
Published 2002

Springer-Verlag Berlin Heidelberg

2
3
4
5
6
7
8
9
10
11
12