-
-
Edsger Wybe Dijkstra
His Life, Work, and Legacy
ACM Books
-
Apt, Krzysztof R. (EDT)
Hoare, Tony (EDT)
-
出版社：Association of Computing Machinery,U.S.
出版年月：2022年 07月
装丁：PAP
言語：ENG
-
税込価格：
23,656円
海外在庫あり
通常２～４週間で出荷
-
-
Edsger Wybe Dijkstra
His Life, Work, and Legacy
ACM Books
-
Apt, Krzysztof R.
Hoare, Tony
-
出版社：Association of Computing Machinery,U.S.
出版年月：2022年 07月
装丁：HRD
言語：ENG
-
税込価格：
31,502円
海外在庫あり
通常２～４週間で出荷
-
-
Verification of Sequential and Concurrent Programs
Texts in Computer Science
-
Apt, Krzysztof R.
De Boer, Frank S.
Olderog, Ernst-Rudiger
-
出版社：Springer-Verlag New York Inc
出版年月：2012年 03月
装丁：PAP
言語：ENG
版次：3RD
-
税込価格：
18,862円
海外在庫あり
通常２～５週間で出荷
-
-
Logics and Models of Concurrent Systems
NATO ASI Subseries F:
-
Apt, Krzysztof R. (EDT)
-
出版社：Springer-Verlag New York Inc
出版年月：2012年 07月
装丁：PAP
言語：ENG
版次：Reprint
-
税込価格：
23,579円
海外在庫あり
通常２～５週間で出荷
-
-
The Logic Programming Paradigm
A 25-Year Perspective
Artificial Intelligence
-
Apt, Krzysztof R. (EDT)
Marek, Victor W. (EDT)
Truszczynski, Mirek (
-
出版社：Springer-Verlag New York Inc
出版年月：2012年 07月
装丁：PAP
言語：ENG
版次：Reprint
-
税込価格：
23,579円
海外在庫あり
通常２～５週間で出荷
-
-
コンピュータ科学者のためのゲーム理論：講義録
Lectures in Game Theory for Computer Scientists
-
Apt, Krzysztof R. (EDT)
Grädel, Erich (EDT)
-
出版社：Cambridge University Press
出版年月：2011年 01月
装丁：HRD
言語：ENG
-
税込価格：
34,001円
海外在庫あり
通常２～５週間で出荷
-
-
Constraint Logic Programming using Eclipse
-
Apt, Krzysztof R.
Wallace, Mark
-
出版社：Cambridge University Press
出版年月：2006年 12月
装丁：HRD
言語：ENG
-
税込価格：
21,690円
海外在庫あり
通常２～５週間で出荷
