Register
Sign In
Search by Specific Product Lines
Book
eBook
Audio / Video
Subscriptions
Software / Other
Toggle navigation
Home
Browse by Category
Technology & Engineering
Business & Economics
Education
Reference
Science
Medical
Computers
Browse by Product Line
Books
E-Books
Subscriptions
Audio / Video
Software / Other
Services
Bulk Orders
Subscription Claim
Rush Delivery
Schedule a Speaker
Out of Print Titles
Cataloging Services
Product Add Ons
New Site Features
CART
0
Computers
Category
"If we encounter a man of rare intellect, we should ask him what books he reads."
― Ralph Waldo Emerson
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat
Holden, Sean B.
Paperback
Out of Stock
In Cart!
Expressing Information Flow Properties
Myers, Andrew C.
Paperback
Out of Stock
In Cart!
Neurosymbolic Programming
Ellis, Kevin
Paperback
Out of Stock
In Cart!
Asymptotic Frame Theory for Analog Coding
Gavish, Matan
Paperback
Out of Stock
In Cart!
Tensor Regression
Zhu, Ce
Paperback
Out of Stock
In Cart!
Deep Learning for Multimedia Forensics
Maiano, Luca
Paperback
Out of Stock
In Cart!
Refinement Types: A Tutorial
Vazou, Niki
Paperback
Out of Stock
In Cart!
Dynamical Variational Autoencoders: A Comprehensive Review
Bie, Xiaoyu
Paperback
Out of Stock
In Cart!
Introduction to Neural Network Verification
Albarghouthi, Aws
Paperback
Out of Stock
In Cart!
Spectral Methods for Data Science: A Statistical Perspective
Chi, Yuejie
Paperback
Out of Stock
In Cart!
Efficient and Effective Tree-Based and Neural Learning to Rank
Nardini, Franco Maria
Paperback
Out of Stock
In Cart!
Towards Better User Studies in Computer Graphics and Vision
Bylinskii, Zoya
Paperback
Out of Stock
In Cart!
An Introduction to Neural Data Compression
Theis, Lucas
Paperback
Out of Stock
In Cart!
In-Band Full-Duplex Radios in 6g Networks: Implementation and Applications
Bishnu, Abhijeet
Paperback
Out of Stock
In Cart!
Finite Blocklength Lossy Source Coding for Discrete Memoryless Sources
Motani, Mehul
Paperback
Out of Stock
In Cart!
Modes of Uncertainty in Hci
Wong, Richmond
Paperback
Out of Stock
In Cart!
Haptics for Human-Computer Interaction: From the Skin to the Brain
Ziat, Mounia
Paperback
Out of Stock
In Cart!
Introduction to Riemannian Geometry and Geometric Statistics: From Basic Theory to Implementation with Geomstats
Miolane, Nina
Paperback
Out of Stock
In Cart!
Multidimensional Array Data Management
Rusu, Florin
Paperback
Out of Stock
In Cart!
Interpersonal and Technology-Based Trust Research: Gaps and Opportunities for Research and Practice
Paradice, David
Paperback
Out of Stock
In Cart!
First
« Previous
2
3
4
5
6
7
8
Next »
Last
Filter your search
Product Format
[ Clear ]
[ Select All ]
Hardcover
1
Paperback
2
Publisher
[ Clear ]
Now Publishers
Springer
38,449
Independently Published
36,181
Createspace Independent Publishing Platform
8,579
Packt Publishing
7,258
LAP Lambert Academic Publishing
5,772
CRC Press
5,146
See More
BISAC Subject
[ Select All ]
Computers
445
Content Language
[ Clear ]
English
Author
Bach, Francis
3
Kedziora, David Jacob
3
Khorsand, Bardia
3
Mueller, Florian
3
Serrano Orozco, Martin
3
Serrano, Martín
3
Soldatos, John
3
See More
