Search Results

1

Cover Image

A friendly introduction to mathematical logic Christopher C. Leary.

by Leary
Published 2000

2

Cover Image

Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn.

by Harel
Published 2000

3

Cover Image

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / edited by Leonardo de Moura.

Published 2017

Get full text

4

Cover Image

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, E...

Published 2017

Get full text

5

Cover Image

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Published 2014

Get full text

6

Cover Image

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.

Published 2007

Get full text

7

Cover Image

CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings / edited by Luís Caires, Vasco T. Vasconcelos.

Published 2007

Get full text

8

Cover Image

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli.

Published 2007

Get full text

9

Cover Image

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann.

Published 2013

Get full text

10

Cover Image

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon,...

Published 2008

Get full text

11

Cover Image

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Published 2008

Get full text

12

Cover Image

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter...

Published 2014

Get full text

13

Cover Image

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coec...

Published 2013

Get full text

14

Cover Image

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings / edited by Katsuhisa Horimoto, Georg Regensburger, Mar...

Published 2008

Get full text

15

Cover Image

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics / by Zoran Majkić.

by Majkić, Zoran., Majkić, Zoran.
Published 2014

Get full text

16

Cover Image

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains / by Susanne Göbel.

by Göbel, Susanne., Göbel, Susanne.
Published 2016

Get full text

17

Cover Image

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings / edited by Till Mossakowski, Ugo Montanari,...

Published 2007

Get full text

18

Cover Image

Algebraic Informatics Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George R...

Published 2007

Get full text

19

Cover Image

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-Franc...

Published 2014

Get full text

20

Cover Image

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Published 2008

Get full text

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