Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
18 Results Found Subscribe to search results
000000000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      by 
      IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
      Format: 
      Excerpt: 
      IFIP transactions. A, Computer science and technology ;
      by 
      L'Hermite, P. (Pierre), 1936-
      Format: 
      Excerpt: 
      Elsevier Applied Science Publishers ; Sole distributor in the USA and Canada, Elsevier Science Pub
      by 
      Nenot, J. C.
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080234403">http://www
      by 
      International School of Fusion Reactor Technology (1976 : Erice, Italy)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080220345">http://www
      by 
      Symposium on Fusion Technology (9th : 1976 : Garmisch-Partenkirchen)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080213699">http://www
      by 
      International Symposium on Hearing (9th : 1991 : Carcens, France)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080418476">http://www
      by 
      Rubery, Eileen.
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080374963">http://www
      by 
      Joint Grenoble-Varenna International Symposium (2nd : 1980 : Como, Italy)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781483283739">http://www
      by 
      Joint Varenna-Grenoble International Symposium (1st : 1978 : Grenoble, France)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781483283845">http://www
      by 
      International Symposium on Plasma Wall Interaction (1976 : Jülich, Germany)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080219899">http://www
      by 
      Seminar on Advances in Oxygenator Design (1975 : Copenhagen)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444414533">http://www
      by 
      Di Ferrante, Elvira.
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080234427">http://www
      by 
      Commission of the European Communities.
      Format: 
      Excerpt: 
      initiative of the Commission of the European Communities (Directorate-General for Science, Research and
      by 
      E.C. Conference (8th : 1994 : Vienna, Austria)
      Format: 
      Excerpt: 
      ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780080421353">https://www
      by 
      Marini-Bettòlo, G. B. (Giovanni Battista)
      Format: 
      Excerpt: 
      ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444989277">http://www
      by 
      Commission of the European Communities.
      Format: 
      Excerpt: 
      ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780408221573">https://www
      by 
      Colloquium on the Evaluation of Toxicological Data for the Protection of Public Health (1976 : Luxemburg)
      Format: 
      Excerpt: 
      ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780080219981">https://www