Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN：3540288694
Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C
2004 年出版877 页ISBN：3540212000
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
Electric Powertrain - Energy Systems Power Electronics & Drives For Hybrid Electric & Fuel Cell Vehi
John Hayes2017 年出版530 页ISBN：1119063643
Web Data Mining And The Development Of Knowledge-based Decision Support Systems
G.Sreedhar2017 年出版414 页ISBN：1522518778
Power electronics applied to industrial systems and transports Synthetic methodology to converters a
Nicolas Patin2015 年出版168 页ISBN：1785480003
SYSTEMS THINKING：MANAGING CHAOS AND COMPLEXITY A PLATFORM FOR DESIGNING BUSINESS ARCHITECTURE THIR
JAMSHID GHARAJEDAGHI2011 年出版351 页ISBN：0123859158
WRESTLING WITH DEMOCRACY VOTING SYSTEMS AS POLITICS IN THE TWENTIETH-CENTURY WEST
DENNIS PILON2013 年出版394 页ISBN：1442613505
INTRODUCTION TO COMPUTERS AND INFORMATION SYSTEMS WITH HANDS-ON SOFTWARE TUTORIALS
ROBERT A.SZYMANSKI DONALD P.SZYMANSKI NORMA A.MORRIS DONNA M.PULSHEN1991 年出版932 页ISBN：0675221846
