Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN:3540291067
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
Class Construction in C and C++ Object-Oriented Programming Fundamentals
1992 年出版477 页ISBN:0136301045
SOLVENT EXTRACTION AND LIQUID MEMBRANES Fundamentals and Applications in New Materials
2008 年出版344 页ISBN:9780824740153
LINUX PROGRAMMING BY EXAMPLE THE FUNDAMENTALS
[美]ARNOLD ROBBINS著2005 年出版687 页ISBN:711116864X
本书通过编写得很好的程序示例讲授Linux编程。书中采用非常有效的方式,循序渐进地讲授了许多高层原理和深层技术,解决了性能、可移植性、健壮性等现实问题。基于Unix版本7和GNU源代码,作者着重介绍了基本的系...
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN:1681732596
STRUCTURE-ACTIVITY CORRELATION AS A PREDICTIVE TOOL IN TOXICOLOGY:FUNDAMENTALS
METHODS1983 年出版330 页ISBN: