MPG.eBooks - Search Results

1

Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, Proceedings

Published 1990

Springer Berlin Heidelberg

Read Now

2

Languages and Compilers for Parallel Computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Read Now

3

Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Read Now

4

Pattern Calculus : Computing with Functions and Structures

by Jay, Barry
Published 2009

Springer Berlin Heidelberg

Read Now

5

New Frontiers in Artificial Intelligence : JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

Read Now

6

Compiler Construction : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29...

Published 2009

Springer Berlin Heidelberg

Read Now

7

Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Read Now

8

Compiler Construction : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March...

Published 2010

Springer Berlin Heidelberg

Read Now

9

Languages and Compilers for Parallel Computing : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Read Now

10

Computer Algebra in Scientific Computing : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Read Now

11

Object-Oriented Programming and Java

by Poo, Danny, Kiong, Derek, Ashok, Swarnalatha
Published 2008

Springer London

Read Now

12

Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Read Now

13

Conceptual Modeling : 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding

Published 2012

Springer Berlin Heidelberg

Read Now

14

Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Read Now

15

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Published 2012

Springer Berlin Heidelberg

Read Now

16

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

Published 2001

Springer Berlin Heidelberg

Read Now

17

ECOOP '99 - Object-Oriented Programming : 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Read Now

18

Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization

by Fahringer, Thomas, Scholz, Bernhard
Published 2003

Springer Berlin Heidelberg

“... specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to ?nd program errors; detect and tune performan- critical...”

Read Now

19

Business Process Management Workshops : BPM 2019 International Workshops, Vienna, Austria, September 1–6, 2019, Revised Selected Papers

Published 2019

Springer International Publishing

Read Now

20

Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Narrow Search