Jump to main content

yr 〜
yr

Search results 32

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings : pt. 1

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings : pt. 1
Paper図書
Naoki Kobayashi, James Worrell, editorsSpringerc2024
Other Libraries in Japan
  • Author HeadingFOSSACS Kobayashi, Naoki Worrell, Jam...

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings : pt. 2

Foundations of software science and computation structures : 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings : pt. 2
Paper図書
Naoki Kobayashi, James Worrell, editorsSpringerc2024
Other Libraries in Japan
  • Author HeadingFOSSACS Kobayashi, Naoki Worrell, Jam...

Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings

Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
Paper図書
Patricia Bouyer, Lutz Schröder (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingFOSSACS Bouyer, Patricia Schröder, Lu...

Foundations of software science and computation structures : 24th International Conference, FOSSACS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021 : proceedings

Foundations of software science and computation structures : 24th International Conference, FOSSACS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021 : proceedings
Paper図書
Stefan Kiefer, Christine Tasson (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingFOSSACS Kiefer, Stefan Tasson, Christ...

Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings

Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings
Paper図書
Mikołaj Bojańczyk, Alex Simpson (eds.)Springerc2019
Other Libraries in Japan
  • Author HeadingFOSSACS Bojańczyk, Mikołaj Simpson, A...

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

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
Paper図書
Lars Birkedal (ed.)Springer,c2012
Other Libraries in Japan
  • Alternative TitleFOSSACS 2012
  • Alternative TitleFOSSACS 2012
  • Author HeadingFOSSACS Birkedal, Lars

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

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
Paper図書
Martin Hofmann (ed.)Springer,c2011
Other Libraries in Japan
  • Alternative TitleFOSSACS 2011
  • Alternative TitleFOSSACS 2011
  • Author HeadingFOSSACS Hofmann, Martin

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

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
Paper図書
Luke Ong (ed.)Springer,c2010
Other Libraries in Japan
  • Alternative TitleFOSSACS 2010
  • Alternative TitleFOSSACS 2010
  • Author HeadingFOSSACS Ong, Luke

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

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
Paper図書
Luca de Alfaro (ed.)Springer,c2009
Other Libraries in Japan
  • Alternative TitleFOSSACS 2009
  • Alternative TitleFOSSACS 2009
  • Author HeadingFOSSACS De Alfaro, Luca European Conf...

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

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
Paper図書
Helmut Seidl (ed.)Springerc2007
Other Libraries in Japan
  • Author HeadingFOSSACS European Conferences on Theor...

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

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
Paper図書
Luca Aceto, Anna Ingólfsdóttir (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingFOSSACS Aceto, Luca Anna Ingólfsdótti...

Foundations of software science and computation 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

Foundations of software science and computation 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
Paper図書
Vladimiro Sassone (ed.)Springerc2005
Other Libraries in Japan
  • Author HeadingFOSSACS Sassone, Vladimiro European C...

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

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
Paper図書
Igor Walukiewicz (ed.)Springerc2004
Other Libraries in Japan
  • Author HeadingFOSSACS Walukiewicz, Igor European Co...

Foundations of software science and computation structures : 17th international conference, FOSSACS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)

Foundations of software science and computation structures : 17th international conference, FOSSACS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : event of the joint European conferences on theory and practice of software (ETAPS) : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8412. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2139>
National Diet Library
  • Note (General)...C, ESOP, FASE, FoSSaCS, TACAS, and POST) (...)" -- f...
  • Author HeadingFOSSACS 2014 (2014 : Grenoble, France...

Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Paper図書
Andrew D. Gordon (ed.)Springerc2003
Other Libraries in Japan
  • Alternative Title...n structures : FOSSACS 2003 Foundatio......al Conference, FOSSACS 2003, held as part of the Joi...
  • Alternative Title...n structures : FOSSACS 2003 Foundatio......al Conference, FOSSACS 2003, held as part of the Joi...
  • Author HeadingFOSSACS European Conferences on Theor...

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

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
Paper図書
Mogens Nielsen, Uffe Engberg (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingFOSSACS Nielsen, M. (Mogens) Engberg,...

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 : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7213. Advanced Research in Computing and Software Science)

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 : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7213. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-76>
National Diet Library
  • Note (General)...C, ESOP, FASE, FOSSACS, POST, TACAS), (...) and eigh...
  • Author HeadingFOSSACS 2012 (2012 : Tallinn, Estonia...

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

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
Paper図書
Jerzy Tiuryn (ed.)Springerc2000
Other Libraries in Japan
  • Author HeadingFOSSACS Tiuryn, Jerzy European Confer...

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

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
Paper図書
Furio Honsell, Marino Miculan (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingFOSSACS Honsell, Furio Miculan, Marin...

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 : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)

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 : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2121>
National Diet Library
  • Summary, etc....al Structures, FOSSACS 2013, held as part of the Joi...
  • Note (General)...C, ESOP, FASE, FOSSACS, POST, TACAS),...... -- foreword. "FoSSaCS is an annual c......ibed as "(...) FoSSaCS 2013, which took place March ...
  • Author HeadingFOSSACS 2013 (2013 : Rome, Italy) Pfe...
RSS