Computer Science
-
EurAsia-ICT 2002: Information and Communication Technology First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings -
Lecture Notes in Computer Science: 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings -
Lecture Notes in Computer Science: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings -
Queueing Networks with Discrete Time Scale Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks -
Lecture Notes in Computer Science: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings -
Lecture Notes in Computer Science -
Logic, Language and Computation Festschrift in Honor of Satoru Takasu -
Lecture Notes in Computer Science: 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings -
Lecture Notes in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings -
Lecture Notes in Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings -
Lecture Notes in Computer Science: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings -
Hybrid Systems IV -
Lecture Notes in Computer Science: 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers -
Lecture Notes in Computer Science: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings -
Graph-Theoretic Concepts in Computer Science 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings -
Lecture Notes in Computer Science -
Parallel Scientific Computing First International Workshop, PARA '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings -
Lecture Notes in Computer Science: 4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings -
Lecture Notes in Computer Science: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers -
Lecture Notes in Computer Science: A Generic Theorem Prover -
Lecture Notes in Computer Science: 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings -
Lecture Notes in Computer Science: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings -
Computer Security and Industrial Cryptography State of the Art and Evolution. ESAT Course, Leuven, Belgium, May 21-23, 1991 -
Lecture Notes in Computer Science: Joint Tutorial Papers of Performance '93 and Sigmetrics '93