skip to main content
Show Results with:

Results 1 - 10 of 4,216  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:
Article
Add to My workspace

Analyses of Mercury and Organochlorines in Individual Marine Mammals from the Faroe Islands

Dam, M.

Fróðskaparrit : annales Societatis Scientiarum Færoensis. VOL 48, ; 2001, 145-174 -- FOEROYA FROOSKAPARFELAG TORSHAVN (pages 145-174) -- 2001

Check library holdings

2
Material Type:
Article
Add to My workspace

Lennart Gram

Dam, M.

Acta neurologica Scandinavica. VOL 100; NUMBER 2, ; 1999, 75 -- MUNKSGAARD INTERNATIONAL PUBLISHERS LTD -- 1999

Check library holdings

3
Material Type:
Article
Add to My workspace

Model Checking Mobile Processes

Dam, M.

Information and computation. VOL 129; NUMBER 1, ; 1996, 35-52 -- ACADEMIC PRESS INC Part: Part 1; (pages 35-52) -- 1996

Online access

4
Material Type:
Article
Add to My workspace

Kan epilepsidodsfald forebygges?

Dam, M.

Ugeskrift for læger. VOL 162; PART 25, ; 2000, 3567-3568 -- DEN ALM DANSKE LAEGEFORENING (pages 3567-3568) -- 2000

Check library holdings

5
Material Type:
Article
Add to My workspace

Decidability and proof systems for language-based noninterference relations

Dam, M.

ACM SIGPLAN notices.; Principles of programming languages; Charleston, SC, 2006; Jan, 2007, 7 -- New York; ACM; 2007 Part: Part; -- 2007

Check library holdings

6
Material Type:
Article
Add to My workspace

Epilepsy surgery

Dam, M.

Acta neurologica Scandinavica. VOL 94; NUMBER 2, ; 1996, 81-87 -- MUNKSGAARD INTERNATIONAL PUBLISHERS LTD Part: Part 2; (pages 81-87) -- 1996

Check library holdings

7
Material Type:
Article
Add to My workspace

Decidability and Proof Systems for Language-Based Noninterference Relations

Dam, M.

ACM SIGPLAN notices. VOL 41; NUMB 1, ; 2006, 67-78 -- ACM; 1999 (pages 67-78) -- 2006

Check library holdings

8
Material Type:
Article
Add to My workspace

Decidability and Proof Systems for Language-Based Noninterference Relations

Dam, M.

ACM SIGPLAN notices.; Conference record of POPL 2006: the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages; Charleston, SC, 2006; Jan, 2006, 67-78 -- ACM Press; 2006 (pages 67-78) -- 2006

Check library holdings

9
Material Type:
Article
Add to My workspace

Proving Properties of Dynamic Process Networks

Dam, M.

Information and computation. VOL 140; NUMBER 2, ; 1998, 95-114 -- ACADEMIC PRESS INC (pages 95-114) -- 1998

Online access

10
Material Type:
Article
Add to My workspace

Practical Aspects of Oxcarbazepine Treatment

Dam, M.

Epilepsia. VOL 35; NUMBER SUP//3, ; 1994, S23 -- RAVEN PRESS PUBLISHERS Part: Part //3; -- 1994

Check library holdings

Results 1 - 10 of 4,216  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,741)
  2. Request to Reading Room  (2,869)
  3. Online: Reading Room only  (1,564)
  4. Online  (14)
  5. Refine further open sub menu

Material type 

  1. Articles  (4,071)
  2. Books  (130)
  3. Audio  (12)
  4. Theses  (3)
  5. Refine further open sub menu

Creation date 

From To
  1. Before1978  (13)
  2. 1978To1989  (19)
  3. 1990To1998  (916)
  4. 1999To2008  (1,346)
  5. After 2008  (1,851)
  6. Refine further open sub menu

Language 

  1. English  (3,117)
  2. Unspecified  (78)
  3. Dutch  (20)
  4. German  (14)
  5. French  (12)
  6. Danish  (7)
  7. Italian  (5)
  8. Multiple languages  (2)
  9. Swedish  (1)
  10. Arabic  (1)
  11. Faroese  (1)
  12. Frisian  (1)
  13. Refine further open sub menu

Form/Genre 

  1. Article  (3,359)
  2. Conference literature  (712)
  3. Congresses  (6)
  4. Maps  (1)
  5. History  (1)
  6. Refine further open sub menu

Additional Features 

  1. Abstract  (1,534)
  2. No Abstract  (2,537)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Dam, M
  2. van Dam, R. M.
  3. Van Dam, J.
  4. van Dam, A. M.
  5. van Dam, G. M.

Searching Remote Databases, Please Wait