201
Algebraic Methodology and Software Technology [E-Book] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /
202
Algebraic Methodology and Software Technology [E-Book] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings /
203
Algebraic Methodology and Software Technology [E-Book] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings /
204
Algorithm Engineering [E-Book] : Bridging the Gap between Algorithm Theory and Practice /
205
Algorithmen kompakt und verständlich [E-Book] : Lösungsstrategien am Computer /
206
Algorithmen kompakt und verständlich [E-Book] : Lösungsstrategien am Computer /
207
Algorithmen und Problemlösungen mit C++ [E-Book] : Von der Diskreten Mathematik zum fertigen Programm – Lern- und Arbeitsbuch für Informatiker und Mathematiker /
208
Algorithmic Aspects of Wireless Sensor Networks [E-Book] : 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers /
209
Algorithmic Decision Theory [E-Book] : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings /
210
Algorithms and Architectures for Parallel Processing [E-Book] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I /
211
Algorithms and Architectures for Parallel Processing [E-Book] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /
212
Algorithms and Architectures for Parallel Processing [E-Book] : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II /
213
Algorithms and Architectures for Parallel Processing [E-Book] : 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I /
214
Algorithms and Architectures for Parallel Processing [E-Book] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings /
215
Algorithms and Architectures for Parallel Processing [E-Book] : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings /
216
Algorithms for Memory Hierarchies [E-Book] : Advanced Lectures /
217
Algorithms for Sensor and Ad Hoc Networks [E-Book] : Advanced Lectures /
218
Algorithms for Sensor Systems [E-Book] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers /
219
All About Maude - A High-Performance Logical Framework [E-Book] : How to Specify, Program and Verify Systems in Rewriting Logic /
220
Ambient Assistive Health and Wellness Management in the Heart of the City [E-Book] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings /