LIBRARY Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV 2015 · ENGLISH · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III 2015 · ENGLISH · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II 2015 · ENGLISH · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I 2015 · ENGLISH · PDF View details →
LIBRARY Solving Software Challenges for Exascale: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers 2015 · ENGLISH · PDF View details →
LIBRARY A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof 2014 · ENGLISH · PDF View details →
LIBRARY Algorithmen kompakt und verständlich: Lösungsstrategien am Computer 2014 · GERMAN · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I 2014 · ENGLISH · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II 2014 · ENGLISH · PDF View details →
LIBRARY Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II 2013 · ENGLISH · PDF View details →
LIBRARY Algorithms and Architectures for Parallel Processing: 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I 2013 · ENGLISH · PDF View details →
LIBRARY SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Frontiers in Algorithmics: 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Computational Logistics: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Computational Logistics: Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Frontiers in Algorithmics: 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings 2010 · ENGLISH · PDF View details →