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
    
All Content Items Printable view
  • REMOVE Subject Collection > Computer Science
Condensed View Expanded View 
Save this listEmail this listDownload this list
360,851 ItemsFirst | 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
Full TextPDF (304.5 KB)
2. Add to marked items
Book Chapter
c2\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
Full TextPDF (265.4 KB)
3. Add to marked items
Book Chapter
"$*\forall\exists^\ast-Equational Theory of Context Unification is P10\Pi_1^0-Hard
Sergei Vorobyov
Lecture Notes in Computer Science, Mathematical Foundations of Computer Science 1998
Full TextPDF (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
Full TextPDF (273.0 KB)
5. Add to marked items
Book Chapter
\protectm\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
Full TextPDF (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
Full TextPDF (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
Full TextPDF (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
Full TextPDF (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
Full TextPDF (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
Full TextPDF (209.2 KB)
360,851 ItemsFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | Next
more options
Find

Starts With
360,851 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Content Status
SpringerLink Date
Content Type
Subject
Language
Copyright
Author
Editor
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
Remote Address: 38.107.191.109 • Server: MPWEB26
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)