Foundations of Software Science and Computation Structure (FoSSaCS)
16. FoSSaCS 2013: Rome, Italy (Part of ETAPS 2013)
Frank Pfenning (Ed.): Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7794 ISBN 978-3-642-37074-8 [ contents ]
15. FoSSaCS 2012: Tallinn, Estonia (Part of ETAPS 2012)
- Lars Birkedal (Ed.): Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7213 ISBN 978-3-642-28728-2 [ contents ]
14. FoSSaCS 2011: Saarbrücken, Germany (Part of ETAPS 2011)
- Martin Hofmann (Ed.): Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6604 ISBN 978-3-642-19804-5 [ contents ]
13. FoSSaCS 2010: Paphos, Cyprus (Part of ETAPS 2010)
- C.-H. Luke Ong (Ed.): Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6014 ISBN 978-3-642-12031-2 [ contents ]
12. FoSSaCS 2009: York, UK (Part of ETAPS 2009)
- Luca de Alfaro (Ed.): Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5504 ISBN 978-3-642-00595-4 [ contents ]
11. FoSSaCS 2008: Budapest, Hungary (Part of ETAPS 2008)
- Roberto M. Amadio (Ed.): Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 4962 ISBN 978-3-540-78497-5 [ contents ]
10. FoSSaCS 2007: Braga, Portugal (Part of ETAPS 2007)
- Helmut Seidl (Ed.): Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4423 ISBN 978-3-540-71388-3 [ contents ]
9. FoSSaCS 2006: Vienna, Austria (Part of ETAPS 2006)
- Luca Aceto, Anna Ingólfsdóttir (Eds.): Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 3921 ISBN 3-540-33045-3 [ contents ]
8. FoSSaCS 2005: Edinburgh, UK (Part of ETAPS 2005)
- Vladimiro Sassone (Ed.): Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3441 ISBN 3-540-25388-2 [ contents ]
7. FoSSaCS 2004: Barcelona, Spain (Part of ETAPS 2004)
- Igor Walukiewicz (Ed.): Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 2987 ISBN 3-540-21298-1 [ contents ]
6. FoSSaCS 2003: Warsaw, Poland (Part of ETAPS 2003)
- Andrew D. Gordon (Ed.): Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2620 ISBN 3-540-00897-7 [ contents ]
5. FoSSaCS 2002: Grenoble, France (Part of ETAPS 2002)
- Mogens Nielsen, Uffe Engberg (Eds.): Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2303 ISBN 3-540-43366-X [ contents ]
4. FoSSaCS 2001: Genova, Italy (Part of ETAPS 2001)
- Furio Honsell, Marino Miculan (Eds.): Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2030 ISBN 3-540-41864-4 [ contents ]
3. FoSSaCS 2000: Berlin, Germany (Part of ETAPS 2000)
- Jerzy Tiuryn (Ed.): Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1784 ISBN 3-540-67257-5 [ contents ]
2. FoSSaCS 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)
- Wolfgang Thomas (Ed.): Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1578 ISBN 3-540-65719-3 [ contents ]
1. FoSSaCS 1998: Lisbon, Portugal (Part of ETAPS 1998)
- Maurice Nivat (Ed.): Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1378 ISBN 3-540-64300-1 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team