Søkt på: the mathematical sciences
Vi gjorde et søk på tittelen istedenfor the mathematical sciences som gavtotalt 22 treff
Mathematical Methods for Curves and Surfaces
TheSeventhInternationalConferenceonMathematicalMethodsforCurvesand SurfacestookplaceJune26-July 1,2008,inTonsberg,Norway. Theearlier conferences in the series took place in Oslo …
Mathematics of Surfaces XII
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held in Sheffield, UK in September 2007. The papers cover a …
Mathematical Foundations of Computer Science 2011
This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August …
Mathematics of Program Construction
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 …
Mathematics of Program Construction
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The …
Mathematics of Surfaces XIII
This book constitutes the refereed proceedings of the 13th IMA International Conference on the Mathematics of Surfaces held in York, UK in September 2009. The papers in the present …
Mathematics of Program Construction
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- …
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesky Krumlov, Czech …
The Language of Mathematics
The Language of Mathematics was awarded the E.W. Beth Dissertation Prize for outstanding dissertations in the fields of logic, language, and information. It innovatively combines …
Mathematical Theory and Computational Practice
CiE 2009: Mathematical Theory and Computational Practice Heidelberg, Germany, July 19-24, 2009 After several years of research activity, the informal cooperation "C- putability in …