121
Algorithms, Probability, Networks, and Games [E-Book] : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday /
122
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [E-Book] /
123
Ambient Assisted Living and Active Aging [E-Book] : 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings /
124
Ambient Assisted Living and Daily Activities [E-Book] : 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014. Proceedings /
125
Ambient Assisted Living and Home Care [E-Book] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings /
126
Ambient Assisted Living. ICT-based Solutions in Real Life Situations [E-Book] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings /
127
Ambient Intelligence [E-Book] : Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings /
128
Analysis and Simulation of Semiconductor Devices [E-Book] /
129
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
130
Analytical and Stochastic Modeling Techniques and Applications [E-Book]: 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings /
131
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings /
132
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings /
133
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
134
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
135
Animated Problem Solving [E-Book] : An Introduction to Program Design Using Video Game Development /
136
Animated Program Design [E-Book] : Intermediate Program Design Using Video Game Development /
137
Applicable Formal Methods for Safe Industrial Products [E-Book] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
138
Application and Theory of Petri Nets [E-Book]: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /
139
Application and Theory of Petri Nets and Concurrency [E-Book] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
140
Application and Theory of Petri Nets and Concurrency [E-Book] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /