‘Computer Science (Specific Aspects)’ 검색 결과

20건

Logical Foundations of Computer Science

Sergei Artemov, 2007 / 판 9개

Formal and practical aspects of autonomic computing and networking

Phan Cong-Vinh, 2012 / 판 2개

Hardware specification, verification, and synthesis

1990

Distributed computer control for industrial automation

Dobrivoje Popovic, Dobrivojie Popovic, Vijay P. Bhatkar, 1990 / 판 2개

Formal and practical aspects of autonomic computing and networking

Phan Cong-Vinh, 2012

Computer simulation in materials science

ASM Materials Science Seminar (1986 Lake Buena Vista, Fla.), R. J. Arsenault, J. R. Beeler, 1988 / 판 2개

Formal and practical aspects of domain-specific languages

Marjan Mernik, 2013

Healthy computing

Ronald Harwin, Colin Haynes, 1991 / 판 3개

Applied Parallel Computing: Computations in Physics, Chemistry, and Engineering Science

Jerzy Wasniewski, Kaj Madsen, J.J. Dongarra, 1996

Estimating the query difficulty for information retrieval

David Carmel, 2010 / 판 2개

Visual object recognition

Kristen Lorraine Grauman, 2011

Representations and techniques for 3D object recognition and scene interpretation

Derek Hoiem, 2011

Protocol specification, testing, and verification, X

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (10th 1990 Ottawa, Canada)), Luigi Logrippo, Robert L. Probert, 1990 / 판 2개

Program Construction

Heinz Bauer, 1982

Success without college

Joanne C. Wachter, Huey Allen, 2000 / 판 2개

Computers and ethics in the cyberage

D. Micah Hester, Paul J. Ford, 2000 / 판 2개

Formal Aspects of Component Software

Farhad Arbab, 2012 / 판 4개

Strategy of computer selection

Kelly, Fred., Fred Kelly, Peter Poggi, 1983 / 판 2개

Transactions on aspect-oriented software development XI

Shigeru Chiba, 2014

Computer-Aided Environmental Testing

1984

찾는 책이 없나요?

제목이나 표지 사진만 주셔도 찾아 드립니다. 여러 권이면 기업 기관 구매에서 목록째 넣으실 수 있습니다.

찾아 달라고 하기목록 넣기