Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 8368 Programming and Software Engineering » Page 27
book Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
pdf
00
27.01.2024
1
0
Read online
book OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Performance Characterization and Benchmarking: 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers
Performance Characterization and Benchmarking: 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers
pdf
00
27.01.2024
0
0
Read online
book Integrating CMMI and Agile Development: Case Studies and Proven Techniques for Faster Performance Improvement
Integrating CMMI and Agile Development: Case Studies and Proven Techniques for Faster Performance Improvement
pdf
00
27.01.2024
0
0
Read online
book Modeling Business Objects with XML Schema
Modeling Business Objects with XML Schema
pdf
00
27.01.2024
2
0
Read online
book Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)
pdf
00
27.01.2024
0
0
Read online
book Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
pdf
00
27.01.2024
2
0
Read online
book Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
pdf
00
27.01.2024
0
0
Read online
book Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
pdf
00
27.01.2024
0
0
Read online
1 ... 23 24 25 26 27 28 29 30 31 ... 104