CiNii Books 著者

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

Naoki Kobayashi, James Worrell, editors

Springer c2024 Lecture notes in computer science 14575 . Advanced research in computing and software science

: pt. 2

所蔵館1館

3

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

Patricia Bouyer, Lutz Schröder (eds.)

Springer c2022 Lecture notes in computer science 13242 . Advanced research in computing and software science

所蔵館1館

5

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

Mikołaj Bojańczyk, Alex Simpson (eds.)

Springer c2019 Lecture notes in computer science 11425 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

所蔵館1館

7

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

Martin Hofmann (ed.)

Springer, c2011 Lecture notes in computer science 6604 . Advanced research in computing and software science

所蔵館1館

9

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

Luca de Alfaro (ed.)

Springer, c2009 Lecture notes in computer science 5504

所蔵館1館

11

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

Luca Aceto, Anna Ingólfsdóttir (eds.)

Springer c2006 Lecture notes in computer science 3921

所蔵館7館

13

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

Igor Walukiewicz (ed.)

Springer c2004 Lecture notes in computer science 2987

所蔵館19館

15

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

Mogens Nielsen, Uffe Engberg (eds.)

Springer c2002 Lecture notes in computer science 2303

所蔵館31館

17

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

Jerzy Tiuryn (ed.)

Springer c2000 Lecture notes in computer science 1784

所蔵館39館

19

Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings

Maurice Nivat (ed.)

Springer c1998 Lecture notes in computer science 1378

所蔵館45館

FOSSACS

検索結果19件中 1-19 を表示

この著者を外部サイトでさがす

関連著者