MPG.eBooks - Search Results - *

Cover Image

1

Semantics of Probabilistic Processes : An Operational Approach

by Deng, Yuxin
Published 2014

Springer Berlin Heidelberg

Cover Image

2

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Published 2015

Springer Berlin Heidelberg

Cover Image

3

Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

4

Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

Published 2015

Springer International Publishing

Cover Image

5

Quantum Interaction : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

6

SOFSEM 2015: Theory and Practice of Computer Science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic,...

Published 2015

Springer Berlin Heidelberg

Cover Image

7

Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

8

Shape Reconstruction from Apparent Contours : Theory and Algorithms

by Bellettini, Giovanni, Beorchia, Valentina, Paolini, Maurizio, Pasquarelli, Franco
Published 2015

Springer Berlin Heidelberg

Cover Image

9

Concrete Semantics : With Isabelle/HOL

by Nipkow, Tobias, Klein, Gerwin
Published 2014

Springer International Publishing

Cover Image

10

Information Technologies and Mathematical Modelling : 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 201...

Published 2014

Springer International Publishing

Cover Image

11

Sequences and Their Applications - SETA 2014 : 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Published 2014

Springer International Publishing

Cover Image

12

Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Published 2014

Springer International Publishing

Cover Image

13

Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Published 2014

Springer Berlin Heidelberg

Cover Image

14

Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Published 2015

Springer Berlin Heidelberg

Cover Image

15

High Performance Computing for Computational Science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

16

Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

17

Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

18

New Horizons in Design Science: Broadening the Research Agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings

Published 2015

Springer International Publishing

Cover Image

19

Operations Research and Enterprise Systems : Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

20

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Published 2015

Springer International Publishing

1
2
3
4
5
6
7
8
9
10
11