default search action

combined dblp search
author search
venue search
publication search

ask others

Synthesis Lectures on Computer Science

visit
authority control:
export stream metadata
BHT key:
- db/series/synthesis-csl/index.bht
stream key:
- streams/series/synthesis-csl
ask others
view this stream in
- dblp search
share bibliography
persistent URL:
- https://dblp.org/streams/series/synthesis-csl
help us
- How can I correct errors in dblp?
- contact dblp

> Home > Series > Synthesis

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

closed (14)

frequent authors

Venue Information

ISO 4 abbr.: Synth. Lect. Comput. Sci.
issn: 1932-1228 (print); 1932-1686 (online)
is part of: Synthesis

2021

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2021Anta
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2021Anta
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
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2021Krishna
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2021Krishna
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

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2020Liu
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2020Liu
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
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2020Hijfte
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2020Hijfte
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

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2018Tay
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2018Tay
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

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2017Liu2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2017Liu2
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

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2016Genesereth
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2016Genesereth
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

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2013Tay
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2013Tay
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
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2013GeneserethK
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2013GeneserethK
Michael R. Genesereth, Eric Kao:
Introduction to Logic, Second Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2013, ISBN 9781627052474, pp. 1-163
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2013Genesereth
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2013Genesereth
Michael R. Genesereth, Eric Kao:
Introduction to Logic. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2013, ISBN 9781627050050

2011

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2011Johnson2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2011Johnson2
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
- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2011Chang
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2011Chang
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

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2010Tay
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2010Tay
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

- view
  authority control:
- export record
  dblp key:
  - series/synthesis/2006Kaynar
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/synthesis/2006Kaynar
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.