Result 1 to 20 of 1370 total
The doctoral symposium at MODELS 2010. (English)
Dingel, Juergen (ed.) et al., Models in software engineering. Workshops and symposia at MODELS 2010, Oslo, Norway, October 2‒8, 2010. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-21209-3/pbk). Lecture Notes in Computer Science 6627, 1-3 (2011).
1
DATC newsletter. (English)
IEEE Design and Test of Computers 25, No. 01, 102 (2008).
2
The evolution of the NOMS-IM symposia series: From a gleam in the eye to multiple technical activities. (English)
J. Netw. Syst. Manag. 15, No. 4, 569-579 (2007).
3
Identity management. (English)
IEEE Internet Computing 11, No. 03, 82-85 (2007).
4
Soups 2006. (English)
IEEE Security and Privacy 04, No. 06, 53-55 (2006).
5
Wearables in 2005. (English)
IEEE Pervasive Computing 05, No.01, 92-95 (2006).
6
Knowledge representation for a trash collecting robot: results from the 2004 aaai spring symposium. (English)
Robot. Auton. Syst. 49, No. 1-2, 7-12 (2004).
7
Proceedings of the fourteenth annual ACM-SIAM symposium on discrete algorithms (SODA 2003), Baltimore, MD, USA, January 12‒14, 2003. (English)
New York, NY: Association for Computing Machinery. Philadelphia, PA: Society for Industrial and Applied Mathematics, xvi, 874 p. \$ 125.00 (2003).
8
Static analysis. 9th international symposium, SAS 2002, Madrid, Spain, September 17‒20, 2002. Proceedings. (English)
Lecture Notes in Computer Science. 2477. Berlin: Springer. xi, 527 p. EUR 60.00 (net); sFr 100.00; \sterling 42.00; \$ 79.00 (2002).
9
Special issue: Intelligent robotic systems ‒ SIRS 2001. 9th international symposium at CNRS, Toulouse, France, July 18‒20, 2001. (English)
Robot. Auton. Syst. 41, No.2-3, 65-164 (2002).
10
Algorithms - ESA 2002. 10th annual European symposium, Rome, Italy, September 17‒21, 2002. Proceedings. (English)
Lecture Notes in Computer Science. 2461. Berlin: Springer. xiv, 917 p. EUR 84.00 (net); sFr 139.50; \sterling 59.00; \$ 78.96 (2002).
11
Mathematical foundations of computer science 2002. 27th symposium, MFCS 2002, Warsaw, Poland, August 26‒30, 2002. Proceedings. (English)
Lecture Notes in Computer Science. 2420. Berlin: Springer. xii, 652 p. EUR 72.00 (net); sFr 119.50; \sterling 50.50; \$ 96.00 (2002).
12
Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15‒17, 2002. Proceedings. (English)
Lecture Notes in Computer Science. 2441. Berlin: Springer. x, 305 p. EUR 44.00 (net); sFr 75.50; \sterling 31.00; \$ 56.00 (2002).
13
Computer algebra. Selected papers from the international symposium on symbolic and algebraic computation (ISSAC’2001), University of Western Ontario, London, ON, Canada, July 2001. (English)
J. Symb. Comput. 33, No.5, 519-775 (2002).
14
Special issue: STOC 2000. 6 papers of the 32nd annual ACM symposium on theory of computing, Portland, OR, USA, May 21‒23, 2000. (English)
J. Comput. Syst. Sci. 64, No.4, 749-898 (2002).
15
Special issue: PODS 1999. Papers of 18th ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems, Philadelphia, PA, USA, May 31‒June 2, 1999. (English)
J. Comput. Syst. Sci. 64, No.3, 441-748 (2002).
16
Special issue: Proceedings of the international symposium on parallel and distributed computing. Iaşi, Romania, July 17‒20, 2002. (English)
An. Ştiinţ. Univ. Al. I. Cuza Iaşi, Ser. Nouă, Inf. 11, 365 p. (2002).
17
Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1‒5, 2002. Proceedings. (English)
Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. 2385. Berlin: Springer. xi, 343 p. EUR 48.00 (net); sFr 82.50; \sterling 33.50; \$ 62.00 (2002).
18
Combinatorial pattern matching. 13th annual symposium, CPM 2002, Fukuoka, Japan, July 3‒5, 2002. Proceedings. (English)
Lecture Notes in Computer Science. 2373. Berlin: Springer. viii, 289 p. EUR 40.00 (net); sFr 68.50; \sterling 28.00; \$ 52.00 (2002).
19
Abstraction, reformulation, and approximation. 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2‒4, 2002. Proceedings. (English)
Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. 2371. Berlin: Springer. xi, 349 p. EUR 48.00 (net); sFr 82.50; \sterling 33.50; \$ 62.00 (2002).
20
Result 1 to 20 of 1370 total
Start
Contact
Print
General Help
