DML: Digital Mathematics Library: Retrodigitized Books

DML: Digital Mathematics Library (Commercial)
Also: WDML: World Digital Mathematics Library

Retrodigitized Mathematical Monographs
Contains links to 1845 digitized books (> 472207 pages )
(Numbers of pages are preliminary; not all informations are already available.)

The database for this table is an ASCII based (ISO Latin 8859-1 extended) list, which may be parsed by this PERL script.

Most of these books are not displayed in completely digitized form !

Author:	[ A \| B \| C \| D \| E \| F \| G \| H \| I \| J \| K \| L \| M \| N \| O \| P \| Q \| R \| S \| T \| U \| V \| W \| X \| Y \| Z ]
Title:	[ A \| B \| C \| D \| E \| F \| G \| H \| I \| J \| K \| L \| M \| N \| O \| P \| Q \| R \| S \| T \| U \| V \| W \| X \| Y \| Z ]

If you want items to be added here, please send me [rehmann@math.uni-bielefeld.de] the necessary data.
Lists ordered by "Author name" and by "Title" are provided, as well as an
overview of the repositories.

Google search for this registry:

Author: [ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

Title: [ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]

Nr. Repository: Author, Title (Books only): Pages: Year(s): Type:

1 google IBM Computer Science Symposium (14th: Operating systems engineering 465 1982 book
2 google ICALP 90 (1990: Automata, languages, and programming 780 1990 book
3 google IMA Participating Institutions Conference (1986: Singularities 359 1989 book
4 google IWWERT '90 (1990: Word equations and related topics 256 1992 book
5 google Il'iashenko, IU. S.: Finiteness theorems for limit cycles. 288 1991 book
6 google International CTRS Workshop (2nd: Conditional and typed rewriting systems 461 1991 book
7 google International Conference "Modern Mathematical Problems of Mechanics and Their Applications" (1987: Current mathematical problems of mechanics and their applications. 267 1991 book
8 google International Conference CAiSE '91 (3rd: Advanced information systems engineering 578 1991 book
9 google International Conference CAiSE '91 (3rd: Advanced information systems engineering * * 578 1991 book
10 google International Conference KBCS '89 (2nd: Knowledge based computer systems 546 1990 book
11 google International Conference on Algebraic Topology (1988: Algebraic topology 350 1989 book
12 google International Conference on Analytic Methods in Number Theory and Analysis (1981: International Conference on Analytic Methods in Number Theory and Analysis, Moscow, 14-19 September 1981. 319 1986 book
13 google International Conference on Automated Deduction (10th: 10th International Conference on Automated Deduction 688 1990 book
14 google International Conference on Automated Deduction (9th: 9th International Conference on Automated Deduction 775 1988 book
15 google International Conference on Computer Logic (1988: COLOG-88 338 1990 book
16 google International Conference on Computing and Information (1990: Advances in computing and information--ICCI '90 529 1990 book
17 google International Conference on Database Theory (3rd: ICDT '90 528 1990 book
18 google International Conference on Database Theory (3rd: ICDT '90 * 528 1990 book
19 google International Conference on Extending Database Technology (1990: Advances in database technology--EDBT '90 451 1990 book
20 google International Conference on Extending Database Technology (3rd: Advances in database technology 551 1992 book
21 google International Conference on Extending Database Technology (3rd: Advances in database technology * 551 1992 book
22 google International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (1986: Uncertainty in knowledge-based systems 405 1987 book
23 google International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (3rd: Uncertainty in knowledge-bases 609 1991 book
24 google International Conference on Information Processing in Medical Imaging (12th: Information processing in medical imaging 512 1991 book
25 google International Conference on Logic Programming (8th: Parallel execution of logic programs 195 1991 book
26 google International Conference on Mathematical Problems of Quantum Field Theory and Quantum Statistics (1972: International Conference on Mathematical Problems of Quantum Field Theory and Quantum Statistics. 1978 book
27 google International Conference on Number Theory (1971: Proceedings of the International Conference on Number Theory (Moscow, September 14-18, 1971). 298 1975 book
28 google International Conference on Rewriting Techniques and Applications (4th: Rewriting techniques and applications 458 1991 book
29 google International Conference on Rewriting Techniques and Applications (4th: Rewriting techniques and applications * 458 1991 book
30 google International Conference, FCT '91 (8th: Fundamentals of computation theory 426 1991 book
31 google International Congress of Mathematicians (1974: 20 lectures delivered at the International Congress of Mathematicians in Vancouver, 1974. 129 1977 book
32 google International Congress of Mathematicians (1978: Eight lectures delivered at the International Congress of Mathematicians in Helsinki. 52 1981 book
33 google International Congress of Mathematicians (1986: Nine papers from the International Congress of Mathematicians 1986. 100 1990 book
34 google International East/West Data Base Workshop (1st: Next generation information system technology 450 1991 book
35 google International Joint Conference on Theory and Practice of Software Development (3rd: TAPSOFT '89 1989 book
36 google International Joint Conference on Theory and Practice of Software Development (4th: TAPSOFT '91 1991 book
37 google International Meeting of Young Computer Scientists (6th: Aspects and prospects of theoretical computer science 298 1990 book
38 google International Number Theory Conference (1987: Theorie des nombres 1002 1989 book
39 google International Scientific Symposium (1990: Natural language and logic 252 1990 book
40 google International Symposium DISCO '90 (1990: Design and implementation of symbolic computation systems 283 1990 book
41 google International Symposium SIGAL '90 (1990: Algorithms 478 1990 book
42 google International Symposium on Algorithms (2nd: ISA '91 algorithms 395 1991 book
43 google International Symposium on Methodologies for Intelligent Systems (6th: Methodologies for intelligent systems. 644 1991 book
44 google International Symposium on Methodologies for Intelligent Systems (6th: Methodologies for intelligent systems. * 644 1991 book
45 google International Symposium on Programming (6th: International Symposium on Programming * 262 1984 book
46 google International Symposium on Programming, 4th, Paris, 1980.: International Symposium on Programming 341 1980 book
47 google International Symposium on Symbolic and Algebraic Computation by Computers (2nd: The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers. 246 1985 book
48 google International Symposium, PLILP '91 (3rd: Programming language implementation and logic programming * * 433 1991 book
49 google International Working Conference SSDBM (4th: Statistical and scientific database management 454 1989 book
50 google International Workshop CC '90 (3rd: Compiler compilers 227 1991 book
51 google International Workshop FAIR '91 (1991: Fundamentals of artificial intelligence research 255 1991 book
52 google International Workshop PDK '91 (1991: Processing declarative knowledge 427 1991 book
53 google International Workshop PDK '91 (1991: Processing declarative knowledge * 427 1991 book
54 google International Workshop PLILP '90 (1990: Programming language implementation and logic programming 401 1990 book
55 google International Workshop PLILP '90 (1990: Programming language implementation and logic programming * 401 1990 book
56 google International Workshop WG (17th: Graph-theoretic concepts in computer science 252 1992 book
57 google International Workshop WG (17th: Graph-theoretic concepts in computer science * * * 252 1992 book
58 google International Workshop on Computational Geometry (7th: Computational geometry * 320 1991 book
59 google International Workshop on Computer Aided Systems Theory (2nd: Computer aided systems theory, EUROCAST '91 761 1992 book
60 google Irving, Ronald S., 1952-: A filtered category OS and applications. 117 1990 book
61 google Isakov, Victor, 1947-: Inverse source problems. 193 1990 book
62 google Isham, C. J.: Lectures on groups and vector spaces for physicists. 219 1989 book
63 google Isham, C. J.: Lectures on groups and vector spaces for physicists. * 219 1989 book
64 google Isidori, Alberto.: Nonlinear control systems 297 1985 book
65 google Istratescu, Vasile I.: Introduction to linear operator theory. 579 1981 book
66 google Ito, Kiyoshi, 1915-: Introduction to probability theory. 213 1984 book
67 google Ito, Kiyoshi, 1915-: Kiyosi Ito 647 1987 book
68 google Ivanov, A. V.: Quasilinear degenerate and nonuniformly elliptic and parabolic equations of second order. 287 1984 book
69 google Iversen, Gudmund R.: Bayesian statistical inference. 80 1984 book
70 google Iwasawa, Kenkichi, 1917-: Lectures on p-adic L-functions. 106 1972 book

© 2003 -- 2006 Ulf Rehmann Fakultät für Mathematik, Universität Bielefeld, Germany

Nr.	Repository:	Author, Title (Books only):	Pages:	Year(s):	Type:
1	google	IBM Computer Science Symposium (14th: Operating systems engineering	465	1982	book
2	google	ICALP 90 (1990: Automata, languages, and programming	780	1990	book
3	google	IMA Participating Institutions Conference (1986: Singularities	359	1989	book
4	google	IWWERT '90 (1990: Word equations and related topics	256	1992	book
5	google	Il'iashenko, IU. S.: Finiteness theorems for limit cycles.	288	1991	book
6	google	International CTRS Workshop (2nd: Conditional and typed rewriting systems	461	1991	book
7	google	International Conference "Modern Mathematical Problems of Mechanics and Their Applications" (1987: Current mathematical problems of mechanics and their applications.	267	1991	book
8	google	International Conference CAiSE '91 (3rd: Advanced information systems engineering	578	1991	book
9	google	International Conference CAiSE '91 (3rd: Advanced information systems engineering * *	578	1991	book
10	google	International Conference KBCS '89 (2nd: Knowledge based computer systems	546	1990	book
11	google	International Conference on Algebraic Topology (1988: Algebraic topology	350	1989	book
12	google	International Conference on Analytic Methods in Number Theory and Analysis (1981: International Conference on Analytic Methods in Number Theory and Analysis, Moscow, 14-19 September 1981.	319	1986	book
13	google	International Conference on Automated Deduction (10th: 10th International Conference on Automated Deduction	688	1990	book
14	google	International Conference on Automated Deduction (9th: 9th International Conference on Automated Deduction	775	1988	book
15	google	International Conference on Computer Logic (1988: COLOG-88	338	1990	book
16	google	International Conference on Computing and Information (1990: Advances in computing and information--ICCI '90	529	1990	book
17	google	International Conference on Database Theory (3rd: ICDT '90	528	1990	book
18	google	International Conference on Database Theory (3rd: ICDT '90 *	528	1990	book
19	google	International Conference on Extending Database Technology (1990: Advances in database technology--EDBT '90	451	1990	book
20	google	International Conference on Extending Database Technology (3rd: Advances in database technology	551	1992	book
21	google	International Conference on Extending Database Technology (3rd: Advances in database technology *	551	1992	book
22	google	International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (1986: Uncertainty in knowledge-based systems	405	1987	book
23	google	International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (3rd: Uncertainty in knowledge-bases	609	1991	book
24	google	International Conference on Information Processing in Medical Imaging (12th: Information processing in medical imaging	512	1991	book
25	google	International Conference on Logic Programming (8th: Parallel execution of logic programs	195	1991	book
26	google	International Conference on Mathematical Problems of Quantum Field Theory and Quantum Statistics (1972: International Conference on Mathematical Problems of Quantum Field Theory and Quantum Statistics.		1978	book
27	google	International Conference on Number Theory (1971: Proceedings of the International Conference on Number Theory (Moscow, September 14-18, 1971).	298	1975	book
28	google	International Conference on Rewriting Techniques and Applications (4th: Rewriting techniques and applications	458	1991	book
29	google	International Conference on Rewriting Techniques and Applications (4th: Rewriting techniques and applications *	458	1991	book
30	google	International Conference, FCT '91 (8th: Fundamentals of computation theory	426	1991	book
31	google	International Congress of Mathematicians (1974: 20 lectures delivered at the International Congress of Mathematicians in Vancouver, 1974.	129	1977	book
32	google	International Congress of Mathematicians (1978: Eight lectures delivered at the International Congress of Mathematicians in Helsinki.	52	1981	book
33	google	International Congress of Mathematicians (1986: Nine papers from the International Congress of Mathematicians 1986.	100	1990	book
34	google	International East/West Data Base Workshop (1st: Next generation information system technology	450	1991	book
35	google	International Joint Conference on Theory and Practice of Software Development (3rd: TAPSOFT '89		1989	book
36	google	International Joint Conference on Theory and Practice of Software Development (4th: TAPSOFT '91		1991	book
37	google	International Meeting of Young Computer Scientists (6th: Aspects and prospects of theoretical computer science	298	1990	book
38	google	International Number Theory Conference (1987: Theorie des nombres	1002	1989	book
39	google	International Scientific Symposium (1990: Natural language and logic	252	1990	book
40	google	International Symposium DISCO '90 (1990: Design and implementation of symbolic computation systems	283	1990	book
41	google	International Symposium SIGAL '90 (1990: Algorithms	478	1990	book
42	google	International Symposium on Algorithms (2nd: ISA '91 algorithms	395	1991	book
43	google	International Symposium on Methodologies for Intelligent Systems (6th: Methodologies for intelligent systems.	644	1991	book
44	google	International Symposium on Methodologies for Intelligent Systems (6th: Methodologies for intelligent systems. *	644	1991	book
45	google	International Symposium on Programming (6th: International Symposium on Programming *	262	1984	book
46	google	International Symposium on Programming, 4th, Paris, 1980.: International Symposium on Programming	341	1980	book
47	google	International Symposium on Symbolic and Algebraic Computation by Computers (2nd: The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers.	246	1985	book
48	google	International Symposium, PLILP '91 (3rd: Programming language implementation and logic programming * *	433	1991	book
49	google	International Working Conference SSDBM (4th: Statistical and scientific database management	454	1989	book
50	google	International Workshop CC '90 (3rd: Compiler compilers	227	1991	book
51	google	International Workshop FAIR '91 (1991: Fundamentals of artificial intelligence research	255	1991	book
52	google	International Workshop PDK '91 (1991: Processing declarative knowledge	427	1991	book
53	google	International Workshop PDK '91 (1991: Processing declarative knowledge *	427	1991	book
54	google	International Workshop PLILP '90 (1990: Programming language implementation and logic programming	401	1990	book
55	google	International Workshop PLILP '90 (1990: Programming language implementation and logic programming *	401	1990	book
56	google	International Workshop WG (17th: Graph-theoretic concepts in computer science	252	1992	book
57	google	International Workshop WG (17th: Graph-theoretic concepts in computer science * * *	252	1992	book
58	google	International Workshop on Computational Geometry (7th: Computational geometry *	320	1991	book
59	google	International Workshop on Computer Aided Systems Theory (2nd: Computer aided systems theory, EUROCAST '91	761	1992	book
60	google	Irving, Ronald S., 1952-: A filtered category OS and applications.	117	1990	book
61	google	Isakov, Victor, 1947-: Inverse source problems.	193	1990	book
62	google	Isham, C. J.: Lectures on groups and vector spaces for physicists.	219	1989	book
63	google	Isham, C. J.: Lectures on groups and vector spaces for physicists. *	219	1989	book
64	google	Isidori, Alberto.: Nonlinear control systems	297	1985	book
65	google	Istratescu, Vasile I.: Introduction to linear operator theory.	579	1981	book
66	google	Ito, Kiyoshi, 1915-: Introduction to probability theory.	213	1984	book
67	google	Ito, Kiyoshi, 1915-: Kiyosi Ito	647	1987	book
68	google	Ivanov, A. V.: Quasilinear degenerate and nonuniformly elliptic and parabolic equations of second order.	287	1984	book
69	google	Iversen, Gudmund R.: Bayesian statistical inference.	80	1984	book
70	google	Iwasawa, Kenkichi, 1917-: Lectures on p-adic L-functions.	106	1972	book