Results
|
|
|
|
|
|
|
|
Scanning tunneling microscopy : I : general principles and applications to clean and adsorbate-covered surfaces / H. J. Guntherodt, R. Wiesendanger, ed. lit. Publication: New York : Springer-Verlag, cop. 1992Description: XII, 246 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QC173.4.SCA FCT 23331 (1).
|
|
|
Scanning tunneling microscopy : II : further applications and related scanning techniques / R. Wiesendanger, H. J. Guntherodt, ed. lit. Publication: New York : Springer-Verlag, cop. 1992Description: XIV, 308 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QC173.4.SCA FCT 23332 (1).
|
|
|
Scanning tunneling microscopy : III : theory of STM and related scanning probe methods / R. Wiesendanger, H. J. Guntherodt, ed. lit. Publication: New York : Springer-Verlag, cop. 1993Description: XV, 375 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QC173.4.SCA FCT 23569 (1).
|
|
|
Reactions and processes / P. B. Barraclough ... [et al.] Publication: Berlin : Springer-Verlag, 1988Description: X, 210 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: QD31.HAN FCT 23397 (1).
|
|
|
Axiom : the scientific computation system / Richard D. Jenks, Robert S. Sutor Publication: New York : Springer-Verlag, cop. 1992Description: XXIV, 742 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.95.JEN FCT 23460 (1).
|
|
|
Organic molecular crystals : their electronic states / E. A. Silinsh Publication: New York : Springer-Verlag, 1980Description: XVIII, 389 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QD921.SIL FCT 23409 (1).
|
|
|
One-dimensional conductors / S. Kagoshima, H. Nagasawa, T. Sambongi Publication: New York : Springer-Verlag, 1988Description: XII, 235 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QC176.8.KAG FCT 23410 (1).
|
|
|
Logic programming : first Russian conference on logic programming, Irkutsk, Russia, September 14-18, 1990 / editor A. Voronkov Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: IX, 514 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22857 (1).
|
|
|
Processing declarative knowledge : international workshop PDK'91, Kaiserlautern, Germany, July 1991 / H. Boley, M. M. Richter, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1991Description: XII, 427 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22862 (1).
|
|
|
Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 1990 / B. Fronhõfer, G. Wrightson, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: VIII, 372 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22863 (1).
|
|
|
Extensions of logic programming : second international workshop, ELP'91, Stockholm, Sweden, January 1991 / Lars-Henrik Eriksson, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: 369 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22865 (1).
|
|
|
|
|
|
Current developments in knowledge acquisition : EKAW'92 : 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992 / editor Thomas Wetter ... [et al.] Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XIII, 444 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22867 (1).
|
|
|
|
|
|
Automated deduction - CADE-11 : 11th international conference on automated deduction, Saratoga Springs, NY, USA, June 1992 / Deepak Kapur, ed. lit. Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XV, 793 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22869 (1).
|