Title: Application and Theory of Petri Nets and Concurrency: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings, Author: Susanna Donatelli
Title: Constraint Programming, Author: Brian Mayoh
Title: Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / Edition 1, Author: Mehdi Dastani
Title: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / Edition 1, Author: Thorsten Altenkirch
Title: Data Structures and Efficient Algorithms: Final Report on the DFG Special Joint Initiative / Edition 1, Author: Burkhard Monien
Title: WALCOM: Algorithms and Computation: 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings, Author: M. Sohel Rahman
Title: Theoretical Computer Science: 37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019, Revised Selected Papers, Author: Xiaoming Sun
Title: Computers and Games: 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers, Author: H. Jaap van den Herik
Title: Wireless Algorithms, Systems, and Applications: 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings, Author: Sriram Chellappan
Title: Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, Author: Xavier Rival
Title: Applications of Evolutionary Computation: 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings, Author: Paul Kaufmann
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / Edition 1, Author: Matteo Baldoni
Title: Design of Hashing Algorithms / Edition 1, Author: Josef Pieprzyk
Title: Rewriting Techniques and Applications: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / Edition 1, Author: Hubert Comon
Title: Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings / Edition 1, Author: Nachum Dershowitz
Title: Towards a New Evolutionary Computation: Advances on Estimation of Distribution Algorithms / Edition 1, Author: Jose A. Lozano
Title: Foundations of F#, Author: Robert Pickering
Title: Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing, Author: Rudolf Seising
Title: Talking with Computers: Explorations in the Science and Technology of Computing, Author: Thomas Dean
Title: Algorithms for Sensor Systems: 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers, Author: Antonio Fernández Anta

Pagination Links