【概 論】
Computer Science and Engineering-Theory and Applications
（Studies in Systems, Decision and Control, Vol.143）
Springer International Publishing / CHE
978-3-319-74059-1
Comptia Cybersecurity Analyst (CSA+) Practice Tests Digital Access Code
Seidl, David/Chapple, Michael J.
Wiley / USA
978-1-119-43317-0
【情報学基礎】
An Introduction to Single-User Information Theory
（Springer Undergraduate Texts in Mathematics and Technology）
Alajaji, Fady/Chen, Po-Ning
Springer Singapore / SGP
978-981-10-8000-5
Space in Weak Propositional Proof Systems
Bonacina, Ilario
Springer International Publishing / CHE
978-3-319-73452-1
Guide to Graph Algorithms:Sequential, Parallel and Distributed
（Texts in Computer Science）
Erciyes, Kayhan
Springer International Publishing / CHE
978-3-319-73234-3
The Minimum Description Length Principle and Its Applications in Statistical Learning and Signal Processing
（Chapman & Hall/CRC Computer Science & Data Analysis）
Lee, Thomas C. M./Wong, Raymond K. W.
CRC Press / USA
978-1-4987-3978-8
An Introduction to the Analysis of Algorithms
Soltys, Michael
World Scientific / SGP
978-981-3235-90-8
Design of Digital Chaotic Systems Updated by Random Iterations
（SpringerBriefs in Applied Sciences and Technology）
Wang, Qianxue/Yu, Simin/Guyeux, Christophe
Springer International Publishing / CHE
978-3-319-73548-1
【ソフトウェア】
GPS Tracking with Java EE Components and Services:Challenges of the Self-Driving Car
Beiglbck, Kristof
Chapman & Hall/CRC / USA
978-1-138-05494-3
The Fundamentals of C/C++ Game Programming:Using Target-based Development on SBC's
Beuken, Brian
A.K. Peters Ltd. / USA
978-0-8153-5527-4
de Byl, Penny
A.K. Peters Ltd. / USA
978-1-138-48073-5
A Concise Introduction to Programming in Python
（Chapman & Hall/CRC Textbooks in Computing）
Johnson, Mark J.
Chapman & Hall/CRC / USA
978-1-138-08255-7
A Concise Introduction to Programming in Python
（Chapman & Hall/CRC Textbooks in Computing）
Johnson, Mark J.
Chapman & Hall/CRC / USA
978-1-138-08258-8
Low Level X Window Programming:An Introduction by Examples
Maloney, Ross J.
Springer International Publishing / CHE
978-3-319-74249-6
Motivation of Workers on Microtask Crowdsourcing Platforms
（T-Labs Series in Telecommunication Services）
Naderi, Babak
Springer International Publishing / CHE
978-3-319-72699-1
Software/Hardware Construction:A Hands-on Approach
Otero, Carlos E.
CRC Press / USA
978-1-4987-8456-6
Automated Validation & Verification of UML／OCL Models Using Satisfiability Solvers
Przigoda, Nils/Wille, Robert/Przigoda, Judith/Drechsler, Rolf
Springer International Publishing / CHE
978-3-319-72813-1
Guide to Scientific Computing in C++
（Undergraduate Topics in Computer Science）
Whiteley, Jonathan/Pitt-Francis, Joe
Springer International Publishing / CHE
978-3-319-73131-5
【コンピュータシステム】
Transactions on Computational Science XXXI:Special Issue on Signal Processing and Security in Distributed Systems
（Lecture Notes in Computer Science, Vol.10730）
Springer Verlag / DEU
978-3-662-56498-1
Embedded Operating Systems:A Practical Approach
（Undergraduate Topics in Computer Science）
Holt, Alan/Huang, Chi-Yu
Springer International Publishing / CHE
978-3-319-72976-3
Modeling and Simulation in HPC and Cloud Systems
（Studies in Big Data, Vol.36）
Springer International Publishing / CHE
978-3-319-73766-9
Crowdsourced Data Management:Hybrid Human-Machine Data Management
Li, Guoliang/Wang, Jiannan/Zheng, Yudian/Fan, Ju/Franklin, Michael J
Springer Singapore / SGP
978-981-10-7846-0
Cloud Computing for Optimization:Foundations, Applications, and Challenges
（Studies in Big Data, Vol.39）
Springer International Publishing / CHE
978-3-319-73675-4
Economic Models for Managing Cloud Services
Mistry, Sajib/Bouguettaya, Athman/Dong, Hai
Springer International Publishing / CHE
978-3-319-73875-8
Optimized Cloud Based Scheduling
（Studies in Computational Intelligence, Vol. 759）
Tan, Rong Kun Jason/Leong, John A./Sidhu, Amandeep S.
Springer International Publishing / CHE
978-3-319-73212-1
Symbolic Parallelization of Nested Loop Programs
Tanase, Alexandru-Petru/Hannig, Frank/Teich, Jrgen
Springer International Publishing / CHE
978-3-319-73908-3
【情報ネットワーク】
Sustainable Interdependent Networks:From Theory to Application
（Studies in Systems, Decision and Control, Vol.145）
Springer International Publishing / CHE
978-3-319-74411-7
Probabilistic Foundations of Statistical Network Analysis
（Chapman & Hall/CRC Monographs on Statistics & Applied Probability）
Crane, Harry
Chapman & Hall/CRC / USA
978-1-138-63015-4
Structure and Interpretation of the SMB Protocol
Engineer, Sunu/Engineer, Anu
Springer Singapore / SGP
978-981-10-7804-0
Flexible Network Architectures Security:Principles and Issues
Rudra, Bhawana
Auerbach Publishers / USA
978-1-138-50543-8
【情報システム・データベース】
Angermann, Heiko/Ramzan, Naeem
Springer International Publishing / CHE
978-3-319-72208-5
Lemahieu, Wilfried/Vanden Broucke, Seppe/Baesens, Bart
Cambridge U.P. / USA
978-1-107-18612-5
A Deep Dive into NoSQL Databases:The Use Cases and Applications
（Advances in Computers, Vol.109）
Academic Pr. / USA
978-0-12-813786-4
Linked Data:Storing, Querying, and Reasoning
Sakr, Sherif/Wylot, Marcin/Mutharaju, Raghava/Le Phuoc, Danh/Fundulaki, Irini
Springer International Publishing / CHE
978-3-319-73514-6
Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems
Springer International Publishing / CHE
978-3-319-74961-7
【HCI】
Digital Taste and Smell:Multisensory Internet Communication
（Human-Computer Interaction Series）
Cheok, Adrian/Karunanayaka, Kasun
Springer International Publishing / CHE
978-3-319-73863-5
Services Computing for Language Resources
（Cognitive Technologies）
Springer Singapore / SGP
978-981-10-7792-0
