Institutional Login
Welcome!
To use the personalized features of this site, please
log in
or
register
.
If you have forgotten your username or password, we can
help
.
My Menu
Marked Items
Alerts
Order History
Saved Items
All
Favorites
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
All Content Items
REMOVE
Subject Collection > Computer Science
Condensed View
Expanded View
360,851 Items
First
|
1-10
|
11-20
|
21-30
|
31-40
|
41-50
|
Next
1.
Add to marked items
Book Chapter
a
\alpha
Scale Spaces on a Bounded Domain
Remco Duits
,
Michael Felsberg
,
Luc Florack
and
Bram Platel
Lecture Notes in Computer Science
,
Scale Space Methods in Computer Vision
PDF (304.5 KB)
2.
Add to marked items
Book Chapter
c
2
\chi^2
Cryptanalysis of the SEAL Encryption Algorithm
Helena Handschuh
and
Henri Gilbert
Lecture Notes in Computer Science
,
Fast Software Encryption: 4th International Workshop, FSE'97, Haifa, Israel, January 1997. Proceedings
PDF (265.4 KB)
3.
Add to marked items
Book Chapter
"
$
*
\forall\exists^\ast
-Equational Theory of Context Unification is
P
1
0
\Pi_1^0
-Hard
Sergei Vorobyov
Lecture Notes in Computer Science
,
Mathematical Foundations of Computer Science 1998
PDF (253.4 KB)
4.
Add to marked items
Book Chapter
l
\lambda
-Coloring of Graphs
Hans L. Bodlaender
,
Ton Kloks
,
Richard B. Tan
and
Jan van Leeuwen
Lecture Notes in Computer Science
,
STACS 2000
PDF (273.0 KB)
5.
Add to marked items
Book Chapter
\protect
m
\protect\mu
-Charts and Z: Hows, Whys, and Wherefores
Greg Reeve
and
Steve Reeves
Lecture Notes in Computer Science
,
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings
PDF (224.4 KB)
6.
Add to marked items
Book Chapter
&: Automated natural deduction
Dave Barker-Plummer
,
Sidney C. Bailin
and
Andrew S. Merrill
Lecture Notes in Computer Science
,
Automated Deduction—CADE-11
DOI: 10.1007/3-540-55602-8_210
PDF (325.9 KB)
7.
Add to marked items
Book Chapter
*
BMDs can delay the use of theorem proving for verifying arithmetic assembly instructions
Laurent Arditi
Lecture Notes in Computer Science
,
Formal Methods in Computer-Aided Design
DOI: 10.1007/BFb0031798
PDF (949.7 KB)
8.
Add to marked items
Book Chapter
*-M
Thomas Hauk
,
Michael Buro
and
Jonathan Schaeffer
Lecture Notes in Computer Science
,
Computers and Games
DOI: 10.1007/11674399_4
PDF (242.1 KB)
9.
Add to marked items
Journal Article
,,AVE for SAP“ – Eine Vorgehensweise für das Geschäftsprozessmanagement mit SAP
Eric Brabänder
and
Fabian Erbach
Informatik-Spektrum
,
Volume 30, Number 6 / December, 2007
DOI: 10.1007/s00287-007-0193-1
PDF (657.4 KB)
10.
Add to marked items
Journal Article
,,Du gleichst dem Geist, den du evaluieren kannst, nicht mir!“
Gunter Dueck
Informatik-Spektrum
,
Volume 30, Number 1 / February, 2007
DOI: 10.1007/s00287-006-0132-6
PDF (209.2 KB)
360,851 Items
First
|
1-10
|
11-20
|
21-30
|
31-40
|
41-50
|
Next
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within these results
Starts With
360,851 Results
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
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
more
Content Status
Online First™ (2,123)
In Publication (358,728)
SpringerLink Date
Today (49)
In the last week (1,109)
In the last two weeks (1,258)
In the last month (1,982)
In the last six months (19,021)
In the last year (40,389)
Content Type
Books (7,884)
Book Chapters (271,024)
Book Series (3)
Journal Articles (52,959)
Journals (103)
Reference Work Entries (28,878)
Reference Works (8)
Subject
Computer Science (360,849)
Computer Communication Networks (286,119)
Artificial Intelligence (incl. Robotics) (266,536)
Software Engineering (256,576)
Database Management (252,212)
Data Encryption (248,306)
Algorithm Analysis and Problem Complexity (246,472)
Computation by Abstract Devices (244,702)
Engineering (30,613)
Management of Computing and Information Systems (8,950)
Language
English (353,792)
French (105)
German (6,907)
Italian (47)
Copyright
2010 - 2019 (9,736)
2000 - 2009 (273,779)
1990 - 1999 (62,738)
1980 - 1989 (11,275)
1970 - 1979 (3,125)
1960 - 1969 (92)
Author
Hideki Imai
Bart Preneel
Joachim Weickert
Hyunseung Choo
Thomas A. Henzinger
Thomas Reps
Peter Stone
Yvo Desmedt
Zohar Manna
Oscar H. Ibarra
Editor
Wita Wojtkowski
Joaquim Filipe
Martin Ouwerkerk
Thierry Priol
Marco Vanneschi
Wendy Mackay
Kai-Uwe Carstensen
Frequently asked questions
|
General information on journals and books
|
Send us your feedback
|
Impressum
|
Contact
© Springer.
Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
MetaPress Privacy Policy
Remote Address: 38.107.191.109 • Server: MPWEB26
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)