Search Results

1

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

2

Cover Image

Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings /

Published 2009

Get full text

Electronic

3

Cover Image

Design, Analysis and Test of Logic Circuits Under Uncertainty

by Krishnaswamy, Smita., Markov, Igor L., Hayes, John P.
Published 2013

Get full text

Electronic

4

Cover Image

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

Published 2013

Get full text

Electronic

5

Cover Image

Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents Perspective /

by Chan, Chi-kong., Leung, Ho-fung.
Published 2013

Get full text

Electronic

6

Cover Image

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /

Published 2013

Get full text

Electronic

7

Cover Image

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /

Published 2013

Get full text

Electronic

8

Cover Image

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /

Published 2010

Get full text

Electronic

9

Cover Image

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /

Published 2009

Get full text

Electronic

10

Cover Image

Approximate Commutative Algebra

Published 2010

Get full text

Electronic

11

Cover Image

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /

Published 2013

Get full text

Electronic

12

Cover Image

Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010. Proceedings /

Published 2010

Get full text

Electronic

13

Cover Image

Symmetry and Pattern in Projective Geometry

by Lord, Eric.
Published 2013

Get full text

Electronic

14

Cover Image

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /

Published 2013

Get full text

Electronic

15

Cover Image

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers /

Published 2013

Get full text

Electronic

16

Cover Image

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings /

Published 2013

Get full text

Electronic

17

Cover Image

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /

Published 2013

Get full text

Electronic

18

Cover Image

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /

Published 2013

Get full text

Electronic

19

Cover Image

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D<U+00fc>sseldorf, Germany, August 2013. Proceedings...

Published 2013

Get full text

Electronic

20

Cover Image

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings /

Published 2013

Get full text

Electronic

1
2
3
4
5
Next »
[5]