Search dblp for Publications

export results for "toc:db/journals/csur/csur4.bht:"

 download as .bib file

@article{DBLP:journals/csur/Barnes72,
  author       = {Bruce H. Barnes},
  title        = {A Programmer's View of Automata},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {4},
  pages        = {221--239},
  year         = {1972},
  url          = {https://doi.org/10.1145/356608.356610},
  doi          = {10.1145/356608.356610},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Barnes72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Denning72,
  author       = {Peter J. Denning},
  title        = {A Note on Paging Drum Efficiency},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {1},
  pages        = {1--3},
  year         = {1972},
  url          = {https://doi.org/10.1145/356596.356597},
  doi          = {10.1145/356596.356597},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Denning72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ElspasLWW72,
  author       = {Bernard Elspas and
                  Karl N. Levitt and
                  Richard J. Waldinger and
                  Abraham Waksman},
  title        = {An Assessment of Techniques for Proving Program Correctness},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {2},
  pages        = {97--147},
  year         = {1972},
  url          = {https://doi.org/10.1145/356599.356602},
  doi          = {10.1145/356599.356602},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/ElspasLWW72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HoareA72,
  author       = {C. A. R. Hoare and
                  Donald C. S. Allison},
  title        = {Incomputability},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {3},
  pages        = {169--178},
  year         = {1972},
  url          = {https://doi.org/10.1145/356603.356606},
  doi          = {10.1145/356603.356606},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/HoareA72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Holt72,
  author       = {Richard C. Holt},
  title        = {Some Deadlock Properties of Computer Systems},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {3},
  pages        = {179--196},
  year         = {1972},
  url          = {https://doi.org/10.1145/356603.356607},
  doi          = {10.1145/356603.356607},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Holt72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NievergeltF72,
  author       = {J{\"{u}}rg Nievergelt and
                  J. C. Farrar},
  title        = {What Machines Can and Cannot Do},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {2},
  pages        = {81--96},
  year         = {1972},
  url          = {https://doi.org/10.1145/356599.356601},
  doi          = {10.1145/356599.356601},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/NievergeltF72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/PresserW72,
  author       = {Leon Presser and
                  John R. White},
  title        = {Linkers and Loaders},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {3},
  pages        = {149--167},
  year         = {1972},
  url          = {https://doi.org/10.1145/356603.356605},
  doi          = {10.1145/356603.356605},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/PresserW72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SchucanyMS72,
  author       = {W. R. Schucany and
                  Paul D. Minton and
                  B. Stanley Shannon Jr.},
  title        = {A Survey of Statistical Packages},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {2},
  pages        = {65--79},
  year         = {1972},
  url          = {https://doi.org/10.1145/356599.356600},
  doi          = {10.1145/356599.356600},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/SchucanyMS72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Stutzman72,
  author       = {Byron W. Stutzman},
  title        = {Data Communication Control Procedures},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {4},
  pages        = {197--220},
  year         = {1972},
  url          = {https://doi.org/10.1145/356608.356609},
  doi          = {10.1145/356608.356609},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Stutzman72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Wegner72,
  author       = {Peter Wegner},
  title        = {The Vienna Definition Language},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {1},
  pages        = {5--63},
  year         = {1972},
  url          = {https://doi.org/10.1145/356596.356598},
  doi          = {10.1145/356596.356598},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Wegner72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Willoughby72,
  author       = {Theodore C. Willoughby},
  title        = {Staffing the {MIS} function},
  journal      = {{ACM} Comput. Surv.},
  volume       = {4},
  number       = {4},
  pages        = {241--259},
  year         = {1972},
  url          = {https://doi.org/10.1145/356608.356611},
  doi          = {10.1145/356608.356611},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Willoughby72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}