skip to main content
Show Results with:

Results 1 - 10 of 6,525  for Everything in this catalogue

results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thesis
Add to My workspace

Extensions to coloured Petri nets and their application to protocols.

Jonathan Billington

University of Cambridge, 1990.

Online access

2 related resources
2
Material Type:
Thesis
Add to My workspace

Qualified types : theory and practice.

Mark P Jones

University of Oxford, 1992.

Online access

4 related resources
3
Material Type:
Thesis
Add to My workspace

Mechanizing set theory.

Francisco Corella

University of Cambridge, 1989.

Online access

2 related resources
4
Material Type:
Thesis
Add to My workspace

A unified approach to the identification of dynamic behaviour using the theory of vector spaces.

T. A Brown

University of Bristol, 1985.

Online access

2 related resources
5
Material Type:
Thesis
Add to My workspace

Investigations into the complexity of some propositional calculi.

Marcello D'Agostino

University of Oxford, 1992.

Online access

2 related resources
6
Material Type:
Thesis
Add to My workspace

Higher-level algorithmic structures in the refinement calculus.

Stephen King

University of Oxford, 1998.

Online access

2 related resources
7
Material Type:
Thesis
Add to My workspace

Categorical abstract machines for higher-order typed lambda calculi.

Eike Ritter

University of Cambridge, 1992.

Online access

2 related resources
8
Material Type:
Thesis
Add to My workspace

Probabilistic communicating processes.

Karen Seidel

University of Oxford, 1992.

Online access

2 related resources
9
Material Type:
Article
Add to My workspace

Smooth Variational Principles and Diagonal Dependent Choices (English, Romanian summary)

Turinici, M.

BULETINUL- INSTITUTULUI POLITEHNIC DIN IASI SECTIA 1 MATEMATICA MECANICA TEORETICA FIZICA.; Applied and pure mathematics; Iasi, Romania, 2010; Nov, 2011, 269-282 -- Iasi; Gheorghe Asachi Technical University of Iasi; 2011 Part 1; (pages 269-282) -- 2011

Check library holdings

10
Material Type:
Article
Add to My workspace

The Hewitt Spaces as Right Factorized Product of Two Subcategories (English, Romanian summary)

Botnaru, D.; Turcanu, A.

BULETINUL- INSTITUTULUI POLITEHNIC DIN IASI SECTIA 1 MATEMATICA MECANICA TEORETICA FIZICA.; Applied and pure mathematics; Iasi, Romania, 2010; Nov, 2011, 37-46 -- Iasi; Gheorghe Asachi Technical University of Iasi; 2011 Part 1; (pages 37-46) -- 2011

Check library holdings

Results 1 - 10 of 6,525  for Everything in this catalogue

results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (3,261)
  2. Online: Reading Room only  (3,229)
  3. Online  (3,202)
  4. Request to Reading Room  (1,460)
  5. Refine further open sub menu

Material type 

  1. Theses  (3,202)
  2. Books  (3,182)
  3. Articles  (155)
  4. Refine further open sub menu

Creation date 

From To
  1. Before1979  (12)
  2. 1979To1986  (1,152)
  3. 1987To1994  (2,991)
  4. 1995To2003  (1,993)
  5. After 2003  (140)
  6. Refine further open sub menu

Language 

  1. Unspecified  (4,469)
  2. English  (2,021)
  3. Russian  (1)
  4. Refine further open sub menu

Searching Remote Databases, Please Wait