SICS 전자책 서비스

미디어학

법학

심리학

컴퓨터학

경제학

교육학

언어학

정치외교학

행정학

노어노문학

한국사학

영어영문학

통계학

서어서문학

중어중문학

지구환경과학

사회학

기계공학

건축학

물리학

신소재공학

생명과학

환경생태공학

수학

경영학

ALL (3,876 Categories, 1,164,519 E-books)

국내 (22 Categories)

ANTIQUES & COLLECTIBLES (41 Categories)

ARCHITECTURE (39 Categories)

ART (84 Categories)

BIBLES (30 Categories)

BIOGRAPHY & AUTOBIOGRAPHY (42 Categories)

BODY, MIND & SPIRIT (45 Categories)

BUSINESS & ECONOMICS (199 Categories)

COMICS & GRAPHIC NOVELS (30 Categories)

COMPUTERS (152 Categories)

COOKING (103 Categories)

CRAFTS & HOBBIES (50 Categories)

DESIGN (19 Categories)

DRAMA (24 Categories)

EDUCATION (78 Categories)

FAMILY & RELATIONSHIPS (49 Categories)

FICTION (165 Categories)

FOREIGN LANGUAGE STUDY (46 Categories)

GAMES & ACTIVITIES (25 Categories)

GARDENING (38 Categories)

HEALTH & FITNESS (65 Categories)

HISTORY (139 Categories)

HOUSE & HOME (21 Categories)

HUMOR (23 Categories)

JUVENILE FICTION (121 Categories)

JUVENILE NONFICTION (225 Categories)

LANGUAGE ARTS & DISCIPLINES (46 Categories)

LAW (118 Categories)

LITERARY COLLECTIONS (31 Categories)

LITERARY CRITICISM (61 Categories)

MATHEMATICS (54 Categories)

MEDICAL (185 Categories)

MUSIC (74 Categories)

NATURE (50 Categories)

PERFORMING ARTS (63 Categories)

PETS (13 Categories)

PHILOSOPHY (45 Categories)

PHOTOGRAPHY (41 Categories)

POETRY (38 Categories)

POLITICAL SCIENCE (86 Categories)

PSYCHOLOGY (64 Categories)

REFERENCE (23 Categories)

RELIGION (222 Categories)

SCIENCE (111 Categories)

SELF-HELP (45 Categories)

SOCIAL SCIENCE (86 Categories)

SPORTS & RECREATION (73 Categories)

STUDY AIDS (30 Categories)

TECHNOLOGY & ENGINEERING (127 Categories)

TRANSPORTATION (28 Categories)

TRAVEL (106 Categories)

TRUE CRIME (14 Categories)

YOUNG ADULT FICTION (67 Categories)

YOUNG ADULT NONFICTION (122 Categories)

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : Revised Papers (Lecture notes in computer science, 0302-9743 ; 2931)

Author -

Publisher Springer Verlag Springer Verlag

ISBN 978-3-540-20894-5 | 978-3-662-17457-9 | 978-1-280-30676-1 | 978-3-540-24617-6

전문보기 FULL TEXT ACCESS

Title Springer e-Book Collection (Free Title)

Coverage 2004-01-01 - 2004-12-31 (2004)

관련분야 RELATED CATEGORIES

COMPUTERS / Languages / General

COMPUTERS / Software Development & Engineering / Quality Assurance & Testing

관련전공 RELATED MAJORS