Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 4 from your keywords: author=BAIER, Christel
cover
Foundations of Software Science and Computation Structures: 21st Internationa…
Comment Share
BAIER, ChristelLAGO, Ugo Dal

Buku ini merupakan hasil dari Konferensi Internasional ke-21 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. 31 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipi…

Edition
1
ISBN/ISSN
9783319893662
Collation
XV, 583
Series Title
-
Call Number
004.1 BAI f
cover
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
Comment Share
BAIER, ChristelTINELLI, Cesare

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…

Edition
-
ISBN/ISSN
978-3-662-46681-0
Collation
-
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems
Comment Share
BAIER, ChristelTINELLI, Cesare

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…

Edition
-
ISBN/ISSN
978-3-662-46681-0
Collation
210 b/w illustrations
Series Title
-
Call Number
-
cover
Foundations of Software Science and Computation Structures
Comment Share
BAIER, Christel, LAGO, Ugo Dal

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissi…

Edition
-
ISBN/ISSN
9783319893662
Collation
-
Series Title
-
Call Number
-