Title: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, Author: Peter E. Lauer
Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings, Author: Frank Pfenning
Title: Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings, Author: Nachum Dershowitz
Title: Languages and Compilers for Parallel Computing: 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings, Author: Chua-Huang Huang
Title: Principles of Program Analysis, Author: Flemming Nielson
Title: Algorithmic Aspects in Information and Management: 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings, Author: Rudolf Fleischer
Title: Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings, Author: Chitta Baral
Title: Evolvable Systems: From Biology to Hardware: 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings, Author: Sanyou Zeng
Title: Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings, Author: Christian Bessiere
Title: OpenMP in a New Era of Parallelism: 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings, Author: Rudi Eigenmann
Title: Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings, Author: José Meseguer
Title: Applications of Evolutionary Computing: EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG,Tübingen, Germany, April 15-17, 2009, Proceedings, Author: Mario Giacobini
Title: Fuzzy Sets Based Heuristics for Optimization, Author: José-Luis Verdegay
Title: The Linear Ordering Problem: Exact and Heuristic Methods in Combinatorial Optimization, Author: Rafael Martí
Title: Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II, Author: Artur Czumaj
Title: The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks, Author: Leonard Bolc
Title: Crisp and Soft Computing with Hypercubical Calculus: New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing, Author: Michael Zaus
Title: Euro-Par 2015: Parallel Processing: 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings, Author: Jesper Larsson Träff
Title: Design and Deploy IoT Network & Security with Microsoft Azure: Embrace Microsoft Azure for IoT Network Enhancement and Security Uplift, Author: Puthiyavan Udayakumar
Title: Data Science Solutions on Azure: The Rise of Generative AI and Applied AI, Author: Julian Soh

Pagination Links