CSR 2009:
Novosibirsk, Russia
share record
short URL:
https://dblp.org/rec/conf/csr/2009 Anna E. Frid ,
Andrey Morozov ,
Andrey Rybalchenko ,
Klaus W. Wagner :
Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings. Lecture Notes in Computer Science 5675,
Springer 2009 , ISBN
978-3-642-03350-6
share record
short URL:
https://dblp.org/rec/conf/csr/CabalarOP09 share record
short URL:
https://dblp.org/rec/conf/csr/Thomas09 share record
short URL:
https://dblp.org/rec/conf/csr/Vereshchagin09 share record
short URL:
https://dblp.org/rec/conf/csr/Yang09 Hongseok Yang :
Automatic Verification of Heap-Manipulating Programs Using Separation Logic. 25
share record
short URL:
https://dblp.org/rec/conf/csr/AvronCZ09 share record
short URL:
https://dblp.org/rec/conf/csr/BaptisteCKQSS09 share record
short URL:
https://dblp.org/rec/conf/csr/BeyersdorffS09 share record
short URL:
https://dblp.org/rec/conf/csr/CalabroP09 share record
short URL:
https://dblp.org/rec/conf/csr/ChoffrutK09 share record
short URL:
https://dblp.org/rec/conf/csr/DengCLF09 share record
short URL:
https://dblp.org/rec/conf/csr/FarnqvistJT09 share record
short URL:
https://dblp.org/rec/conf/csr/Goerdt09 share record
short URL:
https://dblp.org/rec/conf/csr/Hansen09 share record
short URL:
https://dblp.org/rec/conf/csr/HirschN09 share record
short URL:
https://dblp.org/rec/conf/csr/HofPW09 share record
short URL:
https://dblp.org/rec/conf/csr/Itsykson09 share record
short URL:
https://dblp.org/rec/conf/csr/Jansen09 Maurice J. Jansen :
Lower Bounds for the Determinantal Complexity of Explicit Low Degree Polynomials. 167-178 share record
short URL:
https://dblp.org/rec/conf/csr/JansenR09 share record
short URL:
https://dblp.org/rec/conf/csr/JezO09 share record
short URL:
https://dblp.org/rec/conf/csr/Jiraskova09 Galina Jirásková :
Concatenation of Regular Languages and Descriptional Complexity. 203-214 share record
short URL:
https://dblp.org/rec/conf/csr/JonssonT09 share record
short URL:
https://dblp.org/rec/conf/csr/KononovSS09 share record
short URL:
https://dblp.org/rec/conf/csr/HauboldL09 share record
short URL:
https://dblp.org/rec/conf/csr/MusatovRS09 share record
short URL:
https://dblp.org/rec/conf/csr/Porat09 Ely Porat :
An Optimal Bloom Filter Replacement Based on Matrix Solving. 263-273 share record
short URL:
https://dblp.org/rec/conf/csr/PritykinU09 share record
short URL:
https://dblp.org/rec/conf/csr/RaoS09 share record
short URL:
https://dblp.org/rec/conf/csr/KesdoganMRR09 share record
short URL:
https://dblp.org/rec/conf/csr/HillebrandT09 share record
short URL:
https://dblp.org/rec/conf/csr/Vyalyi09 share record
short URL:
https://dblp.org/rec/conf/csr/Wahlstrom09 Magnus Wahlström :
New Plain-Exponential Time Classes for Graph Homomorphism. 346-355 share record
short URL:
https://dblp.org/rec/conf/csr/YakaryilmazS09
maintained by
, founded at