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 1866 Mf1 : Inductive logic programming : selected papers / International Workshop, ILP.    1
Lncs 1867 Mf1 : Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings / Bernhard Ganter, Guy W. Mineau (eds.)  2000 1
Lncs 1868 Mf1 : Implementation of functional languages : 11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers / Pieter Koopman, Chris Clack (eds.)  2000 1
Lncs 1869 Mf1 : Theorem proving in higher order logics : proceedings / International Conference, TPHOLs.  c1996- 1
Lncs 1870 Mf1 : Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszyński (eds.)  2000 1
Lncs 1871 Mf1 : Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt MD, USA, April 5-7, 2000 : revised papers / James L. Rash ... [and others] (eds.)  2001 1
Lncs 1872 Mf1 : Theoretical computer science : exploring new frontiers of theoretical information : Intermational Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, proceedings / J. van Leeuwen ... and others].  2000 1
Lncs 1873 Mf1 : Database and expert systems applications : proceedings of the international conference, DEXA.  1990- 1
Lncs 1874 Mf1 : Data warehousing and knowledge discovery : Second International Conference, DaWak 2000, London, UK, September 4-6, 2000 : proceedings / Yahiko Kambayashi, Mukesh Mohania, A Min Tjoa (eds.)  2000 1
Lncs 1875 Mf1 : Electronic commerce and Web technologies : ... International Conference, EC-Web ..., proceedings.  c2000- 1
Lncs 1876 Mf1 : Advances in pattern recognition: joint IAPR International Workshops SSPR'2000 and SPR 2000, Alicante, Spain, August/September 2000 : proceedings / Francesc J. Ferri ... [and others] (eds.)  2000 1
Lncs 1877 Mf1 : CONCUR : international conference on concurrency : proceedings.  1990- 1
Lncs 1878 Mf1 : ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings / Jonathan P. Bowen ... [and others] (eds.)  2000 1
Lncs 1879 Mf1 : Algorithms - ESA 2000 : 8th annual European symposium, Saarbrücken, Germany, September 5-8, 2000 : proceedings / Mike Paterson (ed.)  2000 1
Lncs 1880 Mf1 : Advances in cryptology : proceedings of CRYPTO ...    1
Lncs 1881 Mf1 : Design and applications of intelligent agents : third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 : Melbourne, Australia, August 28-29, 2000 : proceedings / Chengqi Zhang, Von-Wun Soo (eds.)  2000 1
Lncs 1882 Mf1 : Agent systems, mobile agents, and applications : Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürich, Switzerland, September 13-15, 2000 : proceedings / David Kotz, Friedemann Mattern (eds.)  2000 1
Lncs 1883 Mf1 : Vision algorithms : theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings / Bill Triggs, Andrew Zisserman, Richard Szeliski (eds.)  2000 1
Lncs 1884 Mf1 : Current issues in databases and information systems : : East-European Conference on Advances in Databases and Information Systems held jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-9, 2000, proceedings / Július Štuller ... [and others].  2000 1
Lncs 1885 Mf1 : SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.)  2000 1
Lncs 1886 Mf1 : PRICAI 2000, topics in artificial intelligence : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28-September 1, 2000 : proceedings / Riichiro Mizoguchi, John Slaney, eds.  2001 1
Lncs 1887 Mf1 : Infrastructure for agents, multi-agent systems, and scalable multi-agent systems : International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 2000 : revised papers / Tom Wagner, Omer Rana (eds.)  2001 1
Lncs 1888 Mf1 : Algebraic frames for the perception-action cycle : second international workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 : proceedings / Gerald Sommer, Yehoshua Y. Zeevi (eds.)  2000 1
Lncs 1889 Mf1 : Theory and application of diagrams : first international conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000 : proceedings / Michael Anderson, Peter Cheng, Volker Haarslev (eds.)  2000 1
Lncs 1890 Mf1 : Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings / Claudia Linnhoff-Popien, Heinz-Gerd Hegering (eds.)  2000 1
Lncs 1891 Mf1 : Grammatical inference : algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / Arlindo L. Oliveira (ed.)  2000 1
Lncs 1892 Mf1 : Adaptive hypermedia and adaptive Web-based systems : international conference, AH 2000, Trento, Italy, August 28-30, 2000 : proceedings / Peter Brusilovsky, Oliviero Stock, Carlo Strapparava (eds.)  2000 1
Lncs 1893 Mf1 : Mathematical foundations of computer science : symposium at ...    1
Lncs 1894 Mf1 : Principles and practice of constraint programming ... : ... International Conference, CP ... : proceedings.  c1996- 1
Lncs 1895 Mf1 : Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings / Frédéric Cuppens ... [and others] (eds.).  2000 1
Lncs 1896 Mf1 : Field-programmable logic and applications.    1
Lncs 1897 Mf1 : Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.).  2000 1
Lncs 1898 Mf1 : Advances in case-based reasoning : 5th European workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000 : proceedings / Enrico Blanzieri, Luigi Portinale (eds.)  2000 1
Lncs 1899 Mf1 : Articulated motion and deformable objects : First International Workshop, AMDO 2000, Palma de Mallorca, Spain, September 2000 : proceedings / Hans-Hellmut Nagel, Francisco J. Perales-López (eds.)  2000 1
Lncs 1900 Mf1 : Euro-Par 2000 parallel processing : 6th International Euro-Par Conference, Munich, Germany, August/September 2000 : proceedings / Arndt Bode ... [and others].  2000 1
Lncs 1901 Mf1 : Proceedings of the ... IFCIS International Conference on Cooperative Information Systems.  1996- 1
Lncs 1902 Mf1 : Text, speech and dialogue : third international workshop, TSD'2000, Brno, Czech Republic, September 13-16, 2000 : proceedings / Petr Sojka, Ivan Kopeček, Karel Pala, ( eds.)  2000 1
Lncs 1903 Mf1 : Open hypermedia systems and structural computing : 6th international workshop, OHS-6, 2nd international workshop, SC-2, San Antonio, Texas, USA, May 30-June 3, 2000 : proceedings / Siegfried Reich, Kenneth M. Anderson (eds.)  2000 1
Lncs 1904 Mf1 : Artificial intelligence : methodology, systems, and applications : 9th international conference, AIMSA 2000 Varna, Bulgaria, September 2000 : proceedings / Stefano A. Cerri, Danail Dochev, eds.  2000 1
Lncs 1905 Mf1 : Interactive distributed multimedia systems and telecommunication services : 7th international workshop, IDMS 2000, Enschede, Netherlands, October 17-20, 2000 : proceedings / Hans Scholten, Martin J. van Sinderen (eds.)  2000 1
Lncs 1906 Mf1 : Coordination languages and models : 4th international conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings / António Porto, Gruia-Catalin Roman (eds.)  2000 1
Lncs 1907 Mf1 : Recent advances in intrusion detection : third international workshop, RAID 2000, Toulouse, France, October 2-4, 2000 : proceedings / Hervé Debar, Ludovic Mé, S. Felix Wu (eds.)  2000 1
Lncs 1908 Mf1 : Recent advances in parallel virtual machine and message passing interface : 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 10-13, 2000 : proceedings / Jack Dongarra, Peter Kacsuk, Nortbert Podhorszki (eds.)  2000 1
Lncs 1909 Mf1 : Advances in information systems : first international conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000 : proceedings / Tatyana Yakhno (ed.)  2000 1
Lncs 1910 Mf1 : Principles of data mining and knowledge discovery.  1997- 1
Lncs 1911 Mf1 : Job scheduling strategies for parallel processing : proceedings / Dror G. Feitelson, Larry Rudolph (eds.)  1999 1
Lncs 1912 Mf1 : Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings / Yuri Gurevich ... [and others] (eds.)  2000 1
Lncs 1913 Mf1 : Approximation algorithms for combinatorial optimization : third international workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings / Klaus Jansen, Samir Khuller (eds.)  2000 1
Lncs 1914 Mf1 : Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 2000 : proceedings / Maurice Herlihy (ed.)  2000 1
Lncs 1915 Mf1 : Languages, compilers, and run-time systems for scalable computers : 5th international workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers / Sandhya Dwarkadas (ed.)  2000 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