This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions.…
This book constitutes the refereed proceedings of the Second International Conference on Geometric Science of Information, GSI 2015, held in Palaiseau, France, in October 2015. The 80 full papers presented were carefully reviewed and selected from 110 submissions and are organiz…
This book constitutes the refereed proceedings of the 14th Algorithms and Data Structures Symposium, WADS 2015, held in Victoria, BC, Canada, August 2015. The 54 revised full papers presented in this volume were carefully reviewed and selected from 148 submissions. The Algorithm…
In this textbook, a concise approach to complex analysis of one and several variables is presented. After an introduction of Cauchy's integral theorem general versions of Runge's approximation theorem and Mittag-Leffler's theorem are discussed. The fi rst part ends with an analy…
At almost all academic institutions worldwide, complex variables and analytic functions are utilized in courses on applied mathematics, physics, engineering, and other related subjects. For most students, formulas alone do not provide a sufficient introduction to this widely tau…
"This book is the first primary introductory textbook on complex variables and analytic functions to use predominantly functional illustrations"--
This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdańsk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers c…
This book constitutes the refereed proceedings of the 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The 23 full papers presented were carefully reviewed and selected from 56 submissions. The selected papers c…
by Sebastiani, Roberto, Cimatti, Alessandro, International Conference on Theory and Applications of Satisfiability Testing, SAT, Trento, Italy)
fromLecture Notes in Computer Science
