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/mcs:"
download as .bib file
@book{DBLP:series/mcs/BronsteinBK09,
author = {Alexander M. Bronstein and
Michael M. Bronstein and
Ron Kimmel},
title = {Numerical Geometry of Non-Rigid Shapes},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-73301-2},
doi = {10.1007/978-0-387-73301-2},
isbn = {978-0-387-73300-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/BronsteinBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/GruneJ08,
author = {Dick Grune and
Ceriel J. H. Jacobs},
title = {Parsing Techniques - {A} Practical Guide},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-68954-8},
doi = {10.1007/978-0-387-68954-8},
isbn = {978-0-387-20248-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/GruneJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/HeydonMLY06,
author = {Allan Heydon and
Timothy P. Mann and
Roy Levin and
Yuan Yu},
title = {Software Configuration Management Using Vesta},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-30852-4},
doi = {10.1007/978-0-387-30852-4},
isbn = {978-0-387-00229-3},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/HeydonMLY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/BhanuLK05,
author = {Bir Bhanu and
Yingqiang Lin and
Krzysztof Krawiec},
title = {Evolutionary Synthesis of Pattern Recognition Systems},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105515},
doi = {10.1007/B105515},
isbn = {978-0-387-21295-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/BhanuLK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Burgin05,
author = {Mark Burgin},
title = {Super-Recursive Algorithms},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b138114},
doi = {10.1007/B138114},
isbn = {978-0-387-95569-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Burgin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/McIverM05,
author = {Annabelle McIver and
Carroll Morgan},
title = {Abstraction, Refinement and Proof for Probabilistic Systems},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b138392},
doi = {10.1007/B138392},
isbn = {978-0-387-40115-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/McIverM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/PoernomoWC05,
author = {Iman Hafiz Poernomo and
Martin Wirsing and
John Newsome Crossley},
title = {Adapting Proofs-as-Programs - The Curry-Howard Protocol},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/0-387-28183-5},
doi = {10.1007/0-387-28183-5},
isbn = {978-0-387-23759-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/PoernomoWC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Selig05,
author = {J. M. Selig},
title = {Geometric Fundamentals of Robotics, Second Edition},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b138859},
doi = {10.1007/B138859},
isbn = {978-0-387-20874-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Selig05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/TonellaP05,
author = {Paolo Tonella and
Alessandra Potrich},
title = {Reverse Engineering of Object Oriented Code},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b102522},
doi = {10.1007/B102522},
isbn = {978-0-387-40295-6},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/TonellaP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/ShashaZ04,
author = {Dennis E. Shasha and
Yunyue Zhu},
title = {High Performance Discovery in Time Series - Techniques and Case Studies},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4757-4046-2},
doi = {10.1007/978-1-4757-4046-2},
isbn = {978-1-4419-1842-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/ShashaZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/BroyS01,
author = {Manfred Broy and
Ketil St{\o}len},
title = {Specification and Development of Interactive Systems - Focus on Streams,
Interfaces, and Refinement},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4613-0091-5},
doi = {10.1007/978-1-4613-0091-5},
isbn = {978-1-4612-6518-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/BroyS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/CantoneOP01,
author = {Domenico Cantone and
Eugenio G. Omodeo and
Alberto Policriti},
title = {Set Theory for Computing - From Decision Procedures to Declarative
Programming with Sets},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4757-3452-2},
doi = {10.1007/978-1-4757-3452-2},
isbn = {978-1-4419-2905-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/CantoneOP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Misra01,
author = {Jayadev Misra},
title = {A Discipline of Multiprogramming - Programming Theory for Distributed
Applications},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4419-8528-6},
doi = {10.1007/978-1-4419-8528-6},
isbn = {978-1-4612-6427-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Misra01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0097437,
author = {Ernst L. Leiss},
title = {Language equations},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4612-2156-2},
doi = {10.1007/978-1-4612-2156-2},
isbn = {978-0-387-98626-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0097437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/DowneyF99,
author = {Rodney G. Downey and
Michael R. Fellows},
title = {Parameterized Complexity},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4612-0515-9},
doi = {10.1007/978-1-4612-0515-9},
isbn = {978-1-4612-6798-0},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/DowneyF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/FeijenG99,
author = {W. H. J. Feijen and
A. J. M. van Gasteren},
title = {On a Method of Multiprogramming},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4757-3126-2},
doi = {10.1007/978-1-4757-3126-2},
isbn = {978-1-4419-3179-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/FeijenG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Baralis99,
author = {Elena Baralis},
editor = {Norman W. Paton},
title = {Rule Analysis},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {51--67},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_3},
doi = {10.1007/978-1-4419-8656-6\_3},
timestamp = {Sat, 03 Aug 2019 17:47:35 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Baralis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Buchmann99,
author = {Alejandro P. Buchmann},
editor = {Norman W. Paton},
title = {Architecture of Active Database Systems},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {29--48},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_2},
doi = {10.1007/978-1-4419-8656-6\_2},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Buchmann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/BultzingsloewenKLW99,
author = {G{\"{u}}nter von B{\"{u}}ltzingsloewen and
Arne Koschel and
Peter C. Lockemann and
Hans{-}Dirk Walter},
editor = {Norman W. Paton},
title = {{ECA} Functionality in a Distributed Environment},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {147--175},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_8},
doi = {10.1007/978-1-4419-8656-6\_8},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/BultzingsloewenKLW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Collet99,
author = {Christine Collet},
editor = {Norman W. Paton},
title = {{NAOS}},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {279--296},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_15},
doi = {10.1007/978-1-4419-8656-6\_15},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Collet99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Diaz99,
author = {Oscar D{\'{\i}}az},
editor = {Norman W. Paton},
title = {Tool Support},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {127--145},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_7},
doi = {10.1007/978-1-4419-8656-6\_7},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Diaz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Diaz99a,
author = {Oscar D{\'{\i}}az},
editor = {Norman W. Paton},
title = {{EXACT:} An Approach to Coping with Heterogeneous Rule Execution Models},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {249--261},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_13},
doi = {10.1007/978-1-4419-8656-6\_13},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Diaz99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/DinnPW99,
author = {Andrew Dinn and
Norman W. Paton and
M. Howard Williams},
editor = {Norman W. Paton},
title = {{RAP:} The {ROCK} {\&} {ROLL} Active Programming System},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {323--336},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_18},
doi = {10.1007/978-1-4419-8656-6\_18},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/DinnPW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/DittrichS99,
author = {Angelika Kotz Dittrich and
Eric Simon},
editor = {Norman W. Paton},
title = {Active Database Systems: Expectations, Commercial Experience, and
Beyond},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {367--404},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_20},
doi = {10.1007/978-1-4419-8656-6\_20},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/DittrichS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/EmburyG99,
author = {Suzanne M. Embury and
Peter M. D. Gray},
editor = {Norman W. Paton},
title = {Database Internal Applications},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {339--366},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_19},
doi = {10.1007/978-1-4419-8656-6\_19},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/EmburyG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Fernandes99,
author = {Alvaro A. A. Fernandes},
editor = {Norman W. Paton},
title = {Comparing Deductive and Active Databases},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {177--194},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_9},
doi = {10.1007/978-1-4419-8656-6\_9},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Fernandes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/FraternaliP99,
author = {Piero Fraternali and
Stefano Paraboschi},
editor = {Norman W. Paton},
title = {Chimera: {A} Language for Designing Rule Applications},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {309--322},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_17},
doi = {10.1007/978-1-4419-8656-6\_17},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/FraternaliP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/GatziuD99,
author = {Stella Gatziu and
Klaus R. Dittrich},
editor = {Norman W. Paton},
title = {{SAMOS}},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {233--247},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_12},
doi = {10.1007/978-1-4419-8656-6\_12},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/GatziuD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/GeppertD99,
author = {Andreas Geppert and
Klaus R. Dittrich},
editor = {Norman W. Paton},
title = {Performance Assessment},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {103--125},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_6},
doi = {10.1007/978-1-4419-8656-6\_6},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/GeppertD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Hanson99,
author = {Eric N. Hanson},
editor = {Norman W. Paton},
title = {Ariel},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {221--232},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_11},
doi = {10.1007/978-1-4419-8656-6\_11},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Hanson99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/HanssonB99,
author = {J{\"{o}}rgen Hansson and
Mikael Berndtsson},
editor = {Norman W. Paton},
title = {Active Real-Time Database Systems},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {405--426},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_21},
doi = {10.1007/978-1-4419-8656-6\_21},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/HanssonB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/KulkarniMC99,
author = {Krishna G. Kulkarni and
Nelson Mendon{\c{c}}a Mattos and
Roberta Cochrane},
editor = {Norman W. Paton},
title = {Active Database Features in {SQL3}},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {197--219},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_10},
doi = {10.1007/978-1-4419-8656-6\_10},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/KulkarniMC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/Paton99,
author = {Norman W. Paton},
editor = {Norman W. Paton},
title = {Summary},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {429--434},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_22},
doi = {10.1007/978-1-4419-8656-6\_22},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/Paton99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/PatonDW99,
author = {Norman W. Paton and
Andrew Dinn and
M. Howard Williams},
editor = {Norman W. Paton},
title = {Optimization},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {69--80},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_4},
doi = {10.1007/978-1-4419-8656-6\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/PatonDW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/PattonD99,
author = {Norman W. Paton and
Oscar D{\'{\i}}az},
editor = {Norman W. Paton},
title = {Introduction},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {3--27},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_1},
doi = {10.1007/978-1-4419-8656-6\_1},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/PattonD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/ReddiPS99,
author = {Swarup Reddi and
Alexandra Poulovassilis and
Carol Small},
editor = {Norman W. Paton},
title = {{PFL:} An Active Functional {DBPL}},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {297--308},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_16},
doi = {10.1007/978-1-4419-8656-6\_16},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/ReddiPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/RischS99,
author = {Tore Risch and
Martin Sk{\"{o}}ld},
editor = {Norman W. Paton},
title = {Monitoring Complex Rule Conditions},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {81--102},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_5},
doi = {10.1007/978-1-4419-8656-6\_5},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/RischS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/patton99/ZimmermannB99,
author = {J{\"{u}}rgen Zimmermann and
Alejandro P. Buchmann},
editor = {Norman W. Paton},
title = {{REACH}},
booktitle = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
pages = {263--277},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6\_14},
doi = {10.1007/978-1-4419-8656-6\_14},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/patton99/ZimmermannB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Patton99,
editor = {Norman W. Paton},
title = {Active Rules in Database Systems},
series = {Monographs in Computer Science},
publisher = {Springer, New York},
year = {1999},
url = {https://doi.org/10.1007/978-1-4419-8656-6},
doi = {10.1007/978-1-4419-8656-6},
isbn = {0-387-98529-8},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Patton99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/CastilloGH97,
author = {Enrique F. Castillo and
Jos{\'{e}} Manuel Guti{\'{e}}rrez and
Ali S. Hadi},
title = {Expert Systems and Probabilistic Network Models},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4612-2270-5},
doi = {10.1007/978-1-4612-2270-5},
isbn = {978-0-387-94858-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/CastilloGH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0084624,
author = {Mart{\'{\i}}n Abadi and
Luca Cardelli},
title = {A Theory of Objects},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4419-8598-9},
doi = {10.1007/978-1-4419-8598-9},
isbn = {978-0-387-94775-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0084624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Selig96,
author = {J. M. Selig},
title = {Geometric Fundamentals of Robotics},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4757-2484-4},
doi = {10.1007/978-1-4757-2484-4},
isbn = {978-1-4757-2486-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Selig96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0077692,
author = {Janusz A. Brzozowski and
Carl{-}Johan H. Seger},
title = {Asynchronous Circuits},
series = {Monographs in Computer Science},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4612-4210-9},
doi = {10.1007/978-1-4612-4210-9},
isbn = {978-0-387-94420-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0077692.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0069623,
author = {Ronald V. Book and
Friedrich Otto},
title = {String-Rewriting Systems},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4613-9771-7},
doi = {10.1007/978-1-4613-9771-7},
isbn = {978-3-540-97965-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0069623.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070828,
author = {Jan L. A. van de Snepscheut},
title = {What Computing Is All About},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4612-2710-6},
doi = {10.1007/978-1-4612-2710-6},
isbn = {978-3-540-94021-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070829,
author = {Eric C. R. Hehner},
title = {A Practical Theory of Programming},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4419-8596-5},
doi = {10.1007/978-1-4419-8596-5},
isbn = {978-3-540-94106-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071317,
author = {Ming Li and
Paul M. B. Vit{\'{a}}nyi},
title = {An introduction to Kolmogorov complexity and its applications},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4757-3860-5},
doi = {10.1007/978-1-4757-3860-5},
isbn = {978-3-540-94053-1},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071396,
author = {Bhubaneswar Mishra},
title = {Algorithmic Algebra},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4612-4344-1},
doi = {10.1007/978-1-4612-4344-1},
isbn = {978-3-540-94090-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071923,
author = {Anil Nerode and
Richard A. Shore},
title = {Logic for Applications},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4684-0211-7},
doi = {10.1007/978-1-4684-0211-7},
isbn = {978-0-387-94129-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/GriesS93,
author = {David Gries and
Fred B. Schneider},
title = {A Logical Approach to Discrete Math},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4757-3837-7},
doi = {10.1007/978-1-4757-3837-7},
isbn = {0-387-94115-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/GriesS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/GuttagHGJMW93,
author = {John V. Guttag and
James J. Horning and
Stephen J. Garland and
Kevin D. Jones and
A. Modet and
Jeannette M. Wing},
title = {Larch: Languages and Tools for Formal Specification},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4612-2704-5},
doi = {10.1007/978-1-4612-2704-5},
isbn = {978-1-4612-7636-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/mcs/GuttagHGJMW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0071219,
author = {Dexter Campbell Kozen},
title = {Design and Analysis of Algorithms},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4612-4400-4},
doi = {10.1007/978-1-4612-4400-4},
isbn = {978-3-540-97687-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/BischofbergerP92,
author = {Walter R. Bischofberger and
Gustav Pomberger},
title = {Prototyping-Oriented Software Development - Concepts and Tools},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-3-642-84760-8},
doi = {10.1007/978-3-642-84760-8},
isbn = {978-3-642-84762-2},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/mcs/BischofbergerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/AptO91,
author = {Krzysztof R. Apt and
Ernst{-}R{\"{u}}diger Olderog},
title = {Verification of Sequential and Concurrent Programs},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4757-4376-0},
doi = {10.1007/978-1-4757-4376-0},
isbn = {978-1-4757-4378-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/AptO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/FejerS91,
author = {Peter A. Fejer and
Dan A. Simovici},
title = {Mathematical Foundations of Computer Science - Sets, Relations, and
Induction},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4612-3086-1},
doi = {10.1007/978-1-4612-3086-1},
isbn = {978-1-4612-7792-7},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/FejerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067387,
author = {Edsger W. Dijkstra and
Carel S. Scholten},
title = {Predicate Calculus and Program Semantics},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4612-3228-5},
doi = {10.1007/978-1-4612-3228-5},
isbn = {978-3-540-96957-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Cohen90,
author = {Edward Cohen},
title = {Programming in the 1990s - An Introduction to the Calculation of Programs},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4613-9706-9},
doi = {10.1007/978-1-4613-9706-9},
isbn = {978-0-387-97382-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Cohen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Fitting90,
author = {Melvin Fitting},
title = {First-Order Logic and Automated Theorem Proving},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4684-0357-2},
doi = {10.1007/978-1-4684-0357-2},
isbn = {978-1-4684-0359-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Fitting90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Luckham90,
author = {David C. Luckham},
title = {Programming with Specifications - An Introduction to ANNA, {A} Language
for Specifying Ada Programs},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4613-9685-7},
doi = {10.1007/978-1-4613-9685-7},
isbn = {978-1-4613-9687-1},
timestamp = {Fri, 25 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/mcs/Luckham90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Partsch90,
author = {Helmuth Partsch},
title = {Specification and Transformation of Programs - {A} Formal Approach
to Software Development},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-3-642-61512-2},
doi = {10.1007/978-3-642-61512-2},
isbn = {978-3-540-52589-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Partsch90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067786,
author = {Thomas W. Reps and
Tim Teitelbaum},
title = {The Synthesizer Generator Reference Manual, Third Edition},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4613-9633-8},
doi = {10.1007/978-1-4613-9633-8},
isbn = {978-3-540-96910-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067787,
author = {Thomas W. Reps and
Tim Teitelbaum},
title = {The Synthesizer Generator - {A} System for Constructing Language-Based
Editors},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4613-9623-9},
doi = {10.1007/978-1-4613-9623-9},
isbn = {978-0-387-96857-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067856,
author = {Alan T. Sherman},
title = {{VLSI} Placement and Routing - The {PI} Project},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4613-9658-1},
doi = {10.1007/978-1-4613-9658-1},
isbn = {978-3-540-97077-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067856.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Alagic89,
author = {Suad Alagic},
title = {Object-Oriented Database Programming},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-1-4612-3518-7},
doi = {10.1007/978-1-4612-3518-7},
isbn = {3-540-96754-0},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Alagic89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067695,
author = {Niklaus Wirth},
title = {Programming in Modula-2, 4th Edition},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-83565-0},
doi = {10.1007/978-3-642-83565-0},
isbn = {978-3-540-50150-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/MollAK88,
author = {Robert N. Moll and
Michael A. Arbib and
A. J. Kfoury},
title = {An Introduction to Formal Language Theory},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-1-4613-9595-9},
doi = {10.1007/978-1-4613-9595-9},
isbn = {0-387-96698-6},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/MollAK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068060,
author = {Micha Hofri},
title = {Probabilistic Analysis of Algorithms - On Computing Methodologies
for Computer Algorithms Performance Evaluation},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-1-4612-4800-2},
doi = {10.1007/978-1-4612-4800-2},
isbn = {978-3-540-96578-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067342,
author = {Kaare Christian},
title = {A Guide to Modula-2},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-1-4612-4892-7},
doi = {10.1007/978-1-4612-4892-7},
isbn = {978-3-540-96242-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067369,
author = {S. Thomas Alexander},
title = {Adaptive Signal Processing - Theory and Applications},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-1-4612-4978-8},
doi = {10.1007/978-1-4612-4978-8},
isbn = {978-0-387-96380-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067369.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067831,
author = {Jacob T. Schwartz and
Robert B. K. Dewar and
Ed Dubinsky and
Edith Schonberg},
title = {Programming with Sets - An Introduction to {SETL}},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-1-4613-9575-1},
doi = {10.1007/978-1-4613-9575-1},
isbn = {978-0-387-96399-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067978,
author = {Nissim Francez},
title = {Fairness},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-1-4612-4886-6},
doi = {10.1007/978-1-4612-4886-6},
isbn = {978-3-540-96235-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068171,
author = {Ernest G. Manes and
Michael A. Arbib},
title = {Algebraic Approaches to Program Ssemantics},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-1-4612-4962-7},
doi = {10.1007/978-1-4612-4962-7},
isbn = {978-0-387-96324-2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Alagic86,
author = {Suad Alagic},
title = {Relational Database Technology},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-1-4612-4922-1},
doi = {10.1007/978-1-4612-4922-1},
isbn = {3-540-96276-X},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Alagic86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068135,
author = {Edayathu V. Krishnamurthy},
title = {Error-Free Polynomial Matrix Computations},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-1-4612-5118-7},
doi = {10.1007/978-1-4612-5118-7},
isbn = {978-0-387-96146-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/PreparataS85,
author = {Franco P. Preparata and
Michael Ian Shamos},
title = {Computational Geometry - An Introduction},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-1-4612-1098-6},
doi = {10.1007/978-1-4612-1098-6},
isbn = {3-540-96131-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/PreparataS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Wirth85,
author = {Niklaus Wirth},
title = {Programmieren in Modula-2},
series = {Texts and Monographs in Computer Science, Third Corrected Edition},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-96878-5},
doi = {10.1007/978-3-642-96878-5},
isbn = {3-540-13301-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Wirth85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068034,
author = {Robert T. Gregory and
Edayathu V. Krishnamurthy},
title = {Methods and applications of error-free computation},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-1-4612-5242-9},
doi = {10.1007/978-1-4612-5242-9},
isbn = {978-3-540-90967-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/WaiteG84,
author = {William M. Waite and
Gerhard Goos},
title = {Compiler Construction},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-1-4612-5192-7},
doi = {10.1007/978-1-4612-5192-7},
isbn = {978-1-4612-9731-4},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/WaiteG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/Wirth83,
author = {Niklaus Wirth},
title = {Programming in Modula-2, Second Corrected Edition},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-96757-3},
doi = {10.1007/978-3-642-96757-3},
isbn = {978-3-642-96759-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/Wirth83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067361,
author = {Friedrich L. Bauer and
Hans W{\"{o}}ssner},
title = {Algorithmic language and program development},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-61807-9},
doi = {10.1007/978-3-642-61807-9},
isbn = {978-0-387-11148-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067388,
author = {Edsger W. Dijkstra},
title = {Selected Writings on Computing: {A} Personal Perspective},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-1-4612-5695-3},
doi = {10.1007/978-1-4612-5695-3},
isbn = {978-3-540-90652-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/KfouryMA82,
author = {Assaf J. Kfoury and
Robert N. Moll and
Michael A. Arbib},
title = {A Programming Approach to Computability},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-1-4612-5749-3},
doi = {10.1007/978-1-4612-5749-3},
isbn = {978-1-4612-5751-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/KfouryMA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067373,
author = {Michael A. Arbib and
Assaf J. Kfoury and
Robert N. Moll},
title = {A Basis for Theoretical Computer Science},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-1-4613-9455-6},
doi = {10.1007/978-1-4613-9455-6},
isbn = {978-0-387-90573-0},
timestamp = {Wed, 31 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067373.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Gries81,
author = {David Gries},
title = {The Science of Programming},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-1-4612-5983-1},
doi = {10.1007/978-1-4612-5983-1},
isbn = {978-0-387-96480-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Gries81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067812,
author = {Arto Salomaa and
Matti Soittola},
title = {Automata-Theoretic Aspects of Formal Power Series},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/978-1-4612-6264-0},
doi = {10.1007/978-1-4612-6264-0},
isbn = {978-0-387-90282-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/AlagicA78,
author = {Suad Alagic and
Michael A. Arbib},
title = {The Design of Well-Structured and Correct Programs},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/978-1-4612-6272-5},
doi = {10.1007/978-1-4612-6272-5},
isbn = {0-387-90299-6},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/AlagicA78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0029929,
author = {Jeffrey R. Sampson},
title = {Adaptive Information Processing - An Introductory Survey},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/978-3-642-85501-6},
doi = {10.1007/978-3-642-85501-6},
isbn = {978-3-540-07739-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0029929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/GschwindM75,
author = {Hans W. Gschwind and
Edward J. McCluskey},
title = {Design of Digital Computers - An Introduction},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/978-3-642-86190-1},
doi = {10.1007/978-3-642-86190-1},
isbn = {978-3-642-86192-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/mcs/GschwindM75.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-06 13:56 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:
