This book constitutes the refereed proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing, CASC 2009, held in Kobe, Japan, in September 2009. The 28 revised full papers presented together with 2 invited lectures were carefully reviewed and sel…
This book constitutes the refereed proceedings of the 8th International Workshop on Multiple Classifier Systems, MCS 2009, held in Reykjavik, Iceland, in June 2009. The 52 revised full papers presented together with 2 invited papers were carefully reviewed and selected from more…
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Be…
by International Conference on Algebraic Methodology and Software Technology, Lac-Beauport, QC, Canada), International Conference on Algebraic Methodology and Software Technology, International Conference on Algebraic Methodology and Software Technology
fromLNCS sublibrary
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 sub…
This edition has been revised to stress the use of modern Fortran throughout. Key features: lots of clear, simple and complete examples highlighting the key core language features of modern Fortran including data typing, array processing, control structures functions, subroutine…
The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6-10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned …
The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6-10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned …
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras,…
by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Wooldridge, Michael J., Wahlster, Wolfgang, Peled, Doron A.
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 8th IFIP International Conference on Network and Parallel Computing, NPC 2011, held in Changsha, China, in October 2011. The 28 papers presented were carefully reviewed selected from 54 submissions. The papers are organized i…