Mathematics of Program Construction 7th International Conference Mpc 2004 Stirling Scotland uk July 1214 2004 Proceedings
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings eBooks & eLearning
Posted by insetes at Sept. 26, 2023
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings By Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Jeremy Gibbons, Pablo Nogueira (eds.)
2012 | 363 Pages | ISBN: 3642311121 | PDF | 4 MB
2012 | 363 Pages | ISBN: 3642311121 | PDF | 4 MB
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, P eBooks & eLearning
Posted by arundhati at Sept. 25, 2022
Ekaterina Komendantskaya, "Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, P"
English | ISBN: 3031169115 | 2022 | 284 pages | PDF | 6 MB
English | ISBN: 3031169115 | 2022 | 284 pages | PDF | 6 MB
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings eBooks & eLearning
Posted by insetes at July 11, 2024
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings By George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)
2005 | 568 Pages | ISBN: 3540272313 | PDF | 6 MB
2005 | 568 Pages | ISBN: 3540272313 | PDF | 6 MB
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings eBooks & eLearning
Posted by insetes at July 11, 2024
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings By George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)
2005 | 568 Pages | ISBN: 3540272313 | PDF | 6 MB
2005 | 568 Pages | ISBN: 3540272313 | PDF | 6 MB
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings eBooks & eLearning
Posted by insetes at July 11, 2024
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings By George C. Necula, Sumit Gulwani (auth.), Kousha Etessami, Sriram K. Rajamani (eds.)
2005 | 568 Pages | ISBN: 3540272313 | PDF | 6 MB
2005 | 568 Pages | ISBN: 3540272313 | PDF | 6 MB
Mathematics of Program Construction eBooks & eLearning
Posted by AvaxGenius at Oct. 20, 2022
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings by Ekaterina Komendantskaya
English | EPUB | 2022 | 269 Pages | ISBN : 3031169115 | 42 MB
This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022.
Mathematics of Program Construction (Repost) eBooks & eLearning
Posted by step778 at Nov. 20, 2017
Ralf Hinze, Janis Voigtländer, "Mathematics of Program Construction"
2015 | pages: 336 | ISBN: 3319197967 | PDF | 6,0 mb
2015 | pages: 336 | ISBN: 3319197967 | PDF | 6,0 mb
Mathematics of Program Construction eBooks & eLearning
Posted by step778 at Aug. 28, 2018
Tarmo Uustalu, "Mathematics of Program Construction"
2006 | pages: 463 | ISBN: 3540356312 | PDF | 3,6 mb
2006 | pages: 463 | ISBN: 3540356312 | PDF | 3,6 mb
Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings eBooks & eLearning
Posted by roxul at Nov. 9, 2019
Sebastien Ferre, "Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings "
English | ISBN: 3642018149 | 2009 | 356 pages | PDF | 35 MB
English | ISBN: 3642018149 | 2009 | 356 pages | PDF | 35 MB
Modelling and Development of Intelligent Systems eBooks & eLearning
Posted by AvaxGenius at March 29, 2021
Modelling and Development of Intelligent Systems: 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers by Dana Simian
English | EPUB | 2021 | 427 Pages | ISBN : 3030685268 | 47.6 MB
This volume constitutes the refereed proceedings of the 7th International Conference on Modelling and Development of Intelligent Systems, MDIS 2020, held in Sibiu, Romania, in October 2020. Due to the COVID-19 pandemic the conference was held online.