1- 20 of 10786 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pro, Author: Bernd Finkbeiner
QUICK ADD
Tools and Algorithms for the…
by Bernd Finkbeiner (Editor), Laura Kovács (Editor)
#14572 in Series
eBook FREE
Title: Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedi, Author: Arie Gurfinkel
QUICK ADD
Tools and Algorithms for the…
by Arie Gurfinkel (Editor), Marijn Heule (Editor)
#15696 in Series
eBook FREE
Title: Maximal Planar Graph Theory and the Four-Color Conjecture, Author: Jin Xu
QUICK ADD
Maximal Planar Graph Theory…
by Jin Xu
eBook FREE
Title: Seeing the Past with Computers: Experiments with Augmented Reality and Computer Vision for History, Author: Kevin Kee
QUICK ADD
Seeing the Past with Computers…
by Kevin Kee, Timothy J Compeau
Explore Series
eBook FREE
Title: Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedi, Author: Arie Gurfinkel
QUICK ADD
Tools and Algorithms for the…
by Arie Gurfinkel (Editor), Marijn Heule (Editor)
#15697 in Series
eBook FREE
Title: Demystifying Intelligent Multimode Security Systems: An Edge-to-Cloud Cybersecurity Solutions Guide, Author: Jody Booth
QUICK ADD
Demystifying Intelligent…
by Jody Booth, Werner Metz, Anahit Tarkhanyan, Sunil Cheruvu
eBook FREE
Title: Romancing Grendel's Mother: Fear & Loathing on the Internet, Author: Mike Knowles
QUICK ADD
Romancing Grendel's Mother:…
by Mike Knowles
eBook FREE
Title: Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedi, Author: Tomás Vojnar
QUICK ADD
Tools and Algorithms for the…
by Tomás Vojnar (Editor), Lijun Zhang (Editor)
#11427 in Series
eBook FREE
Title: Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedi, Author: Tomás Vojnar
QUICK ADD
Tools and Algorithms for the…
by Tomás Vojnar (Editor), Lijun Zhang (Editor)
#11428 in Series
eBook FREE
Title: Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Author: Hana Chockler
QUICK ADD
Computer Aided Verification:…
by Hana Chockler (Editor), Georg Weissenbacher (Editor)
#10981 in Series
eBook FREE
Title: Challenges in Information, Communication and Computing Technology: Proceedings of the 2nd International Conference on Challenges in Information, Communication, and Computing Technology (ICCICCT 2024), April 26th & 27th, 2024, Namakkal, Tamil Nadu, India, Author: V. Sharmila
QUICK ADD
Challenges in Information,…
by V. Sharmila (Editor), S. Kannadhasan (Editor), A. Rajiv Kannan (Editor), P. Sivakumar (Editor), V. Vennila (Editor)
eBook FREE
Title: Spectral Geometry of Graphs, Author: Pavel Kurasov
QUICK ADD
Spectral Geometry of Graphs
by Pavel Kurasov
#293 in Series
eBook FREE
Title: Proposals for Research (Gerry Stahl's eLibrary, #17), Author: Gerry Stahl
QUICK ADD
Proposals for Research (Gerry…
by Gerry Stahl
Explore Series
eBook FREE
Title: Rhetorical Code Studies: Discovering Arguments in and around Code, Author: Kevin Brock
QUICK ADD
Rhetorical Code Studies:…
by Kevin Brock
Explore Series
eBook FREE
Title: Challenges in Information, Communication and Computing Technology: Proceedings of the 2nd International Conference on Challenges in Information, Communication, and Computing Technology (ICCICCT 2024), April 26th & 27th, 2024, Namakkal, Tamil Nadu, India, Author: V. Sharmila
QUICK ADD
Challenges in Information,…
by V. Sharmila (Editor), S. Kannadhasan (Editor), A. Rajiv Kannan (Editor), P. Sivakumar (Editor), V. Vennila (Editor)
eBook FREE
Title: The Ten Commandments of Earning Money Online, Author: Gary Hicks
QUICK ADD
The Ten Commandments of…
by Gary Hicks
eBook FREE
Title: #identity: Hashtagging Race, Gender, Sexuality, and Nation, Author: Abigail De Kosnik
QUICK ADD
#identity: Hashtagging Race,…
by Abigail De Kosnik, Keith Feldman
eBook FREE
Title: What is EPUB 3?, Author: Matt Garrish
QUICK ADD
What is EPUB 3?
by Matt Garrish
eBook FREE
Title: Tempest: Geometries of Play, Author: Judd Ethan Ruggill
QUICK ADD
Tempest: Geometries of Play
by Judd Ethan Ruggill, Ken S. McAllister
Explore Series
eBook FREE
Title: Hashing, Author: Prakash Hegade
QUICK ADD
Hashing
by Prakash Hegade
eBook FREE

Pagination Links