Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/series/atlantissc:"
@book{DBLP:series/atlantissc/Dardha16, author = {Ornela Dardha}, title = {Type Systems for Distributed Programs: Components and Sessions}, series = {Atlantis Studies in Computing}, volume = {7}, publisher = {Springer / Atlantis Press}, year = {2016}, url = {https://doi.org/10.2991/978-94-6239-204-5}, doi = {10.2991/978-94-6239-204-5}, isbn = {978-94-6239-203-8}, timestamp = {Tue, 30 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/atlantissc/Dardha16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/atlantissc/Mauro14, author = {Jacopo Mauro}, title = {Constraints Meet Concurrency}, series = {Atlantis Studies in Computing}, volume = {5}, publisher = {Atlantis Press}, year = {2014}, url = {https://doi.org/10.2991/978-94-6239-067-6}, doi = {10.2991/978-94-6239-067-6}, isbn = {978-94-6239-066-9}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/atlantissc/Mauro14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/atlantissc/Venturini14, author = {Rossano Venturini}, title = {Compressed Data Structures for Strings - On Searching and Extracting Strings from Compressed Textual Data}, series = {Atlantis Studies in Computing}, volume = {4}, publisher = {Atlantis Press}, year = {2014}, url = {https://doi.org/10.2991/978-94-6239-033-1}, doi = {10.2991/978-94-6239-033-1}, isbn = {978-94-6239-032-4}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/atlantissc/Venturini14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0034508, author = {Fabio Mogavero}, title = {Logics in Computer Science - {A} Study on Extensions of Temporal and Strategic Logics}, series = {Atlantis Studies in Computing}, volume = {3}, publisher = {Atlantis Press}, year = {2013}, url = {https://doi.org/10.2991/978-94-91216-95-4}, doi = {10.2991/978-94-91216-95-4}, isbn = {978-94-91216-94-7}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0034508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0029207, author = {Jeroen Arnoldus and Mark G. J. van den Brand and Alexander Serebrenik and Jacob Brunekreef}, title = {Code Generation with Templates}, series = {Atlantis Studies in Computing}, volume = {1}, publisher = {Atlantis Press}, year = {2012}, url = {https://doi.org/10.2991/978-94-91216-56-5}, doi = {10.2991/978-94-91216-56-5}, isbn = {978-94-91216-55-8}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/0029207.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/atlantissc/BergstraM12, author = {Jan A. Bergstra and Cornelis A. Middelburg}, title = {Instruction Sequences for Computer Science}, series = {Atlantis Studies in Computing}, volume = {2}, publisher = {Atlantis Press}, year = {2012}, url = {https://doi.org/10.2991/978-94-91216-65-7}, doi = {10.2991/978-94-91216-65-7}, isbn = {978-94-91216-64-0}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/atlantissc/BergstraM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.