1
VLSI 2010 Annual Symposium [E-Book] : Selected papers /
2
Advances in Intelligent Data Analysis. Reasoning about Data [E-Book] : Second International Symposium, IDA-97, London, UK, August 4-6, 1997, Proceedings /
3
Simulated Evolution and Learning [E-Book] : First Asia-Pacific Conference, SEAL'96, Taejon, Korea, November 9-12, 1996. Selected Papers. /
4
Computer Analysis of Images and Patterns [E-Book] : 7th International Conference, CAIP '97, Kiel, Germany, September 10-12, 1997. Proceedings. /
5
Field Programmable Logic and Applications [E-Book] : 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. /
6
Computer Aided Systems Theory - EUROCAST '97 [E-Book] : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings /
7
Cryptography and Coding [E-Book] : 6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings /
8
Software Engineering for Resilient Systems [E-Book] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings /
9
High-Performance Computing and Networking [E-Book] : International Conference and Exhibition, Amsterdam, The Netherlands, April 21-23, 1998, Proceedings /
10
Multiple Approaches to Intelligent Systems [E-Book] : 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings /
11
Correct Hardware Design and Verification Methods [E-Book] : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings /
12
FM’99 — Formal Methods [E-Book] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I /
13
Computer Aided Systems Theory - EUROCAST'99 [E-Book] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings /
14
Integrated Circuit Design [E-Book] : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings /
15
Applied Parallel Computing. State of the Art in Scientific Computing [E-Book] : 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers /
16
Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [E-Book] : 5th International Workshop, PARA 2000 Bergen, Norway, June 18–20, 2000 Proceedings /
17
Hybrid Systems: Computation and Control [E-Book] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /
18
Applications of Evolutionary Computing [E-Book] : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM Como, Italy, April 18–20, 2001 Proceedings /
19
Computational Science — ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I /
20
Computational Science - ICCS 2001 [E-Book] : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II /