نتایج جستجو
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
Sharon Shoham (editor), Yakir Vizel (editor), 2022
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
Constantin Enea (editor), Akash Lal (editor), 2023
Computer-aided graphing and simulation tools for AutoCAD users
P.A. Simionescu., 2015
A natural language interface for computer aided design
T. Samad, 1986
Computer-aided Design of Electrical Machines
Vishnu Murthy, K. M.
A Sampler of Useful Computational Tools for Applied Geometry, Computer Graphics, and Image Processing
Daniel Cohen-Or, Chen Greif, Tao Ju, Niloy Jyoti Mitra, Ariel Shamir, Olga Sorkine-Hornung, Hao Zhang, 2015
A Sampler of Useful Computational Tools for Applied Geometry, Computer Graphics, and Image Processing
Daniel Cohen-Or, Chen Greif, Tao Ju, Niloy J. Mitra, Ariel Shamir, Olga Sorkine-Hornung, Hao (Richard) Zhang, 2015
Advanced Computer Simulation Approaches for Soft Matter Sciences II
Marcus Müller, Friederike Schmid (auth.), Christian Holm, Kurt Kremer (eds.), 2005
Advanced Computer Simulation Approaches for Soft Matter Sciences III
G. Gompper, T. Ihle, D. M. Kroll (auth.), Prof. Christian Holm, Prof. Kurt Kremer (eds.), 2009
Advanced Computer Simulation Approaches for Soft Matter Sciences III
G. Gompper, T. Ihle, D. M. Kroll (auth.), Prof. Christian Holm, Prof. Kurt Kremer (eds.), 2009
Advanced Computer Simulation: Approaches for Soft Matter Sciences I
Kurt Binder, Marcus Müller, Peter Virnau (auth.), Christian Dr. Holm, Kurt Prof. Dr. Kremer (eds.), 2005
Advanced Computer Simulation: Approaches for Soft Matter Sciences I
Kurt Binder, Marcus Müller, Peter Virnau (auth.), Christian Dr. Holm, Kurt Prof. Dr. Kremer (eds.), 2005
Computer-Aided Drug Design and Delivery Systems
Ahindra Nag, Baishakhi Dey, 2010
Computer-aided drug design and delivery systems
Ahindra Nag; Baishakhi Dey, 2011
Computer-Aided Systems in Public Transport
Ralf Borndörfer, Andreas Löbel, Steffen Weider (auth.), Professor Mark Hickman, Professor Pitu Mirchandani, Professor Dr. Stefan Voß (eds.), 2008
Computer-aided Systems in Public Transport
Ralf Borndörfer, Andreas Löbel, Steffen Weider (auth.), Professor Mark Hickman, Professor Pitu Mirchandani, Professor Dr. Stefan Voß (eds.), 2008
Code. The Hidden Language of Computer Hardware and Software
Charles Petzold, 1999
Code: The Hidden Language of Computer Hardware and Software
Charles Petzold, 2000
Code: The Hidden Language of Computer Hardware and Software
Charles Petzold, 2000
Code: The Hidden Language of Computer Hardware and Software
Charles Petzold, 2000
Code: The Hidden Language of Computer Hardware and Software
Charles Petzold, 2000
