Synthesis Lectures on Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 4)

H-INDEX

4
(FIVE YEARS 0)

Published By Morgan & Claypool

1932-1686, 1932-1228
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Principles of Blockchain Systems

2021 ◽  
Vol 9 (2) ◽  
pp. 1-213
Author(s):  
Antonio Fernández Anta ◽  
Chryssis Georgiou ◽  
Maurice Herlihy ◽  
Maria Potop-Butucaru

Automated Verification of Concurrent Search Structures

2021 ◽  
Vol 9 (1) ◽  
pp. 1-188
Author(s):  
Siddharth Krishna ◽  
Nisarg Patel ◽  
Dennis Shasha ◽  
Thomas Wies
Keyword(s):  
Automated Verification

Creating Autonomous Vehicle Systems, Second Edition

2020 ◽  
Vol 8 (2) ◽  
pp. i-216
Author(s):  
Shaoshan Liu ◽  
Liyun Li ◽  
Jie Tang ◽  
Shuang Wu ◽  
Jean-Luc Gaudiot
Keyword(s):  
Autonomous Vehicle ◽  
Vehicle Systems

Creating Autonomous Vehicle Systems

2017 ◽  
Vol 6 (1) ◽  
pp. i-186 ◽  
Author(s):  
Shaoshan Liu ◽  
Liyun Li ◽  
Jie Tang ◽  
Shuang Wu ◽  
Jean-Luc Gaudiot
Keyword(s):  
Autonomous Vehicle ◽  
Vehicle Systems

Introduction to Logic, Third Edition

2016 ◽  
Vol 5 (1) ◽  
pp. 1-177
Author(s):  
Michael Genesereth ◽  
Eric J. Kao

Introduction to Logic, Second Edition

2013 ◽  
Vol 4 (2) ◽  
pp. 1-163 ◽  
Author(s):  
Michael Genesereth ◽  
Eric Kao

Introduction to Logic

2013 ◽  
Vol 4 (1) ◽  
pp. 1-165 ◽  
Author(s):  
Michael Genesereth ◽  
Eric Kao
Load More ...
Sign in / Sign up

Export Citation Format

Share Document