Online Library TheLib.net » Тема, жанр, tags: Computer science,Informatique,Special purpose computers,Software engineering,Génie logiciel,Programm
book Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,
pdf
00
29.01.2024
0
0
Read online
book Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers
Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers
pdf
00
29.01.2024
0
0
Read online
book Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Enhanced Quality of Life and Smart Living : 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings
Enhanced Quality of Life and Smart Living : 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Mobile Web and Intelligent Information Systems : 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings
Mobile Web and Intelligent Information Systems : 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Computer Analysis of Images and Patterns : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
Computer Analysis of Images and Patterns : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II
pdf
00
29.01.2024
0
0
Read online
book Computer Analysis of Images and Patterns : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
Computer Analysis of Images and Patterns : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I
pdf
00
29.01.2024
0
0
Read online
book Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Computing in Smart Toys
Computing in Smart Toys
pdf
00
29.01.2024
0
0
Read online
book HCI International 2017 – Posters’ Extended Abstracts: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part II
HCI International 2017 – Posters’ Extended Abstracts: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part II
pdf
00
29.01.2024
0
0
Read online
1 2