Search Results

1

Cover Image

Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz /

Published 2009

Get full text

Electronic

2

Cover Image

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL08 /

Published 2009

Get full text

Electronic

3

Cover Image

Exploring C++ The Programmers Introduction to C++ /

by Lischner, Ray.
Published 2009

Get full text

Electronic

4

Cover Image

The Fortran 2003 Handbook The Complete Syntax, Features and Procedures /

by Adams, Jeanne C., Brainerd, Walter S., Hendrickson, Richard A., Maine, Richard E., Martin, Jeanne T., Smith, Brian T.
Published 2009

Get full text

Electronic

5

Cover Image

Principles of Programming Languages

by Dowek, Gilles.
Published 2009

Get full text

Electronic

6

Cover Image

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /

Published 2009

Get full text

Electronic

7

Cover Image

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Published 2009

Get full text

Electronic

8

Cover Image

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Published 2009

Get full text

Electronic

9

Cover Image

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasl̕ia, Brazil, October 3 - 4, 2013. Proceedings /

Published 2013

Get full text

Electronic

10

Cover Image

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /

Published 2013

Get full text

Electronic

11

Cover Image

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /

Published 2013

Get full text

Electronic

12

Cover Image

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /

Published 2013

Get full text

Electronic

13

Cover Image

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, Proceedings...

Published 2013

Get full text

Electronic

14

Cover Image

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Published 2013

Get full text

Electronic

15

Cover Image

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /

Published 2013

Get full text

Electronic

16

Cover Image

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings /

Published 2013

Get full text

Electronic

17

Cover Image

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /

Published 2013

Get full text

Electronic

18

Cover Image

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /

Published 2013

Get full text

Electronic

19

Cover Image

Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings /

Published 2009

Get full text

Electronic

20

Cover Image

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Published 2009

Get full text

Electronic

1
2
3
4
5
6
7
8
9
10
11
Next »
[15]

Cannot write session to /tmp/vufind_sessions/sess_0n75ulb670dqrf97afamu0lsh3