|
121 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
 500248042
|
.
|
|
122 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500248043
|
.
|
|
123 |
 |
Multi-Agent Systems and Agreement Technologies: 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500254576
|
.
|
|
124 |
 |
Bioinformatics and Biomedical Engineering: 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26–28, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
500251738
|
.
|
|
125 |
 |
Bioinformatics and Biomedical Engineering: 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26–28, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500251739
|
.
|
|
126 |
 |
Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
500251743
|
.
|
|
127 |
 |
Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500251744
|
.
|
|
128 |
 |
Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III [E-Book]
|
|
2017 |
500251742
|
.
|
|
129 |
 |
Computational Color Imaging: 6th International Workshop, CCIW 2017, Milan, Italy, March 29-31, 2017, Proceedings [E-Book]
|
|
2017 |
500248045
|
.
|
|
130 |
 |
Reproducible Research in Pattern Recognition: First International Workshop, RRPR 2016, Cancún, Mexico, December 4, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500251740
|
.
|
|
131 |
 |
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures [E-Book]
|
|
2017 |
500251745
|
.
|
|
132 |
 |
Applied Reconfigurable Computing: 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings [E-Book]
|
|
2017 |
500248047
|
.
|
|
133 |
 |
Ambient Intelligence: 13th European Conference, AmI 2017, Malaga, Spain, April 26–28, 2017, Proceedings [E-Book]
|
|
2017 |
500251749
|
.
|
|
134 |
 |
Interoperability and Open-Source Solutions for the Internet of Things: Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers [E-Book]
|
|
2017 |
500251746
|
.
|
|
135 |
 |
Smart Health: International Conference, ICSH 2016, Haikou, China, December 24-25, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500252473
|
.
|
|
136 |
 |
Transactions on Computational Science XXIX [E-Book]
|
|
2017 |
500248041
|
.
|
|
137 |
 |
Mastering Scale and Complexity in Software Reuse: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings [E-Book]
|
|
2017 |
500252436
|
.
|
|
138 |
 |
Communication Technologies for Vehicles: 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings [E-Book]
|
|
2017 |
500251747
|
.
|
|
139 |
 |
Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures [E-Book]
|
|
2017 |
500254598
|
.
|
|
140 |
 |
Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
500251760
|
.
|
