Rims Symposium On Mathematical Methods In Software Science And Engineering
Download Rims Symposium On Mathematical Methods In Software Science And Engineering full books in PDF, epub, and Kindle. Read online free Rims Symposium On Mathematical Methods In Software Science And Engineering ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
RIMS Symposium on Software Science and Engineering II
Author | : Eiichi Goto |
Publisher | : Springer Science & Business Media |
Total Pages | : 340 |
Release | : 1986 |
Genre | : Computers |
ISBN | : 9783540164708 |
RIMS Symposium on Software Science and Engineering
Author | : E. Goto |
Publisher | : Springer Science & Business Media |
Total Pages | : 244 |
Release | : 1983-02-14 |
Genre | : Computers |
ISBN | : 9783540119807 |
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Author | : Wolfgang Bibel |
Publisher | : Walter de Gruyter GmbH & Co KG |
Total Pages | : 248 |
Release | : 1987-01-14 |
Genre | : Computers |
ISBN | : 311273341X |
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".
Mathematical and Engineering Methods in Computer Science
Author | : Jan Kofroň |
Publisher | : Springer |
Total Pages | : 166 |
Release | : 2016-02-03 |
Genre | : Computers |
ISBN | : 3319298178 |
This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015. The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc.).ioinformatics, recommender="" systems,="" high-performance="" and="" cloud="" computing,="" non-traditional="" computational="" models="" (quantum="" etc.).