1
by Fensel, Dieter
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... a Library of Problem-Solving Methods -- Conclusions and Future Work -- Conclusions and Future Work...

2
by Venables, William N., Ripley, Brian D.
Published 1997
Springer New York
Table of Contents: ... Functions -- C Using S-PLUS Libraries -- C.1 Sources of libraries -- C.2 Creating a library section...

3
by Venables, W.N., Ripley, B.D.
Published 1994
Springer New York
Table of Contents: ... -- B Common S-PLUS Functions -- C S versus S-PLUS -- D Using S Libraries -- D.1 Creating a library -- D...

4
by Watson, Mark
Published 1991
Springer New York
Table of Contents: .... Natural Language Interface to a Library Database -- 4: Expert-Systems -- 10. Expert-Systems -- 5: Search...

5
Published 1972
Springer Netherlands
... with the Universi­ ty of Michigan Law Library. The project received advice and counsel from the Foreign Law Com...

6
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Engineering Approach Based on the Integration of CPNs with Objects -- Modeling of a Library with THORNs...

7
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... Programming in C++ -- Transparent parallelisation through reuse: between a compiler and a library approach...

8
by Randall, S., Thompson, A.
Published 1969
Springer Netherlands
Table of Contents: ... Libraries Association, 1967/1968 -- American Association of Law Libraries -- Association of Research...

9
Published 2002
Springer Netherlands
Table of Contents: ... photometric system -- BaSeL: A library of synthetic spectra and colours for GAIA -- Japanese astrometry...

10
Published 1997
Springer Berlin Heidelberg
Table of Contents: ..., digital audio, video, and photo consultationin a library -- The electronic colloquium on computational...

11
by McCarthy, Timothy J.
Published 1994
Springer London
Table of Contents: ... -- General -- Making a block -- Inserting blocks -- Global blocks -- Making a library of useful symbols...

12
Published 1984
Springer US
Table of Contents: ... Library Circulation System -- 18. Design and Implementation of a Library Automation System -- 19...

13
Published 1988
Springer Netherlands
Table of Contents: ... of Globular Clusters -- A New Approach for Stellar Population Synthesis in Galaxy Nuclei: A Library of Star...

14
by Watson, Mark
Published 1996
Springer New York
Table of Contents: ... coupling between library modules -- 3.4 Example: a library for genetic algorithms -- 3.5 Example...

15
Published 1988
Springer US
Table of Contents: ... -- A Library of Monoclonal Antibodies for Exploring Unknown Functional Molecules on the Surface...

16
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Software -- References -- AGD — A Library of Algorithms for Graph Drawing -- 1 Introduction -- 2...

17
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- DDDLIB: A Library for Solving Quantified Difference Inequalities -- An LCF-Style Interface between HOL...

18
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Checking Using Boolean Expression Diagrams -- A Library for Composite Symbolic Representations -- Infinite...

19
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... of structure and behaviour -- LEDA a library of efficient data types and algorithms -- Correctness...

20
Published 1994
Birkhäuser
Table of Contents: ... of Distributed Applications -- Design of a Parallel Object-Oriented Linear Algebra Library -- A Library...