Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Proceedings of SPIE-The International Society for Optical Engineering Volume 721 Fiber Optics in Adv
1987 年出版132 页ISBN：0892527560
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
TOO SICK TO WORK? SOCIAL SECURITY REFORMS IN EUROPE FOR PERSONS WITH REDUCED EARNINGS CAPACITY
STAMATIA DEVETZI AND SARA STENDAHL2011 年出版189 页ISBN：9041134263
The Institute of Biologv's Studies in Biology No.43 Introductory Statistics for Biology Second Editi
2222 年出版122 页ISBN：0713127295
FAO ANIMAL PRODUCTION AND HEALTH PAPER 169: GOOD PRACTICES FOR BIOSECURITY IN THE PIG SECTOR ISSUES
2010 年出版74 页ISBN：9789251065075
SCHAUM'S SOLVED PROBLEMS SERIES 700 SOLVED PROBLEMS IN VECTOR MECHANICS FOR ENGINEERS VOLUME II: DYN
1991 年出版720 页ISBN：0070566879
Systems Management Under UNIX and UNIX-Like Systems
N.G.Backhurst and P.J.Davies1986 年出版222 页ISBN：
HOW TO LIVE IN BRITAIN 1988 THE BRITISH COUNCIL'S GUIDE FOR OVERSEAS STUDENTS AND VISITORS
1988 年出版84 页ISBN：033345314X
SAFETY RECOMMENDATIONS FOR DECKED FISHING VESSELS OF LESS THAN 12 METRES IN LENGTH AND UNDECKED FISH
2012 年出版254 页ISBN：925107397X
