this two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9thinternationalconference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011.the...
详细信息
ISBN:
(数字)9783642314643
ISBN:
(纸本)9783642314636
this two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9thinternationalconference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011.
the 130 revised full papers presented in both volumes were carefully reviewed and selected from numerous submissions. the papers address issues such as parallel/distributed architectures and mobile computing; numerical algorithms and parallel numerics; parallel non-numerical algorithms; tools and environments for parallel/distributed/grid computing; applications of parallel/distributed computing; applied mathematics, neural networks and evolutionary computing; history of computing.
this book constitutes the refereed proceedings of the 9thinternationalconference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. the 22 revised full papers presented we...
详细信息
ISBN:
(数字)9783540697213
ISBN:
(纸本)9783540643012
this book constitutes the refereed proceedings of the 9thinternationalconference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. the 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee withthe assistance of 113 additional referees. the book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functionalprogramming.
this book constitutes the revised selected papers of the 9thinternationalconference on Cloud Computing, Big Data & Emerging Topics, JCC-BD&ET 2021, held in La Plata, Argentina*, in June 2021.;*the conference...
详细信息
ISBN:
(数字)9783030848255
ISBN:
(纸本)9783030848248
this book constitutes the revised selected papers of the 9thinternationalconference on Cloud Computing, Big Data & Emerging Topics, JCC-BD&ET 2021, held in La Plata, Argentina*, in June 2021.;*the conference was held virtually due to the COVID-19 pandemic.
this book constitutes the refereed proceedings of the 9thinternationalconference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. the 20 revised full papers presented together with 2 invited p...
详细信息
ISBN:
(数字)9783642307294
ISBN:
(纸本)9783642307287
this book constitutes the refereed proceedings of the 9thinternationalconference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. the 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. the papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
this book constitutes the proceedings of the 9thinternational Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15thinternational Workshop on Embedded and Cyber-Physical Systems Education, WES...
详细信息
ISBN:
(数字)9783030411312
ISBN:
(纸本)9783030411305
this book constitutes the proceedings of the 9thinternational Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15thinternational Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.;the 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions.;the conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.
this book constitutes the proceedings of the 8thinternational Workshop on programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9thinternational Joint conference on...
详细信息
ISBN:
(数字)9783642289392
ISBN:
(纸本)9783642289385
this book constitutes the proceedings of the 8thinternational Workshop on programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9thinternational Joint conference on Autonomous Agents and Multiagent Systems. the 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. the papers cover a broad range of mostly practical topics like decision component of agent systems; practical examples of programming languages; interaction withthe environment, and are thus organized in topical sections on reasoning, programming languages, and environments.
this two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9thinternationalconference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011.the...
详细信息
ISBN:
(数字)9783642315008
ISBN:
(纸本)9783642314995
this two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9thinternationalconference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011.
the 130 revised full papers presented in both volumes were carefully reviewed and selected from numerous submissions. the papers address issues such as parallel/distributed architectures and mobile computing; numerical algorithms and parallel numerics; parallel non-numerical algorithms; tools and environments for parallel/distributed/grid computing; applications of parallel/distributed computing; applied mathematics, neural networks and evolutionary computing; history of computing.
this book constitutes the thoroughly refereed proceedings of the 9thinternationalconference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine...
详细信息
ISBN:
(数字)9783319039985
ISBN:
(纸本)9783319039978
this book constitutes the thoroughly refereed proceedings of the 9thinternationalconference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2013. the 18 revised full papers presented were carefully reviewed and selected from 125 submissions. the papers are organized in topical sections on systems, infrastructures, and integration; semantics, knowledge engineering and management; ICT in teaching methodologies and didactics; model-driven software development and verification.
this book constitutes the thoroughly refereed post-conference proceedings of the 9thinternationalconference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.
ISBN:
(数字)9783030892470
ISBN:
(纸本)9783030892463
this book constitutes the thoroughly refereed post-conference proceedings of the 9thinternationalconference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.
this volume contains the technical papers presented in the workshops, which took place at the 9th European conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.;th...
详细信息
ISBN:
(数字)9783031232985
ISBN:
(纸本)9783031232978
this volume contains the technical papers presented in the workshops, which took place at the 9th European conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.;the 4 full papers and 7 short papers included in these proceedings were carefully reviewed and selected from 17 submissions. the workshop proceedings volume of ESOCC 2022 contains contributions from the following workshops and events:;First international Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022);PhD Symposium of ESOCC 2022;ESOCC 2022 Projects Track;ESOCC 2022 Industrial Track
暂无评论