Springer
Showing 1,441 - 1,500 out of 1,000+ books

Introduction to Logic, Third Edition
Michael Genesereth, Eric J. Kao, Genesereth Michael, Kao Eric J.
2022

Embedded Systems Interfacing for Engineers using the Freescale HCS08 Microcontroller II
Douglas Summerville
2022

Modeling and Analysis of Shape with Applications in Computer-aided Diagnosis of Breast Cancer
Denise Guliato, Rangaraj Rangayyan
2022

Metamaterial Electromagnetic Wave Absorbers
Willie J. Padilla, Kebin Fan, Antonio Miguel Cruz, Noelannah Neubauer, Adriana Ríos Rincón
2022

Principles of Blockchain Systems
Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru, Fernández Antonio, Georgiou Chryssis, Herlihy Maurice, Potop-Butucaru Maria
2022

Control Grid Motion Estimation for Efficient Application of Optical Flow
Christine M. Zwart, David Frakes
2022

Architectural and Operating System Support for Virtual Memory
Abhishek Bhattacharjee, Daniel Lustig
2022

An Introduction to the Planning Domain Definition Language
Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise, Patrik Kulkarni, Nir Nir Lipovetzky, Daniele Daniele Magazzeni, Christian Christian Muise
2022

Reconstruction-Free Compressive Vision for Surveillance Applications
Henry Braun, Pavan Turaga, Andreas Spanias, Sameeksha Katoch, Suren Jayasuriya, Cihan Tepedelenlioglu
2022

Geometric Programming for Design Equation Development and Cost/Profit Optimization, Third Edition
Robert C. Creese, Robert Creese
2022

Numerical Methods for Linear Complementarity Problems in Physics-Based Animation
Sarah Niebe, Kenny Erleben
2022

Deep Learning for Computer Architects
Brandon Reagen, Robert Adolf, Paul Whatmough, Gu-Yeon Wei, David Brooks
2022

An Introduction to Constraint-Based Temporal Reasoning
Roman Barták, Robert A. Morris, K. Brent Venable, Roman Meir, Robert A. Vorobeychik
2022

Phase Change Memory
Naveen Muralimanohar, Moinuddin K. Qureshi, Sudhanva Gurumurthi, Bipin Rajendran
2022

Introduction to Symbolic Plan and Goal Recognition
Reuth Mirsky, Sarah Keren, Christopher Geib, Reuth Reuth Mirsky, Sarah Sarah Keren, Christopher Christopher Geib
2022

Decidability of Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov
2022

Ellipse Fitting for Computer Vision
Kenichi Kanatani, Yasuyuki Sugaya, Yasushi Kanazawa, Margrit Betke
2022

Mobile Platform Security
N. Asokan, Lucas Davi, Alexandra Dmitrienko, Stephan Heuser, Kari Kostiainen, Elena Reshetova, Ahmad-Reza Sadeghi
2022









































