Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
INNOVATIVE PROCESSING AND MANUFACTURING OF ADVANCED CERAMICS AND COMPOSITES
2010 年出版236 页ISBN:0470876468
VIDEO PROCESSING AND COMMUNICATIONS
YAO WANG JORN OSTERMANN YA-QIN ZHANG2002 年出版595 页ISBN:0130175471
Lecture Notes in Computer Science 3484 Efficient Approximation and Online Algorithms
Evripidis Bampis2006 年出版349 页ISBN:
BASIC PROGRAMS FOR STEAM PLANT ENGINEERS:BOILERS,COMBUSTION,FLUID FLOW,AND HEAT TRANSFER
V.GANAPATHY2222 年出版152 页ISBN:0824774892
Optimization of linear control systems : analytical methods and computational algorithms
F. A.Aliev and v.b.larin1998 年出版261 页ISBN:9056991132