Search Results

1

Cover Image

Logic Functions and Equations Examples and Exercises /

by Steinbach, Bernd., Posthoff, Christian.
Published 2009

Get full text

Electronic

2

Cover Image

Principles of Programming Languages

by Dowek, Gilles.
Published 2009

Get full text

Electronic

3

Cover Image

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings /

Published 2009

Get full text

Electronic

4

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

5

Cover Image

Semantic Techniques for the Web The REWERSE Perspective /

Published 2009

Get full text

Electronic

6

Cover Image

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applicat...

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

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /

Published 2013

Get full text

Electronic

10

Cover Image

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /

Published 2013

Get full text

Electronic

11

Cover Image

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /

Published 2013

Get full text

Electronic

12

Cover Image

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

Published 2013

Get full text

Electronic

13

Cover Image

Transactions on Petri Nets and Other Models of Concurrency VII

Published 2013

Get full text

Electronic

14

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

15

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

16

Cover Image

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /

Published 2013

Get full text

Electronic

17

Cover Image

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /

Published 2013

Get full text

Electronic

18

Cover Image

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

Published 2013

Get full text

Electronic

19

Cover Image

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

Published 2013

Get full text

Electronic

20

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

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