Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/series/eatcs:"
download as .bib file
@book{DBLP:series/eatcs/BiloV23,
author = {Vittorio Bil{\`{o}} and
Cosimo Vinci},
title = {Coping with Selfishness in Congestion Games - Analysis and Design
via {LP} Duality},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30261-9},
doi = {10.1007/978-3-031-30261-9},
isbn = {978-3-031-30260-2},
timestamp = {Sun, 14 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BiloV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Bjorner21,
author = {Dines Bj{\o}rner},
title = {Domain Science and Engineering - {A} Foundation for Software Development},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-73484-8},
doi = {10.1007/978-3-030-73484-8},
isbn = {978-3-030-73483-1},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/eatcs/Bjorner21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Gawiejnowicz20,
author = {Stanislaw Gawiejnowicz},
title = {Models and Algorithms of Time-Dependent Scheduling, Second Edition},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-662-59362-2},
doi = {10.1007/978-3-662-59362-2},
isbn = {978-3-662-59361-5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Gawiejnowicz20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Gorrieri17,
author = {Roberto Gorrieri},
title = {Process Algebras for Petri Nets - The Alphabetization of Distributed
Systems},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-55559-1},
doi = {10.1007/978-3-319-55559-1},
isbn = {978-3-319-55558-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Gorrieri17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Morita17,
author = {Kenichi Morita},
title = {Theory of Reversible Computing},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-4-431-56606-9},
doi = {10.1007/978-4-431-56606-9},
isbn = {978-4-431-56604-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/eatcs/Morita17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/EhrigEGH15,
author = {Hartmut Ehrig and
Claudia Ermel and
Ulrike Golas and
Frank Hermann},
title = {Graph and Model Transformation - General Framework and Applications},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47980-3},
doi = {10.1007/978-3-662-47980-3},
isbn = {978-3-662-47979-7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EhrigEGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/KitaevL15,
author = {Sergey Kitaev and
Vadim V. Lozin},
title = {Words and Graphs},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25859-1},
doi = {10.1007/978-3-319-25859-1},
isbn = {978-3-319-25857-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/eatcs/KitaevL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Cicalese13,
author = {Ferdinando Cicalese},
title = {Fault-Tolerant Search Algorithms - Reliable Computation with Unreliable
Information},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-17327-1},
doi = {10.1007/978-3-642-17327-1},
isbn = {978-3-642-17326-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Cicalese13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0028275,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Foundations of Algebraic Specification and Formal Software Development},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-17336-3},
doi = {10.1007/978-3-642-17336-3},
isbn = {978-3-642-17335-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0028275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030674,
author = {Carlo A. Furia and
Dino Mandrioli and
Angelo Morzenti and
Matteo Rossi},
title = {Modeling Time in Computing},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32332-4},
doi = {10.1007/978-3-642-32332-4},
isbn = {978-3-642-32331-7},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0030674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Gabizon11,
author = {Ariel Gabizon},
title = {Deterministic Extraction from Weak Random Sources},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14903-0},
doi = {10.1007/978-3-642-14903-0},
isbn = {978-3-642-14902-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Gabizon11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Kitaev11,
author = {Sergey Kitaev},
title = {Patterns in Permutations and Words},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17333-2},
doi = {10.1007/978-3-642-17333-2},
isbn = {978-3-642-17332-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Kitaev11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/Abdelzaher11,
author = {Tarek F. Abdelzaher},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Composition and Scaling Challenges in Sensor Networks: An Interaction-Centric
View},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {3--27},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_1},
doi = {10.1007/978-3-642-14849-1\_1},
timestamp = {Tue, 16 May 2017 14:24:23 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Abdelzaher11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/BlaskiewiczK11,
author = {Przemyslaw Blaskiewicz and
Miroslaw Kutylowski},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Security and Trust in Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {697--739},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_22},
doi = {10.1007/978-3-642-14849-1\_22},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BlaskiewiczK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/BuschMX11,
author = {Costas Busch and
Malik Magdon{-}Ismail and
Jing Xi},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Oblivious Routing for Sensor Network Topologies},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {381--406},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_13},
doi = {10.1007/978-3-642-14849-1\_13},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BuschMX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/ClementiP11,
author = {Andrea Clementi and
Francesco Pasquale},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Information Spreading in Dynamic Networks: An Analytical Approach},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {591--619},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_19},
doi = {10.1007/978-3-642-14849-1\_19},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/ClementiP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/Das0GR11,
author = {Sajal K. Das and
Jing Wang and
Ratan K. Ghosh and
Rupert Reiger},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Algorithmic Aspects of Sensor Localization},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {257--291},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_9},
doi = {10.1007/978-3-642-14849-1\_9},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Das0GR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/DasNP11,
author = {Sajal K. Das and
Alfredo Navarra and
Cristina M. Pinotti},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Dense, Concentric, and Non-uniform Multi-hop Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {515--551},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_17},
doi = {10.1007/978-3-642-14849-1\_17},
timestamp = {Tue, 10 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/DasNP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/DiazMS11,
author = {Josep D{\'{\i}}az and
Dieter Mitsche and
Paolo Santi},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Theoretical Aspects of Graph Models for MANETs},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {161--190},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_6},
doi = {10.1007/978-3-642-14849-1\_6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/DiazMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/DolevT11,
author = {Shlomi Dolev and
Nir Tzachar},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile
Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {621--653},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_20},
doi = {10.1007/978-3-642-14849-1\_20},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/DolevT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/FanghanelV11,
author = {Alexander Fangh{\"{a}}nel and
Berthold V{\"{o}}cking},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Scheduling and Power Assignments in the Physical Model},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {31--57},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_2},
doi = {10.1007/978-3-642-14849-1\_2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/FanghanelV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/FlocchiniPS11,
author = {Paola Flocchini and
Giuseppe Prencipe and
Nicola Santoro},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Computing by Mobile Robotic Sensors},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {655--693},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_21},
doi = {10.1007/978-3-642-14849-1\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/FlocchiniPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/GiridharK11,
author = {Arvind Giridhar and
P. R. Kumar},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {The Spatial Smoothing Method of Clock Synchronization in Wireless
Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {227--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_8},
doi = {10.1007/978-3-642-14849-1\_8},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/GiridharK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/IncelGK11,
author = {{\"{O}}zlem Durmaz Incel and
Amitabha Amitava Ghosh and
Bhaskar Krishnamachari},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Scheduling Algorithms for Tree-Based Data Collection in Wireless Sensor
Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {407--445},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_14},
doi = {10.1007/978-3-642-14849-1\_14},
timestamp = {Tue, 28 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/eatcs/IncelGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/Kowalski11,
author = {Dariusz R. Kowalski},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Coordination Problems in Ad Hoc Radio Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {319--350},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_11},
doi = {10.1007/978-3-642-14849-1\_11},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Kowalski11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/KranakisKP11,
author = {Evangelos Kranakis and
Danny Krizanc and
Oscar Morales{-}Ponce},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Maintaining Connectivity in Sensor Networks Using Directional Antennae},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {59--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_3},
doi = {10.1007/978-3-642-14849-1\_3},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/KranakisKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/KrcoW11,
author = {Srdjan Krco and
Konrad S. Wrona},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Toward Integrated Real-World Sensing Environment - Applications and
Challenges},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {893--914},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_27},
doi = {10.1007/978-3-642-14849-1\_27},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/KrcoW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/LeoneNR11,
author = {Pierre Leone and
Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Energy-Balanced Data Propagation inWireless Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {481--513},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_16},
doi = {10.1007/978-3-642-14849-1\_16},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/LeoneNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/LiR11,
author = {Shizheng Li and
Aditya Ramamoorthy},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Networked Distributed Source Coding},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {191--224},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_7},
doi = {10.1007/978-3-642-14849-1\_7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/LiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/LuoX11,
author = {Jun Luo and
Liu Xiang},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Prolong the Lifetime of Wireless Sensor Networks Through Mobility:
{A} General Optimization Framework},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {553--588},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_18},
doi = {10.1007/978-3-642-14849-1\_18},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/LuoX11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/MartirosyanB11,
author = {Anahit Martirosyan and
Azzedine Boukerche},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Spatio-temporal Context in Wireless Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {293--318},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_10},
doi = {10.1007/978-3-642-14849-1\_10},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/MartirosyanB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/MittonRS11,
author = {Nathalie Mitton and
Tahiry Razafindralambo and
David Simplot{-}Ryl},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Position-Based Routing in Wireless Ad Hoc and Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {447--477},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_15},
doi = {10.1007/978-3-642-14849-1\_15},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/MittonRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/NikoletseasS11,
author = {Sotiris E. Nikoletseas and
Paul G. Spirakis},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Probabilistic Data Propagation in Wireless Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {353--380},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_12},
doi = {10.1007/978-3-642-14849-1\_12},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/NikoletseasS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/PathakP11,
author = {Animesh Pathak and
Viktor K. Prasanna},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {High-Level Application Development for Sensor Networks: Data-Driven
Approach},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {865--891},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_26},
doi = {10.1007/978-3-642-14849-1\_26},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/PathakP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/RujNS11,
author = {Sushmita Ruj and
Amiya Nayak and
Ivan Stojmenovic},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Key Predistribution in Wireless Sensor Networks When Sensors Are Within
Communication Range},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {787--832},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_24},
doi = {10.1007/978-3-642-14849-1\_24},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/RujNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/Spirakis11,
author = {Paul G. Spirakis},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Population Protocols and Related Models},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {109--159},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_5},
doi = {10.1007/978-3-642-14849-1\_5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Spirakis11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/StankovicWH11,
author = {John A. Stankovic and
Anthony D. Wood and
Tian He},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Realistic Applications for Wireless Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {835--863},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_25},
doi = {10.1007/978-3-642-14849-1\_25},
timestamp = {Fri, 13 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/StankovicWH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/WidmayerAEP11,
author = {Peter Widmayer and
Luzi Anderegg and
Stephan J. Eidenbenz and
Leon Peeters},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Optimal Placement of Ad Hoc Devices Under a VCG-Style Routing Protocol},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {85--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_4},
doi = {10.1007/978-3-642-14849-1\_4},
timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/WidmayerAEP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/eatcs/XuDHLLC11,
author = {Dahai Xu and
Jeffrey S. Dwoskin and
Jianwei Huang and
Tian Lan and
Ruby B. Lee and
Mung Chiang},
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Key Management in Sensor Networks},
booktitle = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
pages = {741--785},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1\_23},
doi = {10.1007/978-3-642-14849-1\_23},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/XuDHLLC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Sensor2011,
editor = {Sotiris E. Nikoletseas and
Jos{\'{e}} D. P. Rolim},
title = {Theoretical Aspects of Distributed Computing in Sensor Networks},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14849-1},
doi = {10.1007/978-3-642-14849-1},
isbn = {978-3-642-14848-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Sensor2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023745,
author = {Ernst{-}Erich Doberkat},
title = {Stochastic Coalgebraic Logic},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02995-0},
doi = {10.1007/978-3-642-02995-0},
isbn = {978-3-642-02994-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/EsparzaH08,
author = {Javier Esparza and
Keijo Heljanko},
title = {Unfoldings - {A} Partial-Order Approach to Model Checking},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77426-6},
doi = {10.1007/978-3-540-77426-6},
isbn = {978-3-540-77425-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EsparzaH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Gawiejnowicz08,
author = {Stanislaw Gawiejnowicz},
title = {Time-Dependent Scheduling},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69446-5},
doi = {10.1007/978-3-540-69446-5},
isbn = {978-3-540-69445-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Gawiejnowicz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017492,
author = {Wil Michiels and
Emile H. L. Aarts and
Jan H. M. Korst},
title = {Theoretical aspects of local search},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-35854-1},
doi = {10.1007/978-3-540-35854-1},
isbn = {978-3-540-35853-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0017492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/EhrigEPT06,
author = {Hartmut Ehrig and
Karsten Ehrig and
Ulrike Prange and
Gabriele Taentzer},
title = {Fundamentals of Algebraic Graph Transformation},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-31188-2},
doi = {10.1007/3-540-31188-2},
isbn = {978-3-540-31187-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EhrigEPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/ChaochenH04,
author = {Zhou Chaochen and
Michael R. Hansen},
title = {Duration Calculus - {A} Formal Approach to Real-Time Systems},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-662-06784-0},
doi = {10.1007/978-3-662-06784-0},
isbn = {978-3-642-07404-2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/ChaochenH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/FinkW04,
author = {Eugene Fink and
Derick Wood},
title = {Restricted-Orientation Convexity},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-642-18849-7},
doi = {10.1007/978-3-642-18849-7},
isbn = {978-3-642-62323-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/FinkW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Grosse-Rhode04,
author = {Martin Gro{\ss}e{-}Rhode},
title = {Semantic Integration of Heterogeneous Software Specifications},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-662-09853-0},
doi = {10.1007/978-3-662-09853-0},
isbn = {978-3-642-07306-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Grosse-Rhode04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/HemaspaandraT03,
author = {Lane A. Hemaspaandra and
Leen Torenvliet},
title = {Theory of Semi-Feasible Algorithms},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-662-05080-4},
doi = {10.1007/978-3-662-05080-4},
isbn = {978-3-642-07581-0},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/HemaspaandraT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/DemriO02,
author = {St{\'{e}}phane Demri and
Ewa Orlowska},
title = {Incomplete Information: Structure, Inference, Complexity},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-662-04997-6},
doi = {10.1007/978-3-662-04997-6},
isbn = {3-540-41904-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/DemriO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BaetenM02,
author = {Jos C. M. Baeten and
Cornelis A. Middelburg},
title = {Process Algebra with Timing},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-662-04995-2},
doi = {10.1007/978-3-662-04995-2},
isbn = {978-3-642-07788-3},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BaetenM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0003970,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
title = {Petri net algebra},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-3-662-04457-5},
doi = {10.1007/978-3-662-04457-5},
isbn = {978-3-540-67398-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0003970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/LucaV99,
author = {Aldo de Luca and
Stefano Varricchio},
title = {Finiteness and Regularity in Semigroups and Formal Languages},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-59849-4},
doi = {10.1007/978-3-642-59849-4},
isbn = {978-3-540-63771-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/LucaV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/FulopV98,
author = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Heiko Vogler},
title = {Syntax-Directed Semantics - Formal Models Based on Tree Transducers},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-642-72248-6},
doi = {10.1007/978-3-642-72248-6},
isbn = {978-3-642-72250-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/FulopV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Jensen97,
author = {Kurt Jensen},
title = {Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical
Use - Volume 3},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60794-3},
doi = {10.1007/978-3-642-60794-3},
isbn = {978-3-642-64556-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Jensen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Jensen96,
author = {Kurt Jensen},
title = {Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical
Use - Volume 1, Second Edition},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-3-662-03241-1},
doi = {10.1007/978-3-662-03241-1},
isbn = {978-3-642-08243-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Jensen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Abdallah95,
author = {Areski Nait Abdallah},
title = {The Logic of Partial Information},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-642-78160-5},
doi = {10.1007/978-3-642-78160-5},
isbn = {978-3-642-78162-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Abdallah95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Calude94,
author = {Cristian Calude},
title = {Information and Randomness - An Algorithmic Perspective},
series = {{EATCS} Monographs on Theoretical Computer Science},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-662-03049-3},
doi = {10.1007/978-3-662-03049-3},
isbn = {978-3-662-03051-6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/eatcs/Calude94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/SchmidtS93,
author = {Gunther Schmidt and
Thomas Str{\"{o}}hlein},
title = {Relations and Graphs - Discrete Mathematics for Computer Scientists},
series = {{EATCS} Monographs on Theoretical Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-77968-8},
doi = {10.1007/978-3-642-77968-8},
isbn = {3-540-56254-0},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/SchmidtS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BloomE93,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
title = {Iteration Theories - The Equational Logic of Iterative Processes},
series = {{EATCS} Monographs on Theoretical Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78034-9},
doi = {10.1007/978-3-642-78034-9},
isbn = {978-3-642-78036-3},
timestamp = {Wed, 31 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BloomE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/JanickiL92,
author = {Ryszard Janicki and
Peter E. Lauer},
title = {Specification and Analysis of Concurrent Systems - The {COSY} Approach},
series = {{EATCS} Monographs on Theoretical Computer Science},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-77337-2},
doi = {10.1007/978-3-642-77337-2},
isbn = {978-3-642-77339-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/JanickiL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Jensen92,
author = {Kurt Jensen},
title = {Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical
Use - Volume 1},
series = {{EATCS} Monographs on Theoretical Computer Science},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-662-06289-0},
doi = {10.1007/978-3-662-06289-0},
isbn = {978-3-662-06291-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Jensen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Wechler92,
author = {Wolfgang Wechler},
title = {Universal Algebra for Computer Scientists},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {25},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-76771-5},
doi = {10.1007/978-3-642-76771-5},
isbn = {978-3-642-76773-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Wechler92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/GergelyU91,
author = {Tam{\'{a}}s Gergely and
L{\'{a}}szl{\'{o}} {\'{U}}ry},
title = {First-Order Programming Theories},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {24},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-58205-9},
doi = {10.1007/978-3-642-58205-9},
isbn = {978-3-642-63503-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/GergelyU91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BalcazarDG88,
author = {Jos{\'{e}} L. Balc{\'{a}}zar and
Josep D{\'{\i}}az and
Joaquim Gabarr{\'{o}}},
title = {Structural Complexity {I}},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {11},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-642-97062-7},
doi = {10.1007/978-3-642-97062-7},
isbn = {978-3-642-97064-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BalcazarDG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BalcazarDG90,
author = {Jos{\'{e}} L. Balc{\'{a}}zar and
Josep D{\'{\i}}az and
Joaquim Gabarr{\'{o}}},
title = {Structural Complexity {II}},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {22},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-642-75357-2},
doi = {10.1007/978-3-642-75357-2},
isbn = {978-3-642-75359-6},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BalcazarDG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/EhrigM90,
author = {Hartmut Ehrig and
Bernd Mahr},
title = {Fundamentals of Algebraic Specification 2},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {21},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-642-61284-8},
doi = {10.1007/978-3-642-61284-8},
isbn = {978-3-642-64776-5},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EhrigM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Salomaa90,
author = {Arto Salomaa},
title = {Public-Key Cryptography},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {23},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-662-02627-4},
doi = {10.1007/978-3-662-02627-4},
isbn = {978-3-662-02629-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Salomaa90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/SippuS90,
author = {Seppo Sippu and
Eljas Soisalon{-}Soininen},
title = {Parsing Theory - Volume {II:} LR(k) and LL(k) Parsing},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {20},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-662-08424-3},
doi = {10.1007/978-3-662-08424-3},
isbn = {978-3-642-08079-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/SippuS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Tofte90,
author = {Mads Tofte},
title = {Compiler Generators - What They Can Do, What They Might Do, and What
They Will Probably Never Do},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {19},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-642-61504-7},
doi = {10.1007/978-3-642-61504-7},
isbn = {978-3-642-64857-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Tofte90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/ParedaensBGG89,
author = {Jan Paredaens and
Paul De Bra and
Marc Gyssens and
Dirk Van Gucht},
title = {The Structure of the Relational Database Model},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {17},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-69956-6},
doi = {10.1007/978-3-642-69956-6},
isbn = {3-540-13714-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/ParedaensBGG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/BestF88,
author = {Eike Best and
C{\'{e}}sar Fern{\'{a}}ndez},
title = {Nonsequential Processes - {A} Petri Net View},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {13},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-73483-0},
doi = {10.1007/978-3-642-73483-0},
isbn = {978-3-642-73485-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/BestF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Jantzen88,
author = {Matthias Jantzen},
title = {Confluent String Rewriting},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {14},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-61549-8},
doi = {10.1007/978-3-642-61549-8},
isbn = {978-3-642-64867-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Jantzen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Padawitz88,
author = {Peter Padawitz},
title = {Computing in Horn Clause Theories},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {16},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-73824-1},
doi = {10.1007/978-3-642-73824-1},
isbn = {978-3-642-73826-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Padawitz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/SippuS88,
author = {Seppo Sippu and
Eljas Soisalon{-}Soininen},
title = {Parsing Theory - Volume {I:} Languages and Parsing},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {15},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-61345-6},
doi = {10.1007/978-3-642-61345-6},
isbn = {978-3-642-64801-4},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/SippuS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Edelsbrunner87,
author = {Herbert Edelsbrunner},
title = {Algorithms in Combinatorial Geometry},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {10},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-61568-9},
doi = {10.1007/978-3-642-61568-9},
isbn = {978-3-642-64873-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Edelsbrunner87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Kroger87,
author = {Fred Kr{\"{o}}ger},
title = {Temporal Logic of Programs},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {8},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-71549-5},
doi = {10.1007/978-3-642-71549-5},
isbn = {978-3-642-71551-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Kroger87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Weihrauch87,
author = {Klaus Weihrauch},
title = {Computability},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {9},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-69965-8},
doi = {10.1007/978-3-642-69965-8},
isbn = {978-3-642-69967-2},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Weihrauch87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/KuichS86,
author = {Werner Kuich and
Arto Salomaa},
title = {Semirings, Automata, Languages},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {5},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-69959-7},
doi = {10.1007/978-3-642-69959-7},
isbn = {3-540-13716-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/KuichS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Gecseg86,
author = {Ferenc G{\'{e}}cseg},
title = {Products of Automata},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {7},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-61611-2},
doi = {10.1007/978-3-642-61611-2},
isbn = {978-3-642-64884-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Gecseg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/EhrigM85,
author = {Hartmut Ehrig and
Bernd Mahr},
title = {Fundamentals of Algebraic Specification 1: Equations and Initial Semantics},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {6},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-69962-7},
doi = {10.1007/978-3-642-69962-7},
isbn = {3-540-13718-1},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/EhrigM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Reisig85a,
author = {Wolfgang Reisig},
title = {Petri Nets: An Introduction},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {4},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-69968-9},
doi = {10.1007/978-3-642-69968-9},
isbn = {3-540-13723-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Reisig85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Mehlhorn84,
author = {Kurt Mehlhorn},
title = {Data Structures and Algorithms 1: Sorting and Searching},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {1},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-69672-5},
doi = {10.1007/978-3-642-69672-5},
isbn = {3-540-13302-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Mehlhorn84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Mehlhorn84a,
author = {Kurt Mehlhorn},
title = {Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {2},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-69897-2},
doi = {10.1007/978-3-642-69897-2},
isbn = {3-540-13641-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Mehlhorn84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Mehlhorn84b,
author = {Kurt Mehlhorn},
title = {Data Structures and Algorithms 3: Multi-dimensional Searching and
Computational Geometry},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {3},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-69900-9},
doi = {10.1007/978-3-642-69900-9},
isbn = {3-540-13642-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Mehlhorn84b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-30 20:03 CEST from data curated 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:
