1,339 results
Skip to content
Toggle navigation
VuFind
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
0
items
(Full)
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
Author
Germany
Showing
161
-
180
of
1,339
for search:
'Germany'
, query time: 0.13s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
161
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern,
Germany
, September 10-13, 2007 ; proceedings
Published: Springer, 2007
Description: 1 online resource (viii, 399 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
162
Dynamics in logistics : proceedings of the 6th International Conference LDIC 2018, Bremen,
Germany
Published: Springer, 2018
Description: 1 online resource : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
163
Dynamics in logistics Proceedings of the 7th International Conference LDIC 2020, Bremen,
Germany
Published: Springer, 2020
Description: 1 online resource (575 pages).
Located:
Loading...
Call Number:
Loading...
Electronic
Loading...
Save to List
Saved in:
164
Vertrage zwischen Gliedstaaten im Bundesstaat ; Schranken nichthoheitlicher Verwaltung
Published: De Gruyter, 1961
Description: 1 online resource (295 pages).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
165
Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich,
Germany
, August 17-20, 2009
Published: Springer, 2009
Description: 1 online resource (xi, 515 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
166
Functional analysis : surveys and recent results II : proceedings of the Conference on Functional Analysis, Paderborn,
Germany
, January 31 - February 4, 1979
Published: North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980
Description: 1 online resource (xii, 342 pages).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
167
Aristotle's De motu animalium
First edition.
Published: Oxford University Press, 2020
Description: 1 online resource (576 pages).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
168
Dynamics in logistics : proceedings of the 4th International Conference LDIC 2014, Bremen,
Germany
Published: Springer, 2015
Description: 1 online resource (xv, 727 pages) : color illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
169
Atmospheric chemistry : report of the Dahlem Workshop on Atmospheric Chemistry, Berlin 1982, May 2-7
Published: Springer-Verlag, 1982
Description: viii, 384 pages : illustrations ; 21 cm.
Located:
Loading...
Call Number:
Loading...
Book
Loading...
Place Hold
Save to List
Saved in:
170
Dynamics in logistics : proceedings of the 5th International Conference LDIC, 2016 Bremen,
Germany
Published: Springer, 2016
Description: 1 online resource (xi, 502 pages) : illustrations (some color).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
171
Cantata no. 150. Nach dir, Herr, verlanget mich: cantata no. 88. Siehe, ich will viel Fischer aussenden
by
Bach, Johann Sebastian, 1685-1750.
Published: Musical Heritage Society, 1972
Description: 1 disc. : 33 1/3 rpm. stereophonic ; 12 in.
Located:
Loading...
Call Number:
Loading...
Record
Loading...
Place Hold
Save to List
Saved in:
172
Coastal-change and glaciological map of the Larsen Ice Shelf area, Antarctica, 1940-2005
Published: U.S. Dept. of the Interior, U.S. Geological Survey, 2008
Description: 1 map : HTML, digital, PDF file.
Located:
Loading...
Call Number:
Loading...
Get full text
Electronic
Place Hold
Save to List
Saved in:
173
Coastal-change and glaciological map of the Larsen Ice Shelf area, Antarctica, 1940-2005
Published: U.S. Dept. of the Interior, U.S. Geological Survey ; Information Services, 2008
Description: 1 map : color ; 56 x 97 cm, on sheet 73 x 132 cm, folded to 29 x 19 cm, in envelope 30 x 23 cm + 1 pamphlet (iv, 28 pages : maps ; 28 cm).
Located:
Loading...
Call Number:
Loading...
Map
Loading...
Place Hold
Save to List
Saved in:
174
Coastal-change and glaciological map of the Trinity Peninsula area and South Shetland Islands, Antarctica, 1843-2001
by
Geological Survey (U.S.)
Published: U.S. Dept. of the Interior, U.S. Geological Survey ; For sale by U.S. Geological Survey, Information Services, 2006
Description: 1 map : color ; 58 x 87 cm, on sheet 73 x 116 cm, folded in envelope to 30 x 23 cm + 1 pamphlet (32 pages : maps ; 28 cm).
Located:
Loading...
Call Number:
Loading...
Get full text
Map
Place Hold
Save to List
Saved in:
175
Technology transfer systems in the United States and
Germany
: lessons and perspectives
Published: National Academy Press, 1997
Description: 1 online resource (xvii, 425 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
176
Evolution and development : report of the Dahlem Workshop on Evolution and Development, Berlin 1981, May 10-15
Published: Springer Verlag, 1982
Description: 1 online resource (vii, 356 pages : illustrations.)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
177
Microbial energy conversion : the proceedings of a seminar
Published: Pergamon Press, 1977
Description: 1 online resource (644 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
178
Messe solennelle in ré Glorification de Dieu dans la nature
by
Beethoven, Ludwig van, 1770-1827.
Published: Polydor, 1930
Description: 11 audio discs : analog, 78 rpm ; 12 in.
Located:
Loading...
Call Number:
Loading...
Record
Loading...
Place Hold
Save to List
Saved in:
179
Defense : research and development : amendment between the United States of America and other governments amending the memorandum of understanding of November 12, 2014, signed at C...
Published: United States Department of State, 2015
Description: 1 online resource (23 unnumbered pages).
Located:
Loading...
Call Number:
Loading...
Get full text
eBook
Place Hold
Save to List
Saved in:
180
Ein deutsches Requiem op. 45
by
Brahms, Johannes, 1833-1897.
Published: EMI Classics, 1993
Description: 1 audio disc (77 min.) : digital, monophonic ; 4 3/4 in.
Located:
Loading...
Call Number:
Loading...
CD
Loading...
Place Hold
Save to List
Saved in:
Select Page | with selected:
[1]
« Prev
4
5
6
7
8
9
10
11
12
13
14
Next »
[67]
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
Artificial intelligence
Software engineering
Computer security
Data mining
Computer science
High performance computing
Management information systems
Computer vision
Business Data processing
Machine learning
Data encryption (Computer science)
Computer science Mathematics
Database management
Computer networks Security measures
Human-computer interaction
Pattern recognition systems
Computer networks
Biomedical engineering
Formal methods (Computer science)
Semantic Web
Expert systems (Computer science)
Logic, Symbolic and mathematical
Computer architecture
Computer logic
Electronic data processing Distributed processing
Pattern perception
Programming languages (Electronic computers)
Engineering
Algorithms
Computer algorithms
×
Loading...