-
-
確率的プログラミングの基礎
Foundations of Probabilistic Programming
-
Barthe, Gilles (EDT)
Katoen, Joost-Pieter (EDT)
Silva, Alexandra (EDT)
-
出版社：Cambridge University Press
出版年月：2020年 12月
装丁：HRD
言語：ENG
-
税込価格：
16,999円
海外在庫あり
通常２～５週間で出荷
-
-
Health and Medicine in Ancient Egypt
Magic and science
British Archaeological Reports International Series
-
Alexandra da Silva Veiga, Paula
-
出版社：Bar Publishing
出版年月：2009年 07月
装丁：PAP
言語：ENG
-
税込価格：
10,423円
海外在庫あり
通常２～４週間で出荷
-
-
Methods and Procedures for Building Sustainable Farming Systems
Application in the European Context
-
Marta-costa, Ana Alexandra (EDT)
Silva, Emiliana L. D. G. Soares Da (
-
出版社：Springer Verlag
出版年月：2014年 11月
装丁：PAP
言語：ENG
-
税込価格：
23,579円
海外在庫あり
通常２～５週間で出荷
-
-
Dissertação de Mestrado do MECAI (ICMC - USP)
Classificação baseada em regras para estudo da produtividade do algodão no estado do Mato Grosso
-
Valente da Silva, Alexandra Virginia
-
出版社：Novas Edicioes Academicas
出版年月：2020年 00月
装丁：PAP
版次：2020. 112 S. 220 mm
-
税込価格：
14,372円
海外在庫あり
通常２～４週間で出荷
-
-
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science .10321
-
Herausgegeben von Bouajjani, Ahmed
Silva, Alexandra
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2017年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2017. 2017. xiv
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Lecture Notes in Computer Science .11456
-
Herausgegeben von Silva, Alexandra
Staton, Sam
Sutton, Peter
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2019年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019. 2019. xiv
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Dislexia
Conhecimentos de educadores e professores do 1º ciclo do Ensino Básico na Zona Norte de Portugal
-
Sacramento, Patrí
cia Alexandra Da Silva
-
出版社：Novas Edicioes Academicas
出版年月：2020年 00月
装丁：PAP
版次：2020. 112 S. 220 mm
-
税込価格：
14,372円
海外在庫あり
通常２～４週間で出荷
-
-
Creativity and HCI: From Experience to Design in Education
Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal
IFIP Advances in Information and Communication Technology Vol.289
-
Herausgeber: Wong, William, Silva, Paula Alexandra, Dix, Alan, Kotz
-
出版社：Springer, Berlin
出版年月：2008年 00月
装丁：HRD
言語：ENG
版次：2008. VI
-
税込価格：
23,579円
海外在庫あり
通常２～５週間で出荷
-
-
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Lecture Notes in Computer Science 12760
-
Herausgegeben:Silva, Alexandra
Leino, K. Rustan M.
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xxiii
-
税込価格：
9,429円
海外在庫あり
通常２～５週間で出荷
-
-
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Theoretical Computer Science and General Issues 12759
-
Herausgegeben:Silva, Alexandra
Leino, K. Rustan M.
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xxiv
-
税込価格：
9,429円
海外在庫あり
通常２～５週間で出荷
-
-
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
Lecture Notes in Computer Science 13038
-
Herausgegeben:Silva, Alexandra
Wassermann, Renata
De Queiroz, Ruy
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2021. 2021. viii
-
税込価格：
17,447円
海外在庫あり
通常２～５週間で出荷
-
-
Intelligent Technologies for Interactive Entertainment
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engi 21
-
Herausgegeben:Chisik, Yoram
Holopainen, Jussi
Khaled, Rilla
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xii
-
税込価格：
9,902円
海外在庫あり
通常２～５週間で出荷
