MPG.eBooks - Search Results - "Computer Science"

201

Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

Published 1986

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

202

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference C...

Published 1991

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

203

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 2: Tutorials

Published 1991

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

204

Ada 95, Quality and Style : Guidelines for Professional Programmers

Published 1995

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Read Now

205

Case-Based Learning

Published 1993

Springer US

Subjects: “...Computer science...”

Read Now

206

Extensional Constructs in Intensional Type Theory

by Hofmann, Martin
Published 1997

Springer London

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

207

Parallel Algorithm Derivation and Program Transformation

Published 1993

Springer US

Subjects: “...Computer science...”

Read Now

208

Transactions on Petri Nets and Other Models of Concurrency VII

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

209

Programming Languages: Principles and Paradigms

by Gabbrielli, Maurizio, Martini, Simone
Published 2010

Springer London

Subjects: “...Computer science...”

Read Now

210

Spring Recipes : A Problem-Solution Approach

by Mak, Gary, Rubio, Daniel, Long, Josh
Published 2010

Apress

Subjects: “...Computer science...”

Read Now

211

Unfoldings : A Partial-Order Approach to Model Checking

by Esparza, Javier, Heljanko, Keijo
Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

212

Spring Boot Messaging : Messaging APIs for Enterprise and Integration Solutions

by Gutierrez, Felipe
Published 2017

Apress

Subjects: “...Computer science...”

Read Now

213

Logic programming languages : constraints, functions, and objects

by Apt, Krzysztof R.
Published 1993

MIT Press

Subjects: “...COMPUTER SCIENCE/Artificial Intelligence...”

Read Now

214

Pro Java Microservices with Quarkus and Kubernetes : A Hands-on Guide

by Lamouchi, Nebrass
Published 2021

Apress

Subjects: “...Computer science...”

Read Now

215

Distributed Graph Analytics : Programming, Languages, and Their Compilation

by Cheramangalath, Unnikrishnan, Nasre, Rupesh, Srikant, Y. N.
Published 2020

Springer International Publishing

Subjects: “...Computer science / Mathematics...”

Read Now

216

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Published 2011

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

217

Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

218

Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

219

Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

220

Principles and Practice of Constraint Programming - CP 2012 : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Narrow Search