Sökt på: Sökresultat
totalt 8 651 träffar
NASA Formal Methods
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short …
Advanced Functional Programming
This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995.The last few …
Human and Artificial Rationalities
This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September …
Logic and Argumentation
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. …
Knowledge Graphs and Language Technology
This book constitutes the combined refereed proceedings of ISWC Satellite Wor shops KEKIand NLP&DBpedia 2016 which were held in conjunction with ISWC 2016 in Kobe, Japan, inOctober …
Computational Theory of Mind for Human-Machine Teams
This book constitutes the proceedings of the First International Symposium, ToM for Teams 2021, held in Washington, DC, USA, during November 4–6, 2021, Each chapter in this …
Genetic Programming
The book constitutes the refereed proceedings of the 17th European Conference on Genetic Programming, Euro GP 2014, held in Grenada, Spain, in April 2014 co-located with the …
Advanced Programming Environments
Organized by: IFIP Working Group 2.4 on Systems Programming Languages in Cooperation with ACM SIGPLAN/SIGSOFT
Foundations and Practice of Security
This book constitutes the refereed proceedings of the 15th International Symposium on Foundations and Practice of Security, FPS 2022, held in Ottawa, ON, Canada, during December …
Software Configuration Management
Thedisciplineofsoftwarecon?gurationmanagement(SCM)providesoneofthe bestsuccessstoriesinthe?eldofsoftwareengineering. Withtheavailabilityof …
Algorithms and Complexity
This book constitutes the refereed proceedings of the Third Italian Conference on Algorithms and Complexity, CIAC'97, held in Rome, Italy in March 1997.The 25 revised full papers …