주메뉴

단행본 상세

서지주요정보
Computational thinking
서명 / 저자	Computational thinking / Peter J. Denning and Matti Tedre.
저자명	Denning, Peter J., 1942- Tedre, Matti.
발행사항	Cambridge, Massachusetts : The MIT Press, 2019

등록번호

00082692

소장위치 / 청구기호

6층 과학·기술자료실 / QA76.9.L63 D46 2019

도서상태

이용가능

반납예정일

예약

서지기타정보
청구기호	QA76.9.L63 D46 2019
형태사항	xviii, 242 p. ; 18 cm.
총서명	The MIT press essential knowledge series
언어	English
서지주기	Includes bibliographical references (p. 231-235) and index.
주제	Computer algorithms --Popular works. Computer logic --Popular works. Electronic data processing --Social aspects --Popular works.
LCCN	2018044011
ISBN	9780262536561 (pbk. : alk. paper)
QR CODE

전체보기

Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings [electronic resource] Yamashita, Shigeru QA76.9.L63
Applied logic for computer scientists : computational deduction and formal proofs Ayala-Rincon, M QA76.9.L63 A93 2017
Computational thinking Denning, Peter J QA76.9.L63 D46 2019
Logic in computer science : modelling and reasoning about systems Huth, Michael QA76.9.L63 H88 2004
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi Iida, Shusaku QA76.9.L63 S64 2014

검색

DGIST 전자도서관