【概 論】
The Universal Computer:The Road from Leibniz to Turing
Davis, Martin
CRC Press / USA
978-1-138-50208-6
【情報学基礎】
Generalized Jeffrey Conditionalization:A Frequentist Semantics of Partial Conditionalization
（SpringerBriefs in Computer Science）
Draheim, Dirk
Springer International Publishing / CHE
978-3-319-69867-0
Fundamentals of Discrete Math for Computer Science:A Problem-Solving Primer
（Undergraduate Topics in Computer Science）
Jenkyns, Tom/Stephenson, Ben
Springer International Publishing / CHE
978-3-319-70150-9
Levgen, Redko/Morvant, Emile/Habrard, Amaury/Sebban, Marc/Bennani, Younes
Elsevier Science / GBR
978-1-78548-236-6
Theory of Reversible Computing
（Monographs in Theoretical Computer Science. An EATCS Series）
Morita, Kenichi
Springer Tokyo / JPN
978-4-431-56604-5
【ソフトウェア】
Software Testing Automation Tips:50 Things Automation Engineers Should Know
Alpaev, Gennadiy
Apress / USA
978-1-4842-3161-6
Flexible, Reliable Software:Using Patterns and Agile Development
（Chapman & Hall/CRC Textbooks in Computing）
Christensen, Henrik B.
CRC Press / USA
978-1-4987-7361-4
Software Engineering:Best Practices with Open Source Tools
Lee, Jonathan/Liu, Alan
CRC Press / USA
978-1-4822-5113-5
Parsing with Perl 6 Regexes and Grammars:A Recursive Descent into Parsing
Lenz, Moritz
Apress / USA
978-1-4842-3227-9
The Art of Coding:The Language of Drawing, Graphics, and Animation
Majid al-Rifaie, Mohammad/Ursyn, Anna/Wyeld, Theodor
Chapman & Hall/CRC / USA
978-1-138-62964-6
Amazon Web Services for Mobile Developers:Building Apps with AWS
Mishra, Abhishek
Wrox Press Inc. / USA
978-1-119-37785-6
Programming Interviews Exposed:Coding Your Way Through the Interview
Mongan, John/Kindler, Noah/Giguere, Eric
Wrox Press Inc. / USA
978-1-119-41847-4
Myklebust, Thor/Stlhane, Tor
Springer International Publishing / CHE
978-3-319-70264-3
Beginning C# 7 Programming with Visual Studio 2017
Perkins, Benjamin/Hammer, Jacob Vibe/Reid, Jon D.
Wrox Press Inc. / USA
978-1-119-45868-5
Guide to Data Structures:A Concise Introduction Using Java
（Undergraduate Topics in Computer Science）
Streib, James T./Soma, Takako
Springer International Publishing / CHE
978-3-319-70083-0
Programming with Scala:Language Exploration
（Undergraduate Topics in Computer Science）
Upadhyaya, Bhim P.
Springer International Publishing / CHE
978-3-319-69367-5
【情報ネットワーク】
Network Coding and Subspace Designs
（Signals and Communication Technology）
Springer International Publishing / CHE
978-3-319-70292-6
Network Function Virtualization:Concepts and Applicability in 5G Networks
（Wiley - IEEE）
Zhang, Ying
Wiley / USA
978-1-119-39060-2
【情報システム・データベース】
Information Systems and Security
Arduin, Pierre-Emmanuel/Campo-Paysaa, Cdric
International Scientific and Technical Encyclopedia / GBR
978-1-84821-972-4
【HCI】
Augmented Reality Art:From an Emerging Technology to a Novel Creative Medium
（Springer Series on Cultural Computing）
Springer International Publishing / CHE
978-3-319-69931-8
Making Sense of Haptics:Fundamentals of Perception and Implications for Device Design
（Springer Series on Touch and Haptic Systems）
van Beek, Femke Elise
Springer International Publishing / CHE
978-3-319-69919-6
