However, you need to register and set-up an account to use the web version.  Go to https://libwebspace.library.cmu.edu:4430/libraries-and-collections/Databases/DB/Scifinder/.  Click on New Web Version of SciFinder Scholar and follow the instructions.

• A Hybrid Imagination: Science and Technology in Cultural Perspective by Andrew Jamison and Lars Botin, Aalborg University and Steen Hyldgaard Christensen, Aarhus University, Denmark (Engineers, Technoloy, & Society Series)

• Learning to Rank for Information Retrieval and Natural Language Processing by Hang Li, Microsoft (Human Language Technologies Series)

• Microcontroller Programming and Interfacing: Texas Instruments MSP430 PART I by Steven Barrett, University of Wyoming, and Daniel Pack, US Air Force Academy (Digital Circuits & Systems Series)

• Microcontroller Programming and Interfacing: Texas Instruments MSP430 PART II by Steven Barrett, University of Wyoming and Daniel Pack, US Air Force Academy (Digital Circuits & Systems Series)

• Peer-to-Peer Data Management by Karl Aberer, EPFL (Data Management Series)

• Practical Electrical Engineering: Fundamentals by William J. Eccles, Rose-Hulman Institute of Technology (Digital Circuits & Systems Series)

• A Primer on Memory Consistency and Cache Coherence by Daniel Sorin, Duke University and Mark Hill & David Wood, University of Wisconsin (Computer Architecture Series)

• Science Fiction Prototyping: Designing the Future with Science Fiction by Brian David Johnson, Intel (Computer Science Series)

• Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing by Jessica Chang & Dennis Shasha, New York University (Computer Science Series)

• Systems Engineering: Building Successful Systems by Howard Eisner, George Washington University (General Engineering Series)

• Algorithms for Reinforcement Learning by Csaba Szepesvári, University of Alberta (Artificial Intelligence & Machine Learning Series)
• Cells and Biomaterials for Intervertebral Disc Regeneration by Sibylle Grad, et al. (Tissue Engineering Series)
• Humanitarian Engineering by Carl Mitcham and David Muñoz, Colorado School of Mines (Engineers, Technology, & Society Series)
• User-Centered Agile Methods by Hugh Beyer, InContext Design (Human-Centered Informatics Series)
• User-Centered Data Management by Tiziana Catarci, et al., University of Rome “La Sapienza” (Data Management Series)

From the website at http://www.springermaterials.com:

“SpringerMaterials is based on the Landolt-Börnstein New Series, the unique, fully evaluated data collection in all areas of physical sciences and engineering.  It also comprises the Dortmund Data Bank Software & Separation Technology, a database on Thermophysical Properties and the Linus Pauling Files, a database on Inorganic Solid Phases and chemical safety data.

SpringerMaterials comprises to date:

• 400 Landolt-Börnstein volumes, 250,000 substances and 1,200,000 citations
• 44,000 Chemical Safety Documents (REACH Registration, Evaluation, Authorization and Restriction of Chemicals, GHS Globally Harmonized System RoHS Restriction of Hazardous Substances, WEEE Waste from Electrical and Electronic Equipment)
• The world’s largest and most renowned database on Thermophysical  Properties, the subset of the Dortmund Data Bank Software & Separation Technology (DDBST) comprising 300,000 data points
• Linus Pauling Files, the most comprehensive database on inorganic solid phases comprising 190,000 documents

Users can now conduct a basic search from the IEEE Xplore Mobile homepage and then refine it by searching within the results or by using subject filters.  A predictive type-ahead feature, which suggests searches as you type, is available for mobile devices that are JavaScript-enabled.  All results you would find on the classic IEEE Xplore for abstracts and citations are displayed 10 at a time by relevancy.  Users can then decide to read or email the abstracts to a remote computer.

Users with the proper subscription can view the full text of an article by emailing the link to any email address and then viewing the article directly from the main IEEE Xplore website when they are on their personal computers.

• Analysis Techniques for Information Security by Anupam Datta, Carnegie Mellon University, Somesh Jha, University of Wisconsin, Ninghui Li, Purdue University, David Melski, GrammaTech Inc, and Thomas Reps, University of Wisconsin and GrammaTech Inc. (Information Security, Privacy, and Trust Series)
• Analytical Performance Modeling for Computer Systems by Y. C. Tay, National University of Singapore (Computer Science Series)
• Arduino Microcontroller Processing for Everyone, Part I by Steven Barrett, University of Wyoming (Digital Circuits & Systems Series)
• Arduino Microcontroller Processing for Everyone, Part II by Steven Barrett, University of Wyoming (Digital Circuits & Systems Series)
• Data-Intensive Text Processing with MapReduce by Jimmy Lin and Chris Dyer, University of Maryland (Human Language Technologies Series)
• Estimating the Query Difficulty for Information Retrieval by David Carmel and Elad Yom-Tov, IBM Research Israel (Information Concepts, Retrieval, and Services Series)
• The Mobile Agent Rendezvous Problem in the Ring by Evangelos Kranakis, Carleton University, Danny Krizanc, Wesleyan University, and Euripides Marcou, University of Central Greece (Distributed Computing Series)
• Models of Horizontal Eye Movements, Part I by University of Connecticut (Biomedical Engineering Series)
• Models of Horizontal Eye Movements, Part II by University of Connecticut (Biomedical Engineering Series)

• Analysis and Design of Substrate Integrated Waveguide Using Efficient 2D Hybrid Method by Xuan Hui Wu, Radio Waves Inc. and Ahmed A. Kishk, University of Mississippi (Computational Electromagnetics Series)
• Broadband Quantum Cryptography by Daniel J. Rogers, Johns Hopkins University, Applied Physics Laboratory (Quantum Computing Series)
• Data Integration: The Relational Logic Approach by Michael Genesereth, Stanford University (Artificial Intelligence & Machine Learning Series)
• Experience-Centered Design: Designers, Users, and Communities in Dialogue by Peter Wright, Newcastle University and John McCarthy, University College Cork (Human-Centered Informatics Series)
• The Graph Theoretical Approach in Brain Functional Networks by Fabricio De Vico Fallani and Fabio Babiloni, University of Rome “Sapienza” (Biomedical Engineering Series)
• An Introduction to Duplicate Detection by Felix Naumann, Hasso Plattner Institute, Potsdam, Germany and Melanie Herschel, University of Tuebingen, Germany (Data Management Series)

• Advances in Modern Blind Signal Separation Algorithms by Kostas Kokkinakis and Philipos Loizou, University of Texas at Dallas (Algorithms and Software in Engineering Series)

• Biomedical Technology Assessment: The 3Q Method by Phillip T. Weinfurt, Marquette University (Biomedical Engineering Series)
• Digital System Verification by Lun Li, Texas Instruments and Mitchell Thornton, Southern Methodist University (Digital Circuits & Systems Series)
• Engineering and Sustainable Community Development by Juan Lucena, Jen Schneider, & Jon A. Leydens, Colorado School of Mines (Engineers, Technology, & Society Series)
• Ensemble Methods in Data Mining: Improving Accuracy through Combining Predictions by Giovanni Seni and John Elder, Elder Research Inc. (Data Mining & Knowledge Discovery Series)
• Experience Design: Technology for All the Right Reasons by Marc Hassenzahl, Folkwang University, Essen, Germany (Human-Centered Informatics Series)
• Needs and Feasibility: A Guide for Engineers Doing Community Projects by Caroline Baillie, et al., University of Western Australia (Engineers, Technology, & Society Series)
• MATLAB® Software for the Code Excited Linear Prediction Algorithm by Karthikeyan Ramamurthy and Andreas Spanias, Arizona State University (Algorithms and Software in Engineering Series)
• OFDM Systems for Wireless Communications by A. B. Narasimhamurthy, M. Banavar, and C. Tepedelenlioglu, Arizona State University (Algorithms and Software in Engineering Series)
• Privacy-Preserving Data Publishing by Raymond Chi-Wing Wong, The Hong Kong University of Science and Technology and Ada Wai-Chee Fu, The Chinese University of Hong Kong (Data Management Series)

• Communication Networks: A Concise Introduction by Jean Walrand and Shyam Parekh, University of California, Berkeley (Communication Networks Series)

• Designing and Evaluating Usable Technology in Industrial Research by Clare-Marie Karat and John Karat, IBM T.J. Watson Research Center (Human-Centered Informatics Series)

• Fundamental Biomechanics in Bone Tissue Engineering by Xiadou Wang et al., University of Texas, San Antonio (Tissue Engineering Series)

• Interacting with Information by Ann Blandford and Simon Attfield, University College London (Human-Centered Informatics Series)

• iRods Primer: Integrated Rule-Oriented Data System by Arcot Rajaseka, Reagan Moore, et al., University of North Carolina, Chapel Hill (Information Concepts, Retrieval, and Services Series)

• Out of the Comfort Zone: New Ways to Teach, Learn, and Assess Essential Professional Skills by Lisbeth Borbye, North Carolina State University (Technology, Management, and Entrepreneurship Series)

• Path Problems in Networks by John Baras, University of Maryland and George Theodorakopoulos, École Polytechnique Fédérale de Lausanne (Communication Networks Series)

• Semantic Role Labeling by Martha Palmer, University of Colorado, Daniel Gildea, University of Rochester, and Nianwen Xue, Brandeis University (Human Language Technologies Series)

• Progress in Application of Boolean Functions by Tsutomu Sasao, Kyushu Institute of Technology, Japan and Jon T. Butler, Naval Postgraduate School (Digital Circuits & Systems Series)

• Spoken Dialogue Systems by Kristiina Jokinen, University of Helsinki and Michael McTear, University of Ulster (Human Language Technologies Series)