すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

FOSSACS

ID:DA12582843

別名: FoSSaCS

Foundations of Software Science and Computation Structures

International Conference, FOSSACS

同姓同名の著者を検索

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

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館
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

Naoki Kobayashi, James Worrell, editors

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

: pt. 1

所蔵館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館
4

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

Stefan Kiefer, Christine Tasson (eds.)

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

所蔵館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館
6

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

Lars Birkedal (ed.)

Springer, c2012 Lecture notes in computer science 7213 . Advanced research in computing and software science

所蔵館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館
8

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

Luke Ong (ed.)

Springer, c2010 Lecture notes in computer science 6014 . 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館
10

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

Helmut Seidl (ed.)

Springer c2007 Lecture notes in computer science 4423

所蔵館5館
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館
12

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

Vladimiro Sassone (ed.)

Springer c2005 Lecture notes in computer science 3441

所蔵館16館
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館
14

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

Andrew D. Gordon (ed.)

Springer c2003 Lecture notes in computer science 2620

所蔵館23館
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館
16

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

Furio Honsell, Marino Miculan (eds.)

Springer c2001 Lecture notes in computer science 2030

所蔵館35館
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館
18

Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Wolfgang Thomas (ed.)

Springer c1999 Lecture notes in computer science 1578

所蔵館38館
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館

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

関連著者

ページトップへ