【概 論】
Fundamentals and Applications of Hardcopy Communication:Conveying Side Information by Printed Media
Mayer, Joceli/Borges, Paulo V.K./J. Simske, Steven
Springer International Publishing / CHE
978-3-319-74082-9
World of Computing:A Primer Companion for the Digital Age
O'Regan, Gerard
Springer International Publishing / CHE
978-3-319-75843-5
【情報学基礎】
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
Information Theory for Electrical Engineers
(Signals and Communication Technology)
Gazi, Orhan
Springer Singapore / SGP
978-981-10-8431-7
Novel Motion Anchoring Strategies for Wavelet-based Highly Scalable Video Compression
(Springer Theses)
Ruefenacht, Dominic
Springer Singapore / SGP
978-981-10-8224-5
【ソフトウェア】
Introduction to Programming with Fortran:With Coverage of Fortran 90, 95, 2003, 2008 and 77
Chivers, Ian/Sleightholme, Jane
Springer International Publishing / CHE
978-3-319-75501-4
de Byl, Penny
A.K. Peters Ltd. / USA
978-1-138-48073-5
Designing Usable and Secure Software with IRIS and CAIRIS
Faily, Shamal
Springer International Publishing / CHE
978-3-319-75492-5
Software Fault Prediction:A Road Map
(SpringerBriefs in Computer Science)
Kumar, Sandeep/Rathore, Santosh Singh
Springer Singapore / SGP
978-981-10-8714-1
Software/Hardware Construction:A Hands-on Approach
Otero, Carlos E.
Auerbach Publishers / 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
Thinking-Driven Testing:The Most Reasonable Approach to Quality Control
Roman, Adam
Springer International Publishing / CHE
978-3-319-73194-0
An Introduction to the Analysis of Algorithms
Soltys, Michael
World Scientific / SGP
978-981-3235-90-8
Symbolic Parallelization of Nested Loop Programs
Tanase, Alexandru-Petru/Hannig, Frank/Teich, Jrgen
Springer International Publishing / CHE
978-3-319-73908-3
Beginning EJB in Java EE 8:Building Applications with Enterprise JavaBeans
Wetherbee, Jonathan/Nardone, Massimo/Rathod, Chirag/Kodali, Raghu
Apress / USA
978-1-4842-3572-0
【コンピュータシステム】
Auction based Resource Provisioning in Cloud Computing
(SpringerBriefs in Computer Science)
Baranwal, Gaurav/Kumar, Dinesh/Raza, Zahid/Vidyarthi, Deo Prakash
Springer Singapore / SGP
978-981-10-8736-3
Embedded Systems and Robotics with Open Source Tools
Dey, Nilanjan/Mukherjee, Amartya
CRC Press / USA
978-1-138-49665-1
Structure and Interpretation of the SMB Protocol
Engineer, Sunu/Engineer, Anu
Springer Singapore / SGP
978-981-10-7804-0
Connecting Arduino to the Web:Front End Developement Using JavaScript
Knight, Indira
Apress / USA
978-1-4842-3479-2
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
Heterogeneity, High Performance Computing, Self-Organization and the Cloud
(Palgrave Studies in Digital Business & Enabling Technologies)
Palgrave Macmillan / CHE
978-3-319-76037-7
Internally Compensated LDO Regulators for Modern System-on-Chip Design
Torralba , Antonio/Lujn Martnez, Clara/Hinojo , Jos Mara
Springer International Publishing / CHE
978-3-319-75410-9
【情報ネットワーク】
Handbook of Statistics for Network Analysis
(Chapman & Hall/CRC Handbooks of Modern Statistical Methods)
Chapman & Hall/CRC / USA
978-1-4822-5138-8
【情報システム・データベース】
Developing a Data Warehouse for the Healthcare Enterprise:Lessons from the Trenches
Productivity Press Inc. / USA
978-1-138-50296-3
Developing a Data Warehouse for the Healthcare Enterprise:Lessons from the Trenches
Productivity Press Inc. / USA
978-1-138-50295-6
A Comprehensive Guide to Measuring the Power and Energy of Modern Systems
(Chapman & Hall/CRC Computational Science)
Lee, Victor/Choi, Jee Whan/Cameron, Kirk
Chapman & Hall/CRC / USA
978-1-138-62961-5
Data Science Landscape:Towards Research Standards and Protocols
(Studies in Big Data, Vol. 38)
Springer Singapore / SGP
978-981-10-7514-8
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
Schwichtenberg, Holger
Apress / USA
978-1-4842-3551-5
【HCI】
Digital Taste and Smell:Multisensory Internet Communication
(Human-Computer Interaction Series)
Cheok, Adrian David/Karunanayaka, Kasun
Springer International Publishing / CHE
978-3-319-73863-5
New Directions in Third Wave Human-Computer Interaction
(Human-Computer Interaction Series)
Springer International Publishing / CHE
978-3-319-73355-5
New Directions in Third Wave Human-Computer Interaction
(Human-Computer Interaction Series)
Springer International Publishing / CHE
978-3-319-73373-9
Services Computing for Language Resources
(Cognitive Technologies)
Springer Singapore / SGP
978-981-10-7792-0
【量子情報学】
Quantum Random Number Generation:Theory and Practice
(Quantum Science and Technology)
Springer International Publishing / CHE
978-3-319-72594-9