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 1916 Mf1 : Issues in agent communication / Frank Gignum, Mark Greaves (eds.)  2000 1
Lncs 1917 Mf1 : Parallel problem solving from nature--PPSN ...  1991- 1
Lncs 1918 Mf1 : Integrated circuit design : power and timing modeling, optimization and simulation : 10th international workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings / Dimitrios Soudris, Peter Pirsch, Erich Barke (eds.)  2000 1
Lncs 1919 Mf1 : Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego ... [and others], eds.  2000 1
Lncs 1920 Mf1 : Conceptual modeling - ER 2000 : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 2000 / Alberto H.F. Laender, Stephen W. Liddle, Veda C. Storey (eds.)  2000 1
Lncs 1921 Mf1 : Conceptual modeling for E-business and the Web : ER 2000, Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 : proceedings / Stephen W. Liddle, Heinrich C. Mayr, Bernhard Thalheim (eds.)  2000 1
Lncs 1922 Mf1 : Quality of future Internet services : first COST 263 international workshop, QofIS 2000, Berlin, Germany, September 25-26, 2000 : proceedings / Jon Crowcroft, James Roberts, Mikhail I. Smirnov (eds.)  2000 1
Lncs 1923 Mf1 : Research and advanced technology for digital libraries.  1997- 1
Lncs 1924 Mf1 : Semantics, applications and implementation of program generation : international workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.)  2000 1
Lncs 1925 Mf1 : Learning language in logic / James Cussens, Sašo Džeroski, (eds.)  2000 1
Lncs 1926 Mf1 : Formal techniques in real-time and fault-tolerant systems : 6th international symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings / Mathai Joseph (ed.)  2000 1
Lncs 1927 Mf1 : Handheld and ubiquitous computing : Second International Symposium, HUC 2000, Bristol, UK, September 25-27, 2000 : proceedings / Hans-W. gellersen, Peter Thomas (eds.)  2000 1
Lncs 1928 Mf1 : Graph-theoretic concepts in computer science : International Workshop WG ... proceedings.    1
Lncs 1929 Mf1 : Advances in visual information systems : 4th international conference, VISUAL 2000, Lyon, France, November 2-4, 2000 : proceedings / Robert Laurini (ed.)  2000 1
Lncs 1930 Mf1 : Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.)  2001 1
Lncs 1931 Mf1 : Mobile agents for telecommunication applications : Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000 : proceedings / Eric Horlait (ed.)  2000 1
Lncs 1932 Mf1 : Foundations of intelligent systems : 12th international symposium, ISMIS 2000, Charlotte, NC, USA, October 2000 : proceedings / Zbigniew W. Raś, Setsuo Ohsuga, eds.  2000 1
Lncs 1933 Mf1 : Medical data analysis : First International Symposium, ISMDA 2000, Frankfurt Germany, September, 2000 : proceedings / Rüdiger W. Brause, Ernst Hanisch, (eds.)  2000 1
Lncs 1934 Mf1 : Envisioning machine translation in the information future : 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, October 10-14, 2000 : proceedings / John S. White, (ed.)  2000 1
Lncs 1935 Mf1 : Medical image computing and computer-assisted intervention.  1998- 1
Lncs 1936 Mf1 : Self-adaptive software : first international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers / Paul Robertson, Howie Shrobe, Robert Laddaga (eds.)  2001 1
Lncs 1937 Mf1 : Knowledge engineering and knowledge management : methods, models and tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (eds.)  2000 1
Lncs 1938 Mf1 : Next generation networks : network services for the Information Society : 5th IFIP TC6 international symposium, Bergen, Norway, October 3-6, 2000 : proceedings / Sathya Rao, Kaare Ingar Sletta (eds.)  2000 1
Lncs 1939 Mf1 : UML 2000--the unified modeling language : advancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent (eds.)  2000 1
Lncs 1940 Mf1 : High performance computing : third international symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000 : proceedings / Mateo Valero ... [and others] (eds.)  2000 1
Lncs 1941 Mf1 : Graphics recognition : recent advances : Third International Workshop, GREC'99, Jaipur, India, September 26-27, 1999 : selected papers / Atul K. Chhabra, Dov Dori (eds.)  2000 1
Lncs 1942 Mf1 : Active networks : second international working conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000 : proceedings / Kataoka Masanori, Radu Popescu-Zeletin (eds.)  2000 1
Lncs 1943 Mf1 : Computer safety, reliability and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings / Floor Koornneef, Meine van der Meulen (eds.).Computer safety, reliability and security.  2000 1
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
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