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