![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Synthesis 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.