Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 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, Part II | 金沢大学附属図書館 OPAC plus

>> Google Books

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 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, Part II

フォーマット:: 電子ブック
責任表示:: Stephanie Weirich
言語:: 英語
出版情報:: Springer Nature, 2024
著者名:: Stephanie Weirich
ISBN:: 9783031572661 [3031572661]
9783031572678 [303157267X]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 31435472400041
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory and Practice … Dirk Beyer Springer Nature	7 電子ブック Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, … Bauer, Ralf Küsters, Küsters, Ralf Springer International Publishing
2 電子ブック Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on … Naoki Kobayashi Springer Nature	8 電子ブック Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on … Beyer, Marieke Huisman, Huisman, Marieke Springer International Publishing
3 電子ブック Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of … Ahmed Springer International Publishing	9 電子ブック Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on … Beyer, Marieke Huisman, Huisman, Marieke Springer International Publishing
4 図書 Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on … TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966- Springer	10 電子ブック Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software … ESEC/FSE '97, Jazayeri, Mehdi, Schauer, Helmut, Association for Computing Machinery-Digital Library., Association for … Springer Berlin Heidelberg
5 電子ブック Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice … Russo, Andy Schürr, Schürr, Andy Springer International Publishing	11 電子ブック Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software … ESEC/FSE (Conference), Lemoine, Michel, Nierstrasz, Oscar Marius, Association for Computing Machinery-Digital Library., … Springer Berlin Heidelberg
6 電子ブック Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on … Baier, Ugo Dal Lago, Dal Lago, Ugo Springer International Publishing	12 図書 STOC '11 : proceedings of the 43rd ACM Symposium on Theory of Computing ACM Symposium on Theory of Computing, ACM Special Interest Group on Algorithms and Computation Theory, Microsoft … Association for Computing Machinery, c2011