• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 14 matches

• 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
• 
  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
• 
  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
• 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
• 
  Michael R. Genesereth, Eric Kao:
  Introduction to Logic. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2013, ISBN 9781627050050
• 
  Michael R. Genesereth, Eric Kao:
  Introduction to Logic, Second Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2013, ISBN 9781627052474, pp. 1-163
• 
  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
• 2011
• 
  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
• 
  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
• 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