yr 〜
yr

Search results 68

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, James European Conferences on Theory and Practice of Software

Structures of computing : a guide to practice-oriented theory : [pbk.]

Structures of computing : a guide to practice-oriented theory : [pbk.]
Paper図書
Egon Borger, Vincenzo GervasiSpringerc2024
Other Libraries in Japan
  • Author Heading...son, Christine European Conferences on Theory and Practice of Software

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, James European Conferences on Theory and Practice of Software

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings
Paper図書
Thomas Wies, editorSpringerc2023
Other Libraries in Japan
  • Author Heading...g Wies, Thomas European Conferences on Theory and Practice of Software

Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings

Programming languages and systems : 31st European Symposium on Programming, ESOP 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図書
Ilya Sergey (ed.)Springerc2022
Other Libraries in Japan
  • Author Heading...g Sergey, Ilya European Conferences on Theory and Practice of Software

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, Lutz European Conferences on Theory and Practice of Software

Programming languages and systems : 30th European Symposium on Programming, ESOP 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

Programming languages and systems : 30th European Symposium on Programming, ESOP 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図書
Nobuko Yoshida (ed.)Springerc2021
Other Libraries in Japan
  • Author Heading...oshida, Nobuko European Conferences on Theory and Practice of Software

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, Christine European Conferences on Theory and Practice of Software

Programming languages and systems : 28th European Symposium on Programming, ESOP 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

Programming languages and systems : 28th European Symposium on Programming, ESOP 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図書
Luís Caires (ed.)Springerc2019
Other Libraries in Japan
  • Author Heading...g Caires, Luís European Conferences on Theory and Practice of Software

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, Alex European Conferences on Theory and Practice of Software

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Pt. 1 Pt. 2

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Pt. 1 Pt. 2
Paper図書
Axel Legay, Tiziana Margaria (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingTACAS Legay, Axel Margaria, Tiziana European Conferences on Theory and Practice of Software

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers
Paper図書
Franciso Durán (ed.)Springerc2012
Other Libraries in Japan
  • Author HeadingWRLA Durán, Franciso European Conferences on Theory and Practice of Software

Programming languages and systems : 21th European Symposium on Programming, ESOP 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 : pbk

Programming languages and systems : 21th European Symposium on Programming, ESOP 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 : pbk
Paper図書
Helmut Seidl (ed.)Springerc2012
Other Libraries in Japan
  • Author Heading...on Programming European Conferences on Theory and Practice of Software Seidl, Helmut

Programming languages and systems : 20th European Symposium on Programming, ESOP 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 : pbk

Programming languages and systems : 20th European Symposium on Programming, ESOP 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 : pbk
Paper図書
Gilles Barthe (ed.)Springerc2011
Other Libraries in Japan
  • Author Heading...on Programming European Conferences on Theory and Practice of Software Barthe, Gilles

Rewriting logic and its applications : 8th International Workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers

Rewriting logic and its applications : 8th International Workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers
Paper図書
Peter Csaba Ölveczky (ed.)Springerc2010
Other Libraries in Japan
  • Author HeadingWRLA Ölveczky, Peter Csaba European Conferences on Theory and Practice of Software

Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings : pbk

Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings : pbk
Paper図書
Andrew D. Gordon, (ed.)Springerc2010
Other Libraries in Japan
  • Author Heading...on Programming European Conferences on Theory and Practice of Software Gordon, Andrew D.

Compiler construction : 19th international conference, CC 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings : pbk

Compiler construction : 19th international conference, CC 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings : pbk
Paper図書
Rajiv Gupta (ed.)Springerc2010
Other Libraries in Japan
  • Author Heading...n Gupta, Rajiv European Conferences on Theory and Practice of Software

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
  • Author HeadingFOSSACS De Alfaro, Luca European Conferences on Theory and Practice of Software

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. : 11th international conference on the foundations of software science and computations structures : Mar 2008, Budapest, Hungary. (Lecture Notes in Computer Science ; 4962)

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. : 11th international conference on the foundations of software science and computations structures : Mar 2008, Budapest, Hungary. (Lecture Notes in Computer Science ; 4962)
Paper図書
Springerc2008.<M17-08-954>
National Diet Library
  • Author Heading...Hungary) Joint European Conferences on Theory and Practice of Software, ETAPS.

Compiler Construction : 17th International Conference, CC 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

Compiler Construction : 17th International Conference, CC 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
Paper図書
Laurie Hendren, edsSpringerc2008
Other Libraries in Japan
  • Author Heading...r Construction European Conferences on Theory and Practice of Software Hendren, Laurie