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
|
.
|