MPG.eBooks - Search Results

Cover Image

161

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

162

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

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

163

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Graf, Susanne
Published 2004

Springer Berlin Heidelberg

Cover Image

164

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

165

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

by Boiten, Eerke
Published 2004

Springer Berlin Heidelberg

Cover Image

166

Functional and Logic Programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

by Kameyama, Yukiyoshi
Published 2004

Springer Berlin Heidelberg

Cover Image

167

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

by Larsen, Kim G
Published 2004

Springer Berlin Heidelberg

Cover Image

168

Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...

by Apt, Krzysztof R
Published 2004

Springer Berlin Heidelberg

Cover Image

169

Component Deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings

by Emmerich, Wolfgang
Published 2004

Springer Berlin Heidelberg

Cover Image

170

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

by Zimmermann, Wolf
Published 2004

Springer Berlin Heidelberg

Cover Image

171

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

by Coquand, Thierry
Published 2000

Springer Berlin Heidelberg

Cover Image

172

Objects and Databases : International Symposium Sophia Antipolis,France,June 13,2000 Revised Papers

by Dittrich, Klaus
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

173

Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings

by Ramakrishnan, I V
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

174

Engineering Distributed Objects : Second International Workshop,EDO 2000 Davis, CA, USA, November 2–3, 2000 Revised Papers

by Emmerich, Wolfgang
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

175

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

by Honsell, Furio
Published 2001

Springer Berlin Heidelberg

Cover Image

176

Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

by Mohnen, Markus
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

177

High-Level Parallel Programming Models and Supportive Environments : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings

by Mueller, Frank
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

178

Compiler Optimizations for Scalable Parallel Systems : Languages, Compilation Techniques, and Run Time Systems

by Pande, Santosh
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

179

Advances in Exception Handling Techniques

by Romanovsky, Alexander
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

180

Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

by Abramsky, Samson
Published 2001

Springer-Verlag Berlin Heidelberg

4
5
6
7
8
9
10
11
12
13
14