New Arrivals

This page lists recent arrivals (5/12/2000) in the JCML, ordered by the CS library representative:

  • Category Theory for Computing Science (3rd Edition), M.Barr and C. Wells, QA76.9.M35 Bar.

  • Generative Programming -- Methods, Tools and Applications, K.Czarnecki and U.W.Eisenecker, QA76.624 Cza.

  • Data Structures, Algorithms and Applications in Java, S.Sahni, QA76.73.J38 Sah.

  • Guide to Testing During Software Development,M.A. Ould, QA76.76.D47 Tes.

  • Integrated Circuit Design (LNCS 1918), D.Soudris, QA 75.5 Lec.v.1918

  • Approximation Algorithms for Combinatorial Optimization (LNCS 1913), K.Jansen, QA 75.5 Lec.v.1913

  • Computer Aided Systems Theory EUROCAST'99 (LNCS 1798), F.Pichler, QA 75.5 Lec.v.1798

  • Mobile Agents for Telecommunication Applications (LNCS 1931), E.Horlait, QA 75.5 Lec.v.1931

  • Advanced Information Systems Engineering (LNCS 1789), B.Wangler, QA 75.5 Lec.v.1789

  • Mathematics of Program Construction (LNCS 1837), R.Backhouse, QA 75.5 Lec.v.1837

  • Application and Theory of Petri Nets 2000 (LNCS 1825), QA 75.5 Lec.v. 1825

  • Rewriting Techniques and Applications (LNCS 1833), L. Bachmair, QA 75.5 Lec.v.1833

  • ACM SIGCPR 2000, HD 8039.D372 Acm 2000

  • ACM CHI 2000, QA 76.9.H85 Chi 2000

  • Fifth ACM Workshop 2000, QA 76.9.A25 Acm

    (23/11/2000):

  • The Implementation of Functional Programming Languages, Simon Peyton-Jones, QA76.6 Pey.

  • Generic Programming (LNCS 1766), M. Jazayeri, QA 75.5 Lec v.1766

  • HPCN Europe 2000 (LNCS 1823), QA 75.5 Lec v. 1823

  • Recent Trends in Algebraic Development Techniques (LNCS 1827), QA 75.5 Lec v. 1827

  • Computer Science Logic (LNCS 1862), P.G. Clote, QA 75.5 Lec v.1862

  • Analysis and Visualization Tools (LNCS 1870),Deravisart, QA 75.5 Lec v.1870

  • Interactive Distributed Multimedia Systems (LNCS 1905), H. Scholten, QA 75.5 Lec v.1905

  • Recent Advances in Intrusion Detection (LNCS 1907), H. Debar, QA 75.5 Lec v. 1907

  • Distributed Computing (LNCS 1914), M. Herlihy, QA 75.5 Lec v. 1914

  • Parallel Problem Solving From Nature (LNCS 1917), QA 75.5 Lec. v. 1917

  • Conceptual Modelling - ER 2000 (LNCS 1920), A. Laender, QA 75.5 Lec v. 1970

  • Next Generation Networks (LNCS 1938), S. Rao, QA 75.5 Lec v. 1938

  • UML 2000 (LNCS 1939), A. Evans and S. Kent,QA 75.5 Lec v. 1939

  • High Performance Computing (LNCS 1940), M. Valero, QA 75.5 Lec v. 1940

    (9/11/2000)

  • Proceedings of the 2000 ACM SIGPLAN, journal sequence - Sigplan notices vol 35, no 5, May 2000

  • ACM Proceedings of ISPD 2000, TK 7874.75 Int. 2000

  • ACM Proceedings of RECOMB 2000, QH 506 Int. 2000

  • International Symposium on Handheld and Ubiquitous Computing (LNCS 1903), QA 75.5 Lec v.1903

  • ER 2000 Workshop -- Conceptual Modellingfor E-businesses (LNCS 1921), Liddle (ed), QA75.5 Lec. v.1921

  • Introduction to Automated Thoery, Languages and Computation, J.E.Hopcroft and J.D.Ullman, QA 267 Hop (replacement of missing copy)

  • Computer Confluence: Exploring Tomorrow's Technology (4th Edition), George Beekman, QA76.5 Bee.

    (31/10/2000)

  • Computer Security - ESORICS 2000 (LNCS 1895), F. Cuppens, QA 75.5 Lec v1895

  • Proceedings of 4th Int. Conf. on Autonomous Agents, QA 76.76I58 Int 2000

  • Proceedings of 16th Annual Symposium on Computational Geometry, QA 447 Sym

  • Proceedings of 19th Annual ACM Symposium on Principles of Distributed Systems,QA 76.9.D5 Acm 2000

  • 8th International Workshop on Hardware-Software Codesign,QA 76.9.588 Int

    (17/10/2000)

  • Computer Organization and Design, The Hardware/Software Interface (Second Edition),D.A.Paterson and J.L.Hennessy, 3 copies on reserve

  • People and Ideas in Theoretical Computer Science, Cristian S Calude (Ed), QA76 Peo.

  • Scaling for E-Business: Technologies, Models, Performance and Capacity Planning, D.A.Menasce and V.A.F.Almeida, HF5548.32 Men.

  • Theory and Application of Diagrams, M. Anderson et al (eds), QA90 Dia.

  • Proc. of 12th Annual Conference on Computational Learning Theory,

  • C by Dissection, A. Kelley and I. Pohl, QA76.73.C15 Kel.

    (5/10/2000):

  • Surviving Object-Oriented Projects: A Manager's Guide, A. Cockburn, QA 76.9035 Coc

  • The Haskell School of Expression, Paul Hudak, QA 76.62 Hud

    Jane Hillston
    Last modified: Tue Dec 5 11:12:33 GMT 2000