Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 3 from your keywords: author=TINELLI, Cesare
cover
Automated Deduction – CADE 29: 29th International Conference on Automated D…
Comment Share
TINELLI, CesarePIENTKA, Brigitte

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundati…

Edition
1
ISBN/ISSN
9783031384998
Collation
XXV, 592
Series Title
-
Call Number
-
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
-