Title: Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Author: Amund Skavhaug
Title: Azure Internet of Things Revealed: Architecture and Fundamentals, Author: Robert Stackowiak
Title: Feedback Arc Set: A History of the Problem and Algorithms, Author: Robert Kudelic
Title: Azure Arc-enabled Data Services Revealed: Deploying Azure Data Services on Any Infrastructure, Author: Ben Weissman
Title: Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications, Author: Evripidis Bampis
Title: Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / Edition 1, Author: Dexter Kozen
Title: Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / Edition 1, Author: José Nelson Amaral
Title: Simulated Evolution and Learning: First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers. / Edition 1, Author: Xin Yao
Title: Declarative Programming, Sasbachwalden 1991: PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991, Author: John Darlington
Title: Algorithms and Data Structures: 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings / Edition 1, Author: Frank Dehne
Title: Evolutionary Computing: AISB Workshop, Leeds, U.K., April 11 - 13, 1994. Selected Papers / Edition 1, Author: Terence C. Fogarty
Title: Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings, Author: Michal Hospodár
Title: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, Author: Kamel Barkaoui
Title: Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1, Author: Enrico Giunchiglia
Title: Discrete Optimization and Operations Research: 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings, Author: Yury Kochetov
Title: Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings / Edition 1, Author: Gerard Comyn
Title: Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings, Author: Eerke A. Boiten
Title: Algorithms and Models for the Web Graph: 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings, Author: David F. Gleich
Title: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
Title: Combinatorial Optimization and Applications: 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings, Author: Yingshu Li

Pagination Links