Search Results | College of the Holy Cross

1

FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings edited by Jose N. Oliveira, Pamela Zave.

Published 2001

Click to view e-book

Electronic eBook

2

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings edited by Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli.

Published 2001

Click to view e-book

Electronic eBook

3

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears.

Published 2003

Click to view e-book

Electronic eBook

4

Logic Program Synthesis and Transformation Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993

Logic Program Synthesis and Transformation Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993... edited by Yves Deville.

Published 1994

Click to view e-book

Electronic eBook

5

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers edited by Bruce Watson, Derick Wood.

Published 2002

Click to view e-book

Electronic eBook

6

Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings edited by Jim Davies, Wolfram Schulte, Mike Barnett.

Published 2004

Click to view e-book

Electronic eBook

7

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings edited by Shriram Krishnamurthi, C.R. Ramakrishnan.

Published 2002

Click to view e-book

Electronic eBook

8

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings edited by Sophie Tison.

Published 2002

Click to view e-book

Electronic eBook

9

Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva.

Published 2002

Click to view e-book

Electronic eBook

10

Live Data Structures in Logic Programs Derivation by Means of Abstract Interpretation

Live Data Structures in Logic Programs Derivation by Means of Abstract Interpretation by Anne Mulkers.

by Mulkers, Anne., Mulkers, Anne.
Published 1993

Click to view e-book

Electronic eBook

11

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers edited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov.

Published 2019

Click to view e-book

Electronic eBook

12

Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings

Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings edited by Judith Bishop.

Published 2002

Click to view e-book

Electronic eBook

13

Conditional and Typed Rewriting Systems 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Conditional and Typed Rewriting Systems 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings edited by Nachum Dershowitz, Naomi Lindenstrauss.

Published 1995

Click to view e-book

Electronic eBook

14

Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings edited by Agostino Cortesi, Gilberto File.

Published 1999

Click to view e-book

Electronic eBook

15

Category Theory and Computer Science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings

Category Theory and Computer Science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings edited by David Pitt, David E. Rydeheard, Peter Johnstone.

Published 1995

Click to view e-book

Electronic eBook

16

Collegium Logicum

Collegium Logicum

Published 1995

Click to view e-book

Electronic eBook

17

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers edited by Kung-Kiu Lau.

Published 2001

Click to view e-book

Electronic eBook

18

Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice o... edited by Kurt Jensen, Andreas Podelski.

Published 2004

Click to view e-book

Electronic eBook

19

On the Shape of Mathematical Arguments

On the Shape of Mathematical Arguments by Antonetta J.M. van Gasteren.

by Gasteren, Antonetta J.M. van., Gasteren, Antonetta J.M. van.
Published 1990

Click to view e-book

Electronic eBook

20

Graph-Theoretic Concepts in Computer Science 21st International Workshop, WG '95, Aachen, Germany, June 20 - 22, 1995. Proceedings

Graph-Theoretic Concepts in Computer Science 21st International Workshop, WG '95, Aachen, Germany, June 20 - 22, 1995. Proceedings edited by Manfred Nagl.

Published 1995

Click to view e-book

Electronic eBook

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