This book constitutes the refereed conference proceedings of the 7th International Conference on Finite Difference Methods, FDM 2018, held in Lozenetz, Bulgaria, in June 2018.The 69 revised full papers presented together with 11 invited pap...Lasīt vairāk
This book constitutes the refereed proceedings of the 6th International Conference,on Theory and Practice of Natural Computing, TPNC 2017, held in Prague, Czech Republic, December 2017.The 22 full papers presented in this book, together wit...Lasīt vairāk
This book constitutes the refereed proceedings of the 11th International Conference on Simulated Evolution and Learning, SEAL 2017, held in Shenzhen, China, in November 2017. The 85 papers presented in this volume were carefully reviewed and sel...Lasīt vairāk
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes...Lasīt vairāk
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Met...Lasīt vairāk
This book constitutes revised selected papers from the Second International Workshop on Brain-Inspired Computing, BrainComp 2015, held in Cetraro, Italy, in July 2015.The 14 papers presented in this volume were carefully reviewed and selected for in...Lasīt vairāk
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2015, held in Hyderabad, India, in December 2015. The 23 full papers presented in...Lasīt vairāk
This book constitutes the refereed proceedings of the 5th International Conference on Theory and Practice of Natural Computing, TPNC 2016, held in Sendai, Japan, in December 2016.The 16 revised full papers presented together with one invited talk i...Lasīt vairāk
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016...Lasīt vairāk
This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016. This volume contains 3 invited t...Lasīt vairāk
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands,in April...Lasīt vairāk
The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: inclu...Lasīt vairāk
This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully...Lasīt vairāk
This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and Tissues, IPCAT 2015, held in San Diego, CA, USA, in September 2015. The 19 papers presented in this volume were carefully reviewed and s...Lasīt vairāk
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. T...Lasīt vairāk
This book constitutes the refereed proceedings of the 14th International Conference on Unconventional Computation and Natural Computation, UCNC 2015, held in Auckland, New Zealand, in August/September 2015. The 16 revised full papers were carefully r...Lasīt vairāk
This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 br...Lasīt vairāk
This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, in June/July 2015. The 27 revised papers presented were carefully reviewed and selected from 64 submissions and included to...Lasīt vairāk
This book constitutes the refereed conference proceedings of the 18th International Conference on the Applications of Evolutionary Computation, EvoApplications 2015, held in Copenhagen, Spain, in April 2015, colocated with the Evo 2015 events EuroGP,...Lasīt vairāk
This book constitutes the refereed proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo*2015 events EuroGP, EvoMUSAR...Lasīt vairāk
