我的圖書館

Advances in web-age information management : second international conference, WAIM 2001, Xi'an, Chin

WAIM 2001 (2001 : Xi'an, China)
Berlin ; New York : Springer, c2001. c2001

Advances in Web-based learning--ICWL 2003 : second international conference, Melbourne, Australia, A

International Conference on Web-Based Learning (2nd : 2003 : Melbourne, Vic)
Berlin ; New York : Springer, c2003. c2003

Applied algebra, algebraic algorithms, and error-correcting codes : 10th international symposium, AA

AAECC-10 (1993 : San Juan, P.R)
Berlin ; New York : Springer-Verlag, c1993. c1993

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, Au

Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)
Berlin ; New York : Springer-Verlag, 1993. 1993

Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30,

European Computer Algebra Conference (1983 : London, England)
Berlin ; New York : Springer-Verlag, 1983. 1983

Computer security and industrial cryptography : state of the art and evolution : ESAT course, Leuven

Berlin ; New York : Springer-Verlag, c1993. c1993

Constraint processing : selected papers

Berlin ; New York : Springer-Verlag, c1995. c1995

Databases in telecommunications : international workshop co-located with VLDB-99, Edinburgh, Scotlan

Databases in Telecommunications International Workshop (1999 : Edinburgh, Scotland)
Berlin ; New York : Springer, c2000. c2000

Evolutionary computing : AISB International Workshop, Manchester, UK, April 7-8, 1997 : selected pap

AISB International Workshop (1997 : Manchester, England)
Berlin ; New York : Springer, c1997. c1997

Generative programming and component engineering : second International Conference, GPCE 2003, Erfur

GPCE 2003 (2003 : Erfurt, Germany)
Berlin ; New York : Springer-Verlag, 2003. 2003

Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, Januar

Berlin ; New York : Springer-Verlag, c1994. c1994

Implementation of functional languages : 9th international workshop, IFL'97, St. Andrews, Scotland,

Berlin ; New York : Springer, c1998. c1998

Internet programming languages : ICCL'98 Workshop, held in Chicago, IL, USA, May 13, 1998 : proceedi

ICCL'98 Workshop (1998 : Chicago, Ill)
Berlin ; New York : Springer, c1999. c1999

Job scheduling strategies for parallel processing : 8th International Workshop, JSSPP 2002, Edinburg

JSSPP 2002 (2002 : Edinburgh, Scotland)
Berlin ; New York : Springer, c2002. c2002

Numerical methods and applications : 5th international conference, NMA 2002, Borovets, Bulgaria, Aug

International Conference on Numerical Methods and Applications (5th : 2002 : Borovets, Bulgaria)
Berlin ; New York : Springer, c2003. c2003

On the move to meaningful Internet systems 2003 : CoopIS, DOA, and ODBASE : OTM confederated interna

International Conference on Cooperative Information Systems (2002 : Catania, Italy)
New York : Springer-Verlag, 2003. 2003

Optimization techniques : [proceedings]

IFIP Technical Conference on Optimization Techniques (6th : 1974 : Novosibirsk, R.S.F.S.R)
Berlin ; New York : Springer-Verlag, 1975. 1975

Power-aware computer systems : Second International Workshop, PACS 2002, Cambridge, MA, USA, Februar

PACS 2002 (2002 : Cambridge, Mass)
Berlin ; New York : Springer, c2003. c2003

Practice and theory of automated timetabling II : second international conference, PATAT'97, Toronto

International Conference on the Practice and Theory of Automated Timetabling (2nd : 1997 : Toronto, Ont)
Berlin ; New York : Springer, c1998. c1998

Principles and practice of declarative programming : International Conference PPDP'99, Paris, France

PPDP'99 (1999 : Paris, France)
Berlin ; New York : Springer, c1999. c1999

Process algebra and probabilistic methods : performance modeling and verification : joint internatio

PAPM-PROBMIV 2001 (2001 : Aachen, Germany)
Berlin ; New York : Springer-Verlag, c2001. c2001

Public key cryptography-PKG 2003 : 6th International Workshop on Practice and Theory in Public Key C

International Workshop on Practice and Theory in Public Key Cryptography (6th : 2003 : Miami, Fla)
Berlin ; New York : Springer, c2002. c2002

Reliable software technologies-Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable

Ada-Europe International Conference on Reliable Software Technologies (8th : 2003 : Toulouse, France)
Berlin ; New York : Springer, c2003. c2003

Research and advanced technology for digital libraries : second European conference, ECDL '98, Herak

ECDL '98 (1998 : Hērakleion, Greece)
Berlin ; New York : Springer, c1998. c1998

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988

International Symposium ISSAC '88 (1988 : Rome, Italy)
Berlin ; New York : Springer-Verlag, c1989. c1989