License single eBooks
Your results
Free Text
Search across title, subtitle, authors, and electroinc ISBN.
ISBNs
Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ‘), or line break
Test
Copyright Years
From 1815 onwards
Collections and reference modules (selected)
Our most popular sets of eBooks
R0 collection
Reference modules
Subjects
SN’s own taxonomy
Showing 1 - 1
Download list
(.CSV)
Ordered by relevance
-
978-3-030-17465-12019, Edition 1Subjects: Computer Science Logic and Foundations of Programming25th 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, Proceedings, Part IIOpen Access.