My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Nearby CALL NUMBERS are:
Result Page   Prev Next  
Save Marked Record Save All Records Save Marked to My Lists
    Year Entries
Lncs 1944 Mf1 : Objects and databases : international symposium, Sophia Antipolis, France, June 13, 2000 : revised papers / Klaus R. Dittrich ... [and others] (eds.).  2001 1
Lncs 1945 Mf1 : Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)  2000 1
Lncs 1946 Mf1 : Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers / Philippe Palanque, Fabio Patern'o (eds.)  2001 1
Lncs 1947 Mf1 : Applied parallel computing : new paradigms for HPC in industry and computing proceedings : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings / Tor Sørevik ... [and others].  2001 1
Lncs 1948 Mf1 : Advances in multimodal interfaces -- ICMI 2000 : third international conference, Beijing, China, October 14-16, 2000 : proceedings / Tieniu Tan, Yuanchun Shi, Wen Gao (eds.)  2000 1
Lncs 1949 Mf1 : Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers / Richard Connor, Alberto Mendelzon (eds.)  2001 1
Lncs 1950 Mf1 : Randomness and completeness in computational complexity / Dieter van Melkebeek.  2001 1
Lncs 1951 Mf1 : Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Sapin, March 15-17, 2000 : proceedings / Frank van der Linden (ed.)  2001 1
Lncs 1952 Mf1 : Advances in artificial intelligence : 7th Ibero-American Conference on AI and Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, Brazil, November 19-22, 2000, proceedings / Maria Carolina Monard, Jaime Simão Sichman (eds.)  2000 1
Lncs 1953 Mf1 : Discrete geometry for computer imagery : 9th International Conference, DGCI 2000, Uppsala, Sweden, December 2000 : proceedings / Gunilla Borgefors, Ingela Nyström, Gabriella Sanniti di Baja (eds.)  2000 1
Lncs 1954 Mf1 : Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, eds.  2000 1
Lncs 1955 Mf1 : Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.)  2000 1
Lncs 1956 Mf1 : Types for proofs and programs : third international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand ... [and others], (Eds.)  2001 1
Lncs 1957 Mf1 : Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 2000 : revised papers / Paolo Ciancarini, Michael Wooldridge (eds.)  2001 1
Lncs 1958 Mf1 : IT-security and privacy : design and use of privacy-enhancing security mechanisms / Simone Fischer-Hübner.  2001 1
Lncs 1959 Mf1 : Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 2000 : revised papers / Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais (eds.)  2001 1
Lncs 1960 Mf1 : Services management in intelligent networks : 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000, Austin, TX, USA, December 4-6, 2000, proceedings / Anthony Ambler, Seraphin B. Calo, Gautam Kar (eds.)  2000 1
Lncs 1961 Mf1 : Advances in computing Science, ASIAN ... : ... Asian Computing Science Conference ... proceedings.  c1997- 1
Lncs 1962 Mf1 : Financial cryptography : 4th International Conference, FC 2000, Anguilla, British West Indies, February 20-24, 2000 : proceedings / Yair Frankel (ed.)  2001 1
Lncs 1963 Mf1 : SOFSEM ... : theory and practice of informatics.    1
Lncs 1964 Mf1 : Object-oriented technology : ECOOP 2000 workshops, panels and posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings / Jacques Malenfant, Sabine Moisan, Ana Moreira, (eds.)  2001 1
Lncs 1965 Mf1 : Cryptographic hardware and embedded systems ... international workshop, CHES ... proceedings.  1999- 1
Lncs 1966 Mf1 : Databases in networked information systems : international workshop DNIS 2000, Aizu, Japan, December 4-6, 2000 : proceedings / Subhash Bhalla (ed.)  2000 1
Lncs 1967 Mf1 : Discovery science.  1998- 1
Lncs 1968 Mf1 : Algorithmic learning theory : 11th international conference, ALT 2000 Sydney, Australia, December 11-13, 2000, proceedings / Hiroki Arimura, Sanjay Jain, Arun Sharma (eds.)  2000 1
Lncs 1969 Mf1 : Algorithms and computation : ... International Symposium, ISAAC ... : proceedings.    1
Lncs 1970 Mf1 : High performance computing - HiPC 2000 : 7th International Conference, Bangalore, India, December 2000 : proceedings / Mateo Valero, Viktor K. Prasanna, Sriram Vajapeyam (eds.)  2000 1
Lncs 1971 Mf1 : Grid computing.  2000- 1
Lncs 1972 Mf1 : Engineering societies in the agents world : first international workshop, ESAW 2000, Berlin, Germany, August 21, 2000 : revised papers / Andrea Omicini, Robert Tolksdorf, Franco Zambonelli (eds.)  2001 1
Lncs 1973 Mf1 : Database theory--ICDT 2001 : 8th international conference, London, UK, January 4-6, 2001 : proceedings / Jan van den Bussche, Victor Vianu (eds.)  2000 1
Lncs 1974 Mf1 : Foundations of software technology and theoretical computer science.  c1984- 1
Lncs 1975 Mf1 : Information security : third international workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000 : proceedings / Josef Pieprzyk, Eiji Okamoto, Jennifer Seberry (eds.)  2000 1
Lncs 1976 Mf1 : Advances in cryptology - ASIACRYPT 2000 : International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000 : proceedings / Tatsuaki Okamoto, (ed.)  2000 1
Lncs 1977 Mf1 : Progress in cryptology : INDOCRYPT 2000 : First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000 : proceedings / Bimal Roy (ed.)  2000 1
Lncs 1978 Mf1 : Fast software encryption : 7th international workshop, FSE 2000, New York, NY, USA, April 10-12, 2000 : proceedings / Bruce Schneier (ed.)  2001 1
Lncs 1979 Mf1 : Multi-agent-based simulation ; second international workshop, MABS 2000, Boston, MA, USA, July : revised papers / Scott Moss, Paul Davidsson (eds.)  2001 1
Lncs 1980 Mf1 : Lectures on information retrieval : Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000, revised lectures / Maristella Agosti, Fabio Crestani, Gabriella Pasi (eds.)  2001 1
Lncs 1981 Mf1 : Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks / José M.L.M. Palma, Jack Dongarra, Vicente Hernández (eds.)  2001 1
Lncs 1982 Mf1 : Algorithm engineering : 4th international workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings / Stefan Näher, Dorothea Wagner (eds.)  2001 1
Lncs 1983 Mf1 : Intelligent data engineering and automated learning - IDEAL 2000 : data mining, financial engineering, and intelligent agents : second international conference, Shatin, N.T., Hong Kong, December 2000 : proceedings / Kwong Sak Leung, Lai-wan Chan, Helen Meng (eds.)  2000 1
Lncs 1984 Mf1 : Graph drawing : 8th International Symposium GD 2000, Colonial Williamsburg, Va, USA, September 20-23, 2000 : proceedings / Joe Marks (ed.)  2001 1
Lncs 1985 Mf1 : Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 2000 : proceedings / Jack Davidson, Sang Lyul Min (eds.)  2001 1
Lncs 1986 Mf1 : Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 : proceedings / Cristiano Castelfranchi, Yves Lespérance (eds.)  2001 1
Lncs 1987 Mf1 : Mobile data management : second international conference, MDM 2001, Hong Kong, China, January 2001 : proceedings / Kian-Lee Tan, Michael J. Franklin, John Chi-Shing Lui (eds.)  2000 1
Lncs 1988 Mf1 : Numerical analysis and its applications : second international conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000 : revised papers / Lubin Vulkov, Jerzy Waśniewski, Plamen Yalamov (eds.)  2001 1
Lncs 1989 Mf1 : Quality of service in multiservice IP networks : international workshop, QoS-IP 2001, Rome, Italy, January 2001 : proceedings / Marco Ajmone Marsan, Andrea Bianco (eds.)  2001 1
Lncs 1990 Mf1 : Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings / I.V. Ramakrishnan.  2001 1
Lncs 1991 Mf1 : Agent mediated electronic commerce : the European agentlink perspective / Frank Dignum, Carles Sierra (eds.)  2001 1
Lncs 1992 Mf1 : Public key cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001 : proceedings /c Kwangjo Kim (ed.)  2001 1
Lncs 1993 Mf1 : Evolutionary multi-criterion optimization : first international conference, EMO 2001, Zurich, Switzerland, March 2001 : proceedings / Eckart Zitzler ... [and others] (eds.)  2001 1
Save Marked Record Save All Records Save Marked to My Lists
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove

Result Page   Prev Next