Title: Programming and Mathematical Method: International Summer School, Author: Manfred Broy
Title: Conclog: A Methodological Approach to Concurrent Logic Programming, Author: Jean-Marie Jacquet
Title: Algorithms and Computation: 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, Author: Seok-Hee Hong
Title: Robust Technology with Analysis of Interference in Signal Processing, Author: Telman Aliev
Title: Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II, Author: Bartlomiej Beliczynski
Title: From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz, Author: Martin Davis
Title: Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, Author: Jacques Duparc
Title: The Art of High Performance Computing for Computational Science, Vol. 2: Advanced Techniques and Examples for Materials Science, Author: Masaaki Geshi
Title: Evolvable Hardware, Author: Tetsuya Higuchi
Title: Synthesis of Computational Structures for Analog Signal Processing, Author: Cosmin Radu Popa
Title: Advanced Parallel Processing Technologies: 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings, Author: Xingming Zhou
Title: Multimodal Optimization by Means of Evolutionary Algorithms, Author: Mike Preuss
Title: Heuristic Approaches for Telecommunications Network Management, Planning and Expansion: A Special Issue of the Journal of Heuristics, Author: Robert Doverspike
Title: Algorithms, Complexity Analysis and VLSI Architectures for MPEG-4 Motion Estimation, Author: Peter M. Kuhn
Title: Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, Author: Toby Walsh
Title: Automatic Performance Prediction of Parallel Programs, Author: Thomas Fahringer
Title: Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings, Author: Armin Biere
Title: Algorithms and Computation: 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings, Author: Peter Eades
Title: Fully Integrated Data Environments: Persistent Programming Languages, Object Stores, and Programming Environments, Author: Malcolm P. Atkinson
Title: Evolutionary Algorithms in Engineering Applications, Author: Dipankar Dasgupta

Pagination Links