1 |
1. Fachtagung über Automatentheorie und Formale Sprachen
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0039132
|
2 |
10th International Conference on Automated Deduction
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-52885-7
|
3 |
14th Information Retrieval Colloquium
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3211-0
|
4 |
16-Bit-Microprocessor Systems
|
Monograph
|
-Empty-
|
Flik
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-93285-4
|
5 |
3-Dimensional Process Simulation
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-7091-6905-6
|
6 |
3D CAD
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-45729-6
|
7 |
3D Face Processing
|
Monograph
|
-Empty-
|
Wen
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/b116723
|
8 |
3D Imaging in Medicine
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-84211-5
|
9 |
3D Structure from Images - SMILE 2000
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45296-6
|
10 |
3D Structure from Multiple Images of Large-Scale Environments
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-49437-5
|
11 |
4th Neural Computation and Psychology Workshop, London, 9–11 April 1997
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-1546-5
|
12 |
4th Refinement Workshop
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3756-6
|
13 |
5. Österreichische Artificial-Intelligence-Tagung
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-74688-8
|
14 |
5th Conference on Automated Deduction
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-10009-1
|
15 |
5th Refinement Workshop
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3550-0
|
16 |
6th Conference on Automated Deduction
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0000048
|
17 |
6th Refinement Workshop
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3240-0
|
18 |
7th International Conference on Automated Deduction
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-0-387-34768-4
|
19 |
7th UK Computer and Telecommunications Performance Engineering Workshop
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3538-8
|
20 |
8th International Conference on Automated Deduction
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-16780-3
|
21 |
9th International Conference on Automated Deduction
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0012819
|
22 |
A Basis for Theoretical Computer Science
|
Monograph
|
-Empty-
|
Arbib
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4613-9455-6
|
23 |
A Calculus of Communicating Systems
|
Monograph
|
-Empty-
|
Milner
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-10235-3
|
24 |
A Collection of Test Problems for Constrained Global Optimization Algorithms
|
Monograph
|
-Empty-
|
Floudas
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-53032-0
|
25 |
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
|
Monograph
|
-Empty-
|
Fleuriot
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-85729-329-9
|
26 |
A Comparative Study of Very Large Data Bases
|
Monograph
|
-Empty-
|
Hill
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-08653-6
|
27 |
A Computer Science Reader
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8726-6
|
28 |
A Concurrent Pascal Compiler for Minicomputers
|
Monograph
|
-Empty-
|
Hartmann
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-08240-9
|
29 |
A Connotational Theory of Program Structure
|
Monograph
|
-Empty-
|
Royer
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-18253-5
|
30 |
A Crash Course in Mathematica
|
Monograph
|
-Empty-
|
Kaufmann
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-0348-7589-9
|
31 |
A Decade of Concurrency: Reflections and Perspectives
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-58043-3
|
32 |
A Discipline of Multiprogramming
|
Monograph
|
-Empty-
|
Misra
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8528-6
|
33 |
A Flexible Efficient Computer System to Answer Human Questions
|
Monograph
|
-Empty-
|
COMFORT
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-0348-5994-3
|
34 |
A Formal Model of Visualization in Computer Graphics Systems
|
Monograph
|
-Empty-
|
Onodera
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0019954
|
35 |
A Framework for Visualizing Information
|
Monograph
|
-Empty-
|
Chi
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-94-017-0573-8
|
36 |
A Future for Knowledge Acquisition
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-58487-0
|
37 |
A Generative Theory of Shape
|
Monograph
|
-Empty-
|
Leyton
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45488-8
|
38 |
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4757-3353-2
|
39 |
A Guide to Data Compression Methods
|
Monograph
|
-Empty-
|
Salomon
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-387-21708-6
|
40 |
A Guide to Modula-2
|
Monograph
|
-Empty-
|
Christian
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4612-4892-7
|
41 |
A Guided Tour of Relational Databases and Beyond
|
Monograph
|
-Empty-
|
Levene
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-85729-349-7
|
42 |
A Hierarchical Associative Processing System
|
Monograph
|
-Empty-
|
Stüttgen
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-15652-6
|
43 |
A Logical Approach to Discrete Math
|
Monograph
|
-Empty-
|
Gries
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4757-3837-7
|
44 |
A Logical Theory of Nonmonotonic Inference and Belief Change
|
Monograph
|
-Empty-
|
Bochman
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-662-04560-2
|
45 |
A Manager’s Primer on e-Networking
|
Monograph
|
-Empty-
|
Nikolik
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-94-007-0862-4
|
46 |
A Methodology for Uncertainty in Knowledge-Based Systems
|
Monograph
|
-Empty-
|
Weichselberger
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0037513
|
47 |
A Natural Language and Graphics Interface
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-46774-5
|
48 |
A Network Orange
|
Monograph
|
-Empty-
|
Crandall
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4612-2172-2
|
49 |
A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures
|
Monograph
|
-Empty-
|
Dunn
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8650-4
|
50 |
A Pathology of Computer Viruses
|
Monograph
|
-Empty-
|
Ferbrache
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-1774-2
|
51 |
A Perspective of Constraint-Based Reasoning
|
Monograph
|
-Empty-
|
Guesgen
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-55510-2
|
52 |
A Practical Approach to Software Quality
|
Monograph
|
-Empty-
|
O'Regan
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-387-22454-1
|
53 |
A Practical Introduction to Pascal
|
Monograph
|
-Empty-
|
WILSON/ADDYMAN
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4757-1764-8
|
54 |
A Practical Introduction to Pascal
|
Monograph
|
-Empty-
|
WILSON/ADDYMAN
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4757-1677-1
|
55 |
A Practical Theory of Programming
|
Monograph
|
-Empty-
|
Hehner
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8596-5
|
56 |
A Primer in Petri Net Design
|
Monograph
|
-Empty-
|
Reisig
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-75329-9
|
57 |
A Recursive Introduction to the Theory of Computation
|
Monograph
|
-Empty-
|
Smith
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8501-9
|
58 |
A Relational Theory of Computing
|
Monograph
|
-Empty-
|
Sanderson
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-09987-5
|
59 |
A Resolution Principle for a Logic with Restricted Quantifiers
|
Monograph
|
-Empty-
|
Bürckert
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-55034-8
|
60 |
A Review of Ada Tasking
|
Monograph
|
-Empty-
|
Burns
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-18008-7
|
61 |
A Short Course on Error Correcting Codes
|
Monograph
|
-Empty-
|
Sloane
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-7091-2864-0
|
62 |
A Structural Analysis of Complex Aerial Photographs
|
Monograph
|
-Empty-
|
Nagao
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4615-8294-6
|
63 |
A Structured Programming Approach to Data
|
Monograph
|
-Empty-
|
COLEMAN
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4612-5981-7
|
64 |
A Study in String Processing Languages
|
Monograph
|
-Empty-
|
Klint
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-16041-8
|
65 |
A Survey of Verification Techniques for Parallel Programs
|
Monograph
|
-Empty-
|
Barringer
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-15239-3
|
66 |
A System Administrator’s Guide to Sun Workstations
|
Monograph
|
-Empty-
|
Becker
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8716-7
|
67 |
A System V Guide to UNIX and XENIX
|
Monograph
|
-Empty-
|
Topham
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4612-3246-9
|
68 |
A Systematic Catalogue of Reusable Abstract Data Types
|
Monograph
|
-Empty-
|
Uhl
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0016877
|
69 |
A Systems-Based Approach to Policymaking
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4615-3226-2
|
70 |
A Taxonomy for Texture Description and Identification
|
Monograph
|
-Empty-
|
Rao
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4613-9777-9
|
71 |
A Theory and Practice of Program Development
|
Monograph
|
-Empty-
|
Andrews
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-0987-7
|
72 |
A Theory of Heuristic Information in Game-Tree Search
|
Monograph
|
-Empty-
|
Tzeng
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-61368-5
|
73 |
A Theory of Objects
|
Monograph
|
-Empty-
|
Abadi
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8598-9
|
74 |
A Tight, Practical Integration of Relations and Functions
|
Monograph
|
-Empty-
|
Boley
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0103291
|
75 |
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
|
Monograph
|
-Empty-
|
Kojima
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-54509-3
|
76 |
A Windows NT™ Guide to the Web
|
Monograph
|
-Empty-
|
Raucci
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8572-9
|
77 |
ACL Made Simple
|
Monograph
|
-Empty-
|
Johnson
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/b97311
|
78 |
ACRI ’96
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-0941-9
|
79 |
ADA An Introduction
|
Monograph
|
-Empty-
|
Ledgard
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4684-0126-4
|
80 |
ADA®
|
Monograph
|
-Empty-
|
Ledgard
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4612-5513-0
|
81 |
AI '88
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-52062-7
|
82 |
AI 2001: Advances in Artificial Intelligence
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45656-2
|
83 |
AI 2002: Advances in Artificial Intelligence
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-36187-1
|
84 |
AI 2003: Advances in Artificial Intelligence
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b94701
|
85 |
AI and Cognitive Science ’89
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3164-9
|
86 |
AI and Cognitive Science ’90
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3542-5
|
87 |
AI and Cognitive Science ’91
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3562-3
|
88 |
AI and Cognitive Science ’92
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3207-3
|
89 |
AI*IA 2001: Advances in Artificial Intelligence
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45411-X
|
90 |
AI*IA 2003: Advances in Artificial Intelligence
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b13658
|
91 |
AI*IA 97: Advances in Artificial Intelligence
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-63576-9
|
92 |
AI*IA 99:Advances in Artificial Intelligence
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-46238-4
|
93 |
AISB91
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-1852-7
|
94 |
ALPUK91
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3546-3
|
95 |
ALPUK92
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3421-3
|
96 |
ANNA A Language for Annotating Ada Programs
|
Monograph
|
-Empty-
|
Luckham
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-17980-1
|
97 |
ATM Network Performance
|
Monograph
|
-Empty-
|
Kesidis
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4757-4568-9
|
98 |
ATM Networks
|
Monograph
|
-Empty-
|
Kouvatsos
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-387-35185-8
|
99 |
ATM Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-387-35068-4
|
100 |
Abductive Inference Models for Diagnostic Problem-Solving
|
Monograph
|
-Empty-
|
Peng
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8682-5
|
101 |
Abstract Compositional Analysis of Iterated Relations
|
Monograph
|
-Empty-
|
Geurts
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-49211-9
|
102 |
Abstract Data Types and Algorithms
|
Monograph
|
-Empty-
|
Azmoodeh
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-349-21151-7
|
103 |
Abstract Software Specifications
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-10007-5
|
104 |
Abstract State Machines
|
Monograph
|
-Empty-
|
Börger
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-18216-7
|
105 |
Abstract State Machines - Theory and Applications
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-44518-8
|
106 |
Abstract State Machines 2003: Advances in Theory and Practice
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-36498-6
|
107 |
Abstract State Machines 2004. Advances in Theory and Practice
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b98118
|
108 |
Abstraction, Reformulation, and Approximation
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45622-8
|
109 |
Abstraction, Reformulation, and Approximation
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-44914-0
|
110 |
Accurate Scientific Computations
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-16798-6
|
111 |
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
|
Monograph
|
-Empty-
|
Criminisi
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-85729-327-5
|
112 |
Achievement and Assurance of Safety
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3003-1
|
113 |
Achieving Quality in Software
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-387-34869-8
|
114 |
Active Computer Vision by Cooperative Focus and Stereo
|
Monograph
|
-Empty-
|
Krotkov
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4613-9663-5
|
115 |
Active Contours
|
Monograph
|
-Empty-
|
Blake
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-1555-7
|
116 |
Active Media Technology
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45336-9
|
117 |
Active Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b96396
|
118 |
Active Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-36199-5
|
119 |
Active Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-40057-5
|
120 |
Active Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b72204
|
121 |
Active Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45451-9
|
122 |
Active Networks and Active Network Management
|
Monograph
|
-Empty-
|
Bush
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/b116774
|
123 |
Active Perception and Robot Vision
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-77225-2
|
124 |
Active Rules in Database Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8656-6
|
125 |
Active Technologies for Network and Service Management
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-48100-1
|
126 |
Active Visual Inference of Surface Shape
|
Monograph
|
-Empty-
|
Cipolla
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-60642-4
|
127 |
Active and Real-Time Database Systems (ARTDB-95)
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-3080-2
|
128 |
Active, Real-Time, and Temporal Database Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-49151-1
|
129 |
Ad Hoc Wireless Networking
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4613-0223-0
|
130 |
Ad-Hoc, Mobile, and Wireless Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b14230
|
131 |
Ad-Hoc, Mobile, and Wireless Networks
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b99253
|
132 |
Ada 95
|
Monograph
|
-Empty-
|
Wheeler
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8542-2
|
133 |
Ada 95 Rationale
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0051526
|
134 |
Ada 95 Reference Manual: Language and Standard Libraries
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0034910
|
135 |
Ada 95, Quality and Style
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-63823-7
|
136 |
Ada Software Tools Interfaces
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-13878-1
|
137 |
Ada in Europe
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-58822-1
|
138 |
Ada in Europe
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0015477
|
139 |
Ada-Europe '93
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-56802-6
|
140 |
Ada: Moving Towards 2000
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-55585-4
|
141 |
Ada: The Choice for '92
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0018485
|
142 |
Adaptation and Learning in Multi-Agent Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-60923-7
|
143 |
Adaptive Agents and Multi-Agent Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-44826-8
|
144 |
Adaptive Analog VLSI Neural Systems
|
Monograph
|
-Empty-
|
Jabri
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-94-011-0525-5
|
145 |
Adaptive Computing in Design and Manufacture V
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-85729-345-9
|
146 |
Adaptive Computing in Design and Manufacture VI
|
Monograph
|
-Empty-
|
Parmee
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-85729-338-1
|
147 |
Adaptive Control with Recurrent High-order Neural Networks
|
Monograph
|
-Empty-
|
Rovithakis
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4471-0785-9
|
148 |
Adaptive Hypermedia and Adaptive Web-Based Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b99480
|
149 |
Adaptive Hypermedia and Adaptive Web-Based Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-47952-X
|
150 |
Adaptive Hypermedia and Adaptive Web-Based Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-44595-1
|
151 |
Adaptive Hypertext and Hypermedia
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-94-017-0617-9
|
152 |
Adaptive Information Processing
|
Monograph
|
-Empty-
|
Sampson
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-3-642-85501-6
|
153 |
Adaptive Learning Environments
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-77512-3
|
154 |
Adaptive Modelling, Estimation and Fusion from Data
|
Monograph
|
-Empty-
|
Harris
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-18242-6
|
155 |
Adaptive Multimedia Retrieval
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b98244
|
156 |
Adaptive Processing of Sequences and Data Structures
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0053992
|
157 |
Adaptive Signal Processing
|
Monograph
|
-Empty-
|
Alexander
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4612-4978-8
|
158 |
Adaptive Signal Processing
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-7091-2840-4
|
159 |
Ada® in Practice
|
Monograph
|
-Empty-
|
Ausnit
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8479-1
|
160 |
Advanced Algorithmic Approaches to Medical Image Segmentation
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-85729-333-6
|
161 |
Advanced Algorithms and Architectures for Speech Understanding
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-84341-9
|
162 |
Advanced CAD/CAM Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-387-34834-6
|
163 |
Advanced Communications and Multimedia Security
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-0-387-35612-9
|
164 |
Advanced Computer Graphics
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-4-431-68036-9
|
165 |
Advanced Computer Graphics
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-1-4613-4606-7
|
166 |
Advanced Computing Concepts and Techniques in Control Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-83548-3
|
167 |
Advanced Conceptual Modeling Techniques
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b12013
|
168 |
Advanced Course on FAIRSHAPE
|
Monograph
|
-Empty-
|
Kaklis
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-322-82969-6
|
169 |
Advanced Database Indexing
|
Monograph
|
-Empty-
|
Manolopoulos
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/978-1-4419-8590-3
|
170 |
Advanced Database Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-57507-3
|
171 |
Advanced Database Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-55693-1
|
172 |
Advanced Distributed Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b98139
|
173 |
Advanced Environments, Tools, and Applications for Cluster Computing
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-47840-X
|
174 |
Advanced Functional Programming
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/10704973
|
175 |
Advanced Functional Programming
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-59451-5
|
176 |
Advanced Functional Programming
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-61628-4
|
177 |
Advanced Functional Programming
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b11942
|
178 |
Advanced IT Tools
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-0-387-34979-4
|
179 |
Advanced Information Processing
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-93464-3
|
180 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-56777-1
|
181 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-47961-9
|
182 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0000578
|
183 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45140-4
|
184 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-48738-7
|
185 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-58113-8
|
186 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-61292-0
|
187 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-59498-1
|
188 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-54059-8
|
189 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45341-5
|
190 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-63107-0
|
191 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45017-3
|
192 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b98058
|
193 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0035121
|
194 |
Advanced Information Systems Engineering
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/BFb0054215
|
195 |
Advanced Information Technologies for Industrial Material Flow Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-74575-1
|
196 |
Advanced Internet Services and Applications
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-45639-2
|
197 |
Advanced Lectures on Machine Learning
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-36434-X
|
198 |
Advanced Lectures on Machine Learning
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/b100712
|
199 |
Advanced Lectures on Networking
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:02
|
Current
|
https://link.springer.com/10.1007/3-540-36162-6
|
200 |
Advanced Modelling for CAD/CAM Systems
|
Monograph
|
-Empty-
|
-Empty-
|
SpringerLink
|
2024-07-09 20:03
|
Current
|
https://link.springer.com/10.1007/978-3-642-76586-5
|