MPG.eBooks - Search Results - *

Cover Image

61

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009

Springer London

Cover Image

62

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

Published 2015

Springer International Publishing

Cover Image

63

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

64

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

Published 2015

Springer International Publishing

Cover Image

65

Concrete Semantics : With Isabelle/HOL

by Nipkow, Tobias, Klein, Gerwin
Published 2014

Springer International Publishing

Cover Image

66

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

Published 2015

Springer International Publishing

Cover Image

67

Sampling Theory, a Renaissance : Compressive Sensing and Other Developments

Published 2015

Birkhäuser

Cover Image

68

Quantum Computational Number Theory

by Yan, Song Y.
Published 2015

Springer International Publishing

Cover Image

69

Graph and Model Transformation : General Framework and Applications

by Ehrig, Hartmut, Ermel, Claudia, Golas, Ulrike, Hermann, Frank
Published 2015

Springer Berlin Heidelberg

Cover Image

70

Information Technologies and Mathematical Modelling - Queueing Theory and Applications : 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Su...

Published 2015

Springer International Publishing

Cover Image

71

Operations Research and Enterprise Systems : 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

72

Unconventional Computation and Natural Computation : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Published 2015

Springer International Publishing

Cover Image

73

The Foundations of Computability Theory

by Robič, Borut
Published 2015

Springer Berlin Heidelberg

Cover Image

74

Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

Published 2015

Springer Berlin Heidelberg

Cover Image

75

Petri Net Synthesis

by Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe
Published 2015

Springer Berlin Heidelberg

Cover Image

76

Words and Graphs

by Kitaev, Sergey, Lozin, Vadim
Published 2015

Springer International Publishing

Cover Image

77

Swarm, Evolutionary, and Memetic Computing : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Cover Image

78

Human Aspects of Information Security, Privacy, and Trust : Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015...

Published 2015

Springer International Publishing

Cover Image

79

Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Published 2015

Springer International Publishing

Cover Image

80

Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

Published 2015

Springer International Publishing

1
2
3
4
5
6
7
8
9
10
11