Call Number (LC) Title Results
QA75.5 .S64 2011 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 / 1
QA75.5 .S64 2013 SOFSEM 2013: Theory and practice of computer science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / 1
QA75.5 .S64 2014 SOFSEM 2014 : theory and practice of computer science : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / 1
QA75.5 .S647 2010 SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings / 1
QA75.5 .S66 2015eb SOFSEM 2015 : theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / 1
QA75.5 .S66 2016eb SOFSEM 2016 : theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / 1
QA75.5 .S66 2017eb SOFSEM 2017 : theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, proceedings / 1
QA75.5 .S66 2018eb SOFSEM 2018 : theory and practice of computer science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / 1
QA75.5 .S86 1991 Category theory and computer science Paris, France, September 3-6, 1991 : proceedings / 1
QA75.5 .S956 1984 Empirical foundations of information and software science 1
QA75.5 .S956 1988 Empirical foundations of information and software science V / 1
QA75.5 .S956 1995 STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / 1
QA75.5 .S956 1999 STACS 99 : 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings / 1
QA75.5 S956 2000 STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings / 1
QA75.5 .S956 2005eb STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 : proceedings /
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings / 		2
QA75.5 .S956 2007 STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings / 1
QA75.5 .S956 2007eb STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings / 1
QA75.5 .S958 Annual Symposium on Theoretical Aspects of Computer Science : STACS : [proceedings] 1
QA75.5 .S958 1984 STACS 84 Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 / 1
QA75.5 .S958 1985 STACS 85 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 /
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / 		2