【概 論】
アルゴリズム、子どもの保護と安全対策テクノロジー
Algorithms, Child Protection and Safeguarding Technology
Brennan, Maggie/Phippen, Andy
Routledge / GBR
978-1-138-55540-2
Mobile Solutions and Their Usefulness in Everyday Life
（EAI/Springer Innovations in Communication and Computing）
Springer International Publishing / CHE
978-3-319-93490-7
Fundamentals of Software Culture
Qin, Zheng/Zhang, Huidi/Qin, Xin/Xu, Kaiping/Dimitrov, Kouemo Ngayo Anatoli/Wang, Guolong/Yu, Wenhui
Springer Singapore / SGP
978-981-1307-00-3
【情報学基礎】
Cellular Automata
（Encyclopedia of Complexity and Systems Science Series）
Springer-Verlag New York / USA
978-1-4939-8699-6
Unconventional Computing:A Volume in the Encyclopedia of Complexity and Systems Science
（Encyclopedia of Complexity and Systems Science Series）
Springer-Verlag New York / USA
978-1-4939-6882-4
Computational Complexity of Counting and Sampling
（Discrete Mathematics and Its Applications）
Miklos, Istvan
Psychology Pr. / GBR
978-1-138-07083-7
Routines of Substitution:John von Neumann’s Work on Software Development, 1945-1948
（SpringerBriefs in History of Computing）
Priestley, Mark
Springer International Publishing / CHE
978-3-319-91670-5
Computing and Software Science:State of the Art and Perspectives
（Lecture Notes in Computer Science, Vol.10000）
Springer International Publishing / CHE
978-3-319-91907-2
Imaginary Mathematics for Computer Science
Vince, John
Springer International Publishing / CHE
978-3-319-94636-8
Logics for Computer Science:Classical and Non-Classical
Wasilewska, Anita
Springer International Publishing / CHE
978-3-319-92590-5
【ソフトウェア】
Computer Programming for Beginners:A Step-By-Step Guide
Chemuturi, Murali
Chapman & Hall/CRC / USA
978-1-138-32048-2
Refinement:Semantics, Languages and Applications
Derrick, John/Boiten, Eerke
Springer International Publishing / CHE
978-3-319-92709-1
Future-Proof Software Systems:A Sustainable Evolution Strategy
Furrer, Frank J.
Springer Verlag / DEU
978-3-658-19937-1
3ds Max Modeling for Games:An Insider’s Guide to Stylized Modeling
Gahan, Andrew
Routledge / GBR
978-1-138-30739-1
3ds Max Modeling for Games:An Insider’s Guide to Stylized Modeling
Gahan, Andrew
Routledge / GBR
978-1-138-30731-5
Software Fault Detection and Correction:Modeling and Applications
（SpringerBriefs in Computer Science）
Peng, Rui/Li, Yan-Fu/Liu, Yu
Springer Singapore / SGP
978-981-1311-61-1
Software Development Measurement Programs:Development, Management and Evolution
Staron, Miroslaw/Meding, Wilhelm
Springer International Publishing / CHE
978-3-319-91835-8
Hack Audio:An Introduction to Computer Programming and Digital Signal Processing in MATLAB
（Audio Engineering Society Presents）
Tarr, Eric
Routledge / GBR
978-1-138-49754-2
Hack Audio:An Introduction to Computer Programming and Digital Signal Processing in MATLAB
（Audio Engineering Society Presents）
Tarr, Eric
Routledge / GBR
978-1-138-49755-9
Systems Programming in Unix/Linux
Wang, K.C.
Springer International Publishing / CHE
978-3-319-92428-1
【コンピュータシステム】
Introduction to Digital Systems Design
Donzellini, Giuliano/Oneto, Luca/Ponta, Domenico/Anguita, Davide
Springer International Publishing / CHE
978-3-319-92803-6
El Hami, Abdelkhalak/Pougnet, Philippe
Elsevier Science / GBR
978-1-78548-189-5
Springer International Publishing / CHE
978-3-319-91961-4
Fog Computing:Concepts, Frameworks and Technologies
Springer International Publishing / CHE
978-3-319-94889-8
Big Data Processing Using Spark in Cloud
（Studies in Big Data, Vol.43）
Springer Singapore / SGP
978-981-1305-49-8
Guide to Vulnerability Analysis for Computer Networks and Systems:An Artificial Intelligence Approach
（Computer Communications and Networks）
Springer International Publishing / CHE
978-3-319-92623-0
Springer International Publishing / CHE
978-3-319-93108-1
Security Policy in System-on-Chip Designs:Specification, Implementation and Verification
Ray, Sandip/Basak, Abhishek/Bhunia, Swarup
Springer International Publishing / CHE
978-3-319-93463-1
Fault-Tolerant Message-Passing Distributed Systems:An Algorithmic Approach
Raynal, Michel
Springer International Publishing / CHE
978-3-319-94140-0
Formal Verification of Floating-Point Hardware Design:A Mathematical Approach
Russinoff, David M.
Springer International Publishing / CHE
978-3-319-95512-4
【情報ネットワーク】
World Internet Development Report 2017
Chinese Academy of Cyberspace Studies
Springer Verlag / DEU
978-3-662-57523-9
Artificial Intelligence for Autonomous Networks
（Chapman & Hall/CRC Artificial Intelligence and Robotics Series）
Chapman & Hall/CRC / USA
978-0-8153-5531-1
Game Theory for Networking Applications
（EAI/Springer Innovations in Communication and Computing）
Springer International Publishing / CHE
978-3-319-93057-2
Software Defined-WAN for the Digital Age:A Bold Transition to the Next Generation Network
Wang, David
CRC Press / USA
978-1-138-34599-7
【情報システム・データベース】
Entity-Oriented Search
（The Information Retrieval Series, Vol.39）
Balog, Krisztian
Springer International Publishing / CHE
978-3-319-93933-9
Networked Predictive Control of Systems with Communication Constraints and Cyber Attacks
Pang, Zhong-Hua/Liu, Guo-Ping/Zhou, Donghua/Sun, Dehui
Springer Singapore / SGP
978-981-1305-19-1
Systems Modeling:Methodologies and Tools
（EAI/Springer Innovations in Communication and Computing）
Springer International Publishing / CHE
978-3-319-92377-2
Laboratory Experiments in Information Retrieval:Sample Sizes, Effect Sizes, and Statistical Power
（The Information Retrieval Series, Vol.40）
Sakai, Tetsuya
Springer Singapore / SGP
978-981-1311-98-7
【HCI】
Human-Robot Intimate Relationships
（Human-Computer Interaction Series）
Cheok, Adrian/Zhang, Emma Yann
Springer International Publishing / CHE
978-3-319-94729-7
Quantifying and Processing Biomedical and Behavioral Signals
（Smart Innovation, Systems and Technologies, Vol.103）
Springer International Publishing / CHE
978-3-319-95094-5
New Directions in Music and Human-Computer Interaction
（Springer Series on Cultural Computing）
Springer International Publishing / CHE
978-3-319-92068-9
Affective Feedback in Intelligent Tutoring Systems:A Practical Approach
（Human-Computer Interaction Series）
Jimnez, Samantha/Jurez-Ramrez, Reyes/Castillo, Victor H./Tapia Armenta, Juan Jos
Springer International Publishing / CHE
978-3-319-93196-8
Designing for the User Experience in Learning Systems
（Human-Computer Interaction Series）
Springer International Publishing / CHE
978-3-319-94793-8
Biomechanical Biofeedback Systems and Applications
（Human-Computer Interaction Series）
Kos, Anton/Umek, Anton
Springer International Publishing / CHE
978-3-319-91348-3
Studies in Conversational UX Design
（Human-Computer Interaction Series）
Springer International Publishing / CHE
978-3-319-95578-0
Multimodal Sentiment Analysis
（Socio-Affective Computing, Vol.8）
Poria, Soujanya/Hussain, Amir/Cambria, Erik
Springer International Publishing / CHE
978-3-319-95018-1
【量子情報学】
A First Introduction to Quantum Computing and Information
Zygelman, Bernard
Springer International Publishing / CHE
978-3-319-91628-6
