書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
Software Technologies :11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / |
Enrique Cabello, Jorge Cardoso, Andre Ludwig, Leszek A. Maciaszek, Marten van Sinderen. |
|
查看
|
回報問題連結 |
Software quality assurance :consistency in the face of complexity and change / |
Neil Walkinshaw. |
|
查看
|
回報問題連結 |
Software engineering :specification, implementation, verification / |
Suad Alagic. |
|
查看
|
回報問題連結 |
Information and software technologies :23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017 : proceedings / |
Robertas Damasevicius, Vilma Mikasyte. |
|
查看
|
回報問題連結 |
Docker for data science :building scalable and extensible data infrastructure around the Jupyter Notebook Server / |
Joshua Cook. |
|
查看
|
回報問題連結 |
Infrastructure software modules for enterprises :flexible software systems, module use-cases, and wireframes / |
Mohamed Farouk. |
|
查看
|
回報問題連結 |
Software engineering for resilient systems :9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / |
Alexander Romanovsky, Elena A. Troubitsyna. |
|
查看
|
回報問題連結 |
Software engineering and formal methods :15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / |
Alessandro Cimatti, Marjan Sirjani. |
|
查看
|
回報問題連結 |
Theory and applications of satisfiability testing - SAT 2017 :20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / |
Serge Gaspers, Toby Walsh. |
|
查看
|
回報問題連結 |
Search based software engineering :9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / |
Tim Menzies, Justyna Petke. |
|
查看
|
回報問題連結 |
Static analysis :24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings / |
Francesco Ranzato. |
|
查看
|
回報問題連結 |
Software process improvement and capability determination :17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / |
Antonia Mas, Antoni Mesquida, Rory V. O'Connor, Terry Rout, Alec Dorling. |
|
查看
|
回報問題連結 |
Building intelligent information systems software:introducing the Unit Modeler development technology / |
Thomas D. Feigenbaum. |
2016 |
查看
|
回報問題連結 |
Software engineering research, management and applications |
Roger Lee. |
2018 |
查看
|
回報問題連結 |
Software engineering, artificial intelligence, networking and parallel/distributed computing |
Roger Lee. |
2018 |
查看
|
回報問題連結 |
Testing software and systems :29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / |
Nina Yevtushenko, Ana Rosa Cavalli, Husnu Yenigun. |
|
查看
|
回報問題連結 |
|