% Encoding: UTF-8

@Book{Knuth1997,
  author       = {Donald E. Knuth},
  publisher    = {Addison-Wesley},
  title        = {The art of computer programming. {S}orting and searching},
  year         = {1997},
  isbn         = {978-02-0189-685-5},
  month        = {7},
  volume       = {3},
  author_sort  = {Knuth, Donald E.},
  calibreid    = {968},
  cover        = {calibre/Donald E. Knuth/The Art of Computer Programming Volume 3 Sorting and Searching (968)/cover.jpg},
  file         = {:calibre/Donald E. Knuth/The Art of Computer Programming Volume 3 Sorting and Searching (968)/The Art of Computer Programming Volume 3 S - Donald E. Knuth.pdf:PDF},
  formats      = {pdf},
  identifiers  = {isbn:9780201896855},
  languages    = {eng},
  library_name = {calibre},
  owner        = {saulius},
  size         = {9547994 octets},
  tags         = {Computer science, Computer architecture, Algorithm Analysis, Programming, Computer {"}MIX{"}},
  timestamp    = {2020.08.11},
  title_sort   = {Art of Computer Programming Volume 3 Sorting and Searching, The},
  uuid         = {15f18270-f9ee-4feb-9636-0438bde808f2},
}

@Book{Кнут1978,
  author       = {Д. Кнут},
  title        = {Искусство программирования для {ЭВМ}. {С}ортировка и поиск},
  languages    = {rus},
  year         = {1978},
  publisher    = {Мир},
  volume       = {3},
  owner        = {saulius},
  timestamp    = {2020.08.12}
}

@Phdthesis{Demuth1956,
  author       = {Howard B. Demuth},
  title        = {Electronic Data Sorting},
  year         = {1956},
  month        = {10},
  school       = {Stanford University},
  owner        = {saulius},
  timestamp    = {2020.08.11}
}

@Article{Turing1937,
  author    = {A. M. Turing},
  journal   = {J. Symb. Log.},
  title     = {Computability and $\lambda$-definability.},
  year      = {1937},
  issn      = {0022-4812; 1943-5886/e},
  pages     = {153--163},
  volume    = {2},
  doi       = {10.2307/2268280},
  file      = {1937_Turing_153.pdf:by-author/T/Turing/1937_Turing_153.pdf:PDF},
  fjournal  = {The Journal of Symbolic Logic},
  keywords  = {foundations of mathematics, computability, lambda-calculus},
  language  = {English},
  owner     = {saulius},
  publisher = {Cambridge University Press, West Nyack, NY; Association for Symbolic Logic (ASL), Poughkeepsie, NY},
  timestamp = {2020.08.13},
  zbl       = {63.0824.03},
}

@Webpage{Wikipedia2020,
  author    = {{Wikipedia}},
  retrieved = {2020-08-13},
  title     = {Turing machine},
  url       = {https://en.wikipedia.org/wiki/Turing_machine},
  siteurl   = {https://en.wikipedia.org},
  year      = {2020},
  owner     = {saulius},
  timestamp = {2020.08.13},
}

@InProceedings{Guo2015a,
  author    = {Ning Guo and Yipeng Huang and Tao Mai and Sharvil Patil and Chi Cao and Mingoo Seok and Simha Sethumadhavan and Yannis Tsividis},
  booktitle = {{ESSCIRC} Conference 2015 - 41st European Solid-State Circuits Conference ({ESSCIRC})},
  title     = {Continuous-time hybrid computation with programmable nonlinearities},
  year      = {2015},
  month     = {sep},
  pages     = {279--282},
  publisher = {{IEEE}},
  doi       = {10.1109/esscirc.2015.7313881},
  file      = {:by-author/G/Guo/2015_Guo_279.pdf:PDF},
  keywords  = {CS, hybrid computers, amalogue computers, continuous time integration},
  owner     = {saulius},
  timestamp = {2020.08.13},
}

@TechReport{TexasInstruments2019,
  author      = {{Texas Instruments}},
  institution = {Texas Instruments},
  title       = {Integrator circuit},
  year        = {2019},
  file        = {:by-author/T/TexasInstruments/2019_TexasInstruments_1.pdf:PDF},
  keywords    = {CS, electronics, integrator circuit},
  owner       = {saulius},
  pages       = {1--6},
  timestamp   = {2020.08.13},
  url         = {https://www.ti.com/lit/an/sboa275a/sboa275a.pdf},
}

@Comment{jabref-meta: databaseType:bibtex;}

@Comment{jabref-entrytype: webpage: req[author;retrieved;title;url] opt[institution;language;month;site;siteurl;year]}