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
Rigorous Software Development: An Introduction to Program Verification
Frade, Maria Joo
Paperback
(2nd ed)
Out of Stock
In Cart!
Availability, Reliability and Security: Ares 2025 EU Projects Symposium Workshops, Ghent, Belgium, August 11-14, 2025, Proceedings, Part I
Paperback
Out of Stock
In Cart!
Availability, Reliability and Security: Ares 2025 International Workshops, Ghent, Belgium, August 11-14, 2025, Proceedings, Part IV
Klausen, Jimmy Casas
Paperback
Out of Stock
In Cart!
Information Systems and Neuroscience: Neurois Retreat 2025, Vienna, Austria
Giudice, Luisa del
Paperback
Out of Stock
In Cart!
Applied Artificial Intelligence: First International Conference, 2ai 2024, Solan, India, July 2-4, 2024, Proceedings
Abbas, Sadia
Paperback
Out of Stock
In Cart!
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Pa
Tirao, Juan
Paperback
Out of Stock
In Cart!
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Pa
Paperback
Out of Stock
In Cart!
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Pa
Paperback
Out of Stock
In Cart!
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Pa
Paperback
Out of Stock
In Cart!
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Pa
Burns
Paperback
Out of Stock
In Cart!
ICT for Intelligent Systems: Proceedings of Ictis 2025, Volume 8
Mittleman, Alan L.
Paperback
Out of Stock
In Cart!
ICT for Intelligent Systems: Proceedings of Ictis 2025, Volume 9
Bryant, Joseph M.
Paperback
Out of Stock
In Cart!
ICT for Intelligent Systems: Proceedings of Ictis 2025, Volume 12
Meltzer, Mark
Paperback
Out of Stock
In Cart!
Digital Image Processing: Illustration Using Python
Veerakumar, T.
Paperback
Out of Stock
In Cart!
Web Engineering: 25th International Conference, Icwe 2025, Delft, the Netherlands, June 30 - July 3, 2025, Proceedings
Paperback
Out of Stock
In Cart!
Computational Science and Its Applications - Iccsa 2025: 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part II
Brennan, Denis
Paperback
Out of Stock
In Cart!
Asynchronous Many-Task Systems and Applications: Third International Workshop, Wamta 2025, St. Louis, Mo, Usa, February 19-21, 2025, Proceedings
Schmutz, John F.
Paperback
Out of Stock
In Cart!
Descriptional Complexity of Formal Systems: 26th Ifip Wg 1.02 International Conference, Dcfs 2025, Loughborough, Uk, July 22-24, 2025, Proceedings
New, David S.
Paperback
Out of Stock
In Cart!
Federated Edge Learning: Algorithms, Architectures and Trustworthiness
Fang, Wenzhi
Hardcover
Out of Stock
In Cart!
Emerging Trends in Information Systems and Technologies: Worldcist 2025. Volume 1
Paperback
Out of Stock
In Cart!
First
« Previous
5
6
7
8
9
10
11
Next »
Last
Filter your search
Product Format
[ Clear ]
[ Select All ]
Hardcover
1
Paperback
2
Software
16
eBook
4
Video
1
Publisher
[ Clear ]
Springer
Independently Published
36,148
Createspace Independent Publishing Platform
8,111
Packt Publishing
7,250
LAP Lambert Academic Publishing
5,770
CRC Press
5,119
Apress
4,770
See More
BISAC Subject
[ Select All ]
Computers
38,397
Technology & Engineering
2
Science
1
Content Language
[ Clear ]
[ Select All ]
English
1
German
1,670
Italian
15
French
13
Portuguese
1
Grade Level
College Freshman
7
College Sophomore
2
Kindergarten
2
Preschool
2
College Junior
1
College Senior
1
Post Graduate
1
See More
Author
Notizbucher, Msed
41
Babadada Gmbh
40
Watts, James
39
Bandon, Kris
35
Publishing, Creative Juices
32
Planners, Nifty
30
Publishing, Premier
30
See More
