12th International Conference Vecos 2018 Grenoble France September 2628 2018 Proceedings
Verification and Evaluation of Computer and Communication Systems eBooks & eLearning
Posted by AvaxGenius at Sept. 20, 2018
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings by Mohamed Faouzi Atig
English | PDF | 2018 | 223 Pages | ISBN : 3030003582 | 11.08 MB
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proce eBooks & eLearning
Posted by insetes at Nov. 18, 2018
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings By Dimitra Giannakopoulou, Gwen Salaün (eds.)
2014 | 394 Pages | ISBN: 3319104306 | PDF | 7 MB
2014 | 394 Pages | ISBN: 3319104306 | PDF | 7 MB
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedin eBooks & eLearning
Posted by insetes at Dec. 5, 2018
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings By Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
1999 | 364 Pages | ISBN: 3540664637 | PDF | 4 MB
1999 | 364 Pages | ISBN: 3540664637 | PDF | 4 MB
Reachability Problems eBooks & eLearning
Posted by AvaxGenius at Sept. 19, 2018
Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings by Igor Potapov
English | PDF | 2018 | 180 Pages | ISBN : 3030002497 | 4.83 MB
This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.
Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018 eBooks & eLearning
Posted by arundhati at Oct. 25, 2020
Catherine Dubois, "Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018"
English | ISBN: 3319929933 | 2018 | 199 pages | EPUB, PDF | 4 MB + 7 MB
English | ISBN: 3319929933 | 2018 | 199 pages | EPUB, PDF | 4 MB + 7 MB
Advanced Information Systems Engineering: 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, eBooks & eLearning
Posted by roxul at June 3, 2020
Schahram Dustdar, "Advanced Information Systems Engineering: 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, "
English | ISBN: 3030494349 | 2020 | 598 pages | PDF | 40 MB
English | ISBN: 3030494349 | 2020 | 598 pages | PDF | 40 MB
Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 20 eBooks & eLearning
Posted by insetes at Sept. 25, 2023
Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings By Willem Bekkers, Inge van de Weerd (auth.), Andreas Riel, Rory O’Connor, Serge Tichkiewitch, Richard Messnarz (eds.)
2010 | 303 Pages | ISBN: 3642156657 | PDF | 6 MB
2010 | 303 Pages | ISBN: 3642156657 | PDF | 6 MB
Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part 4 eBooks & eLearning
Posted by arundhati at Aug. 12, 2025
Huchuan Lu, "Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part 4"
English | ISBN: 3031463137 | 2023 | 444 pages | EPUB | 93 MB
English | ISBN: 3031463137 | 2023 | 444 pages | EPUB | 93 MB
Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part 3 eBooks & eLearning
Posted by arundhati at Aug. 12, 2025
Huchuan Lu, "Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part 3"
English | ISBN: 3031463102 | 2023 | 436 pages | EPUB | 83 MB
English | ISBN: 3031463102 | 2023 | 436 pages | EPUB | 83 MB
Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part V eBooks & eLearning
Posted by arundhati at Aug. 12, 2025
Huchuan Lu, "Image and Graphics: 12th International Conference, ICIG 2023, Nanjing, China, September 22–24, 2023, Proceedings, Part V"
English | ISBN: 3031463161 | 2023 | 396 pages | EPUB | 84 MB
English | ISBN: 3031463161 | 2023 | 396 pages | EPUB | 84 MB