Search Results

1

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /

Berlin ; New York : Springer, 2008

Conference Proceeding Book

2

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

3

Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

4

Symposium on Non-Well-Posed Problems and Logarithmic Convexity, held in Heriot-Watt University, Edinburgh/Scotland March 22-24, 1972.

Berlin, New York, Springer-Verlag, 1973

Conference Proceeding Book

5

The Geological evolution of the Eastern Mediterranean /

Oxford ; Boston : Palo Alto, Calif. : Published for the Geological Society by Blackwell Scientific Publications ; Distributors, USA and Canada, Blackwell Scientific Publications, 1984

Book

6

Job scheduling strategies for parallel processing : 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002 : revised papers /

Berlin ; New York : Springer, 2002

Conference Proceeding Book

7

Microbial subversion of host cells : Sixty-second Symposium of the Society for General Microbiology held at the University of Edinburgh April 2003 /

Cambridge, U.K. ; New York : Cambridge University Press, 2003

Book

8

Spatio-temporal database management : International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999 : proceedings /

Berlin ; New York : Springer, 1999

Conference Proceeding Book

9

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

10

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /

Berlin ; New York : Springer, 2006

Conference Proceeding Book

11

Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

12

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of So...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

13

Component deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings /

Berlin ; London : Springer, 2004

Conference Proceeding Book

14

Staphylococci /

Oxford ; Boston : Blackwell Scientific Publications., 1990

Book

15

Stability and switching in cellular differentiation /

New York : Plenum Press, 1982

Book

16

Key technologies for data management : 21st British National Conference on Databases, BNCOD 21, Edinburgh, UK, July 7-9, 2004 : proceedings /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

17

Evolvable systems : from biology to hardware : third international conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 : proceedings /

Berlin ; New York : Springer, 2000

Conference Proceeding Book

18

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /

Berlin ; New York : Springer, 2001

Conference Proceeding Book

19

User modeling 2005 : 10th international conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

20

Biological order.

by Lwoff, André, 1902-1994
Cambridge, M.I.T. Press 1962

Book

Narrow Search