default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSynthesis Lectures on Computer Science
2021
- Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru:
Principles of Blockchain Systems. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2021, ISBN 978-3-031-00679-1, pp. 1-213 - Siddharth Krishna
, Nisarg Patel, Dennis E. Shasha, Thomas Wies:
Automated Verification of Concurrent Search Structures. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2021, ISBN 978-3-031-00678-4, pp. 1-188
2020
- Shaoshan Liu, Liyun Li, Jie Tang, Shuang Wu, Jean-Luc Gaudiot:
Creating Autonomous Vehicle Systems, Second Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2020, ISBN 978-3-031-00677-7 - Stijn Van Hijfte:
Blockchain Platforms: A Look at the Underbelly of Distributed Platforms. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2020, ISBN 978-3-031-00676-0
2018
- Y. C. Tay:
Analytical Performance Modeling for Computer Systems, Third Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2018, ISBN 978-3-031-00675-3
2017
- Shaoshan Liu, Liyun Li, Jie Tang, Shuang Wu, Jean-Luc Gaudiot:
Creating Autonomous Vehicle Systems. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2017, ISBN 978-3-031-01802-2
2016
- Michael R. Genesereth, Eric Kao:
Introduction to Logic, Third Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2016, ISBN 978-3-031-00673-9
2013
- Y. C. Tay:
Analytical Performance Modeling for Computer Systems, Second Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2013, ISBN 9781627052696, pp. 1-141 - Michael R. Genesereth, Eric Kao:
Introduction to Logic, Second Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2013, ISBN 9781627052474, pp. 1-163 - Michael R. Genesereth, Eric Kao:
Introduction to Logic. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2013, ISBN 9781627050050
2011
- Brian David Johnson:
Science Fiction Prototyping: Designing the Future with Science Fiction. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2011, ISBN 9781608456550, pp. 1-190 - Jessica P. Chang, Dennis E. Shasha:
Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2011, ISBN 9781608456956, pp. 1-73
2010
- Y. C. Tay:
Analytical Performance Modeling for Computer Systems. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2010, ISBN 978-3-031-01795-7
2006
- Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2006
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
