Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN:
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN:
Computer models in the social sciences
[by] R. B. Coats and A. Parkin.1977 年出版184 页ISBN:
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X
ECOLOGY:CONCEPTS & APPLICATIONS
MANUEL C.MOLLES JR.2007 年出版604 页ISBN:9787040220872
本书共分6部分,第一部分从探讨生态学科的本质和历史开始,引出陆生和水生生物的自然来历,旨在奠定基础以便后文进行有关生态学概念的讨论,这部分内容独立成篇,容易理解,可以作为参考背景;第二部分介绍个体生态......