Search Results | College of the Holy Cross

1

Concepts & Images Visual Mathematics

Concepts & Images Visual Mathematics by Arthur Loeb.

by Loeb, Arthur., Loeb, Arthur.
Published 1993

Click to view e-book

Electronic eBook

2

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

3

Logic and Computational Complexity International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers

Logic and Computational Complexity International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers edited by Daniel Leivant.

Published 1995

Click to view e-book

Electronic eBook

4

Progress in Fuzzy Sets and Systems

Progress in Fuzzy Sets and Systems edited by W. Janko, M.R. Roubens, Hans-Jürgen Zimmermann.

Published 1990

Click to view e-book

Electronic eBook

5

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

6

Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings

Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings edited by Jordi Cortadella, Wolfgang Reisig.

Published 2004

Click to view e-book

Electronic eBook

7

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

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

ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson.

Published 2002

Click to view e-book

Electronic eBook

10

Foundations of Mathematics Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel

Foundations of Mathematics Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel herausgegeben von Jack John Bulloff, Thomas Campell Holyoke, S.W. Hahn.

Published 1969

Click to view e-book

Electronic eBook

11

Fuzzy Logic A Framework for the New Millennium

Fuzzy Logic A Framework for the New Millennium edited by Vladimir Dimitrov, Victor Korotkich.

Published 2002

Click to view e-book

Electronic eBook

12

Leśniewski’s Systems Protothetic

Leśniewski’s Systems Protothetic edited by Jan J.T. Srzednicki, Z. Stachniak.

Published 1998

Click to view e-book

Electronic eBook

13

Logics for Emerging Applications of Databases

Logics for Emerging Applications of Databases edited by Jan Chomicki, Ron van der Meyden, Gunter Saake.

Published 2004

Click to view e-book

Electronic eBook

14

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

15

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

16

Fuzzy Approach to Reasoning and Decision-Making Selected Papers of the International Symposium held at Bechyně, Czechoslovakia, 25-29 June 1990

Fuzzy Approach to Reasoning and Decision-Making Selected Papers of the International Symposium held at Bechyně, Czechoslovakia, 25-29 June 1990 edited by Vilém Novák, Jaroslav Ramík, Milan Mares, Martin Cerný, Jirí Nekola.

Published 1992

Click to view e-book

Electronic eBook

17

Rough Sets and Current Trends in Computing Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers

Rough Sets and Current Trends in Computing Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers edited by Wojciech Ziarko, Yiyu Yao.

Published 2001

Click to view e-book

Electronic eBook

18

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

19

Modeling and Using Context Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings

Modeling and Using Context Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings edited by Varol Akman, Paolo Bouquet, Richmond Thomason, Roger A. Young.

Published 2001

Click to view e-book

Electronic eBook

20

Collegium Logicum

Collegium Logicum

Published 1995

Click to view e-book

Electronic eBook

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