The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2011. The five volumes contain papers presenting a wealth of original research r…
This book constitutes the refereed proceedings of the 10th Scandinavian Workshop on Algorithm Theory, SWAT 2006, held in Riga, Latvia, in July 2006. The 36 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 154 submissions. The…
Complexity of computer computations: proceedings
by Symposium on the Complexity of Computer Computations, Yorktown Heights, N.Y.), United States., Office of Naval Research, IBM World Trade Corporation, International Business Machines Corporation., Mathematical Sciences Department
fromIBM research symposia series
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996
by Buss, Samuel R., NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, Beame, Paul W., DIMACS Workshop on Feasible Arithmetics and Length of Proofs, Rutgers University), American Mathematical Society, DIMACS (Groupe)
fromDIMACS series in discrete mathematics and theoretical compu…