Multidisciplinary Methods for Analysis Optimization and Control of Complex Systems
Vincenzo Capasso Jacques Periaux2005 年出版295 页ISBN:
A genealogy of modernism:a study of English literary doctrine 1908-0922
Michael H. Lenenson1984 年出版250 页ISBN:
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN:3540433767