 | | | | |
Bild | | | | Bestellen |
|
|
|
Algorithmic Number Theory (1 Angebot) Invited Talks.- Gauss Composition and Generalizations.- Elliptic Curves -- The Crossroads of Theory and Computation.- The Weil and Tate Pairings as Building Blocks for Public Key Cryptosystems.- Us... |
Springer Verlag 9783540438632 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540438656 |
€ 49,99*
pro Stück |
|
|
Algorithm Theory - SWAT 2002 (1 Angebot) Invited Speakers.- An Efficient Quasidictionary.- Combining Pattern Discovery and Probabilistic Modeling in Data Mining.- Scheduling.- Time and Space Efficient Multi-method Dispatching.- Linear Tim... |
Springer Verlag 9783540438663 |
€ 49,99*
pro Stück |
|
|
Fast Software Encryption (1 Angebot) Cryptanalysis of Block Ciphers I.- The Saturation Attack -- A Bait for Twofish.- Linear Cryptanalysis of Reduced Round Serpent.- Cryptanalysis of the Mercy Block Cipher.- Hash Functions and Boolean... |
Springer Verlag 9783540438694 |
€ 49,99*
pro Stück |
|
|
Image and Video Retrieval (1 Angebot) Evaluation of salient point techniques.- Challenges of Image and Video Retrieval.- Image Retrieval I (Oral).- Visualization, Estimation and User-Modeling for Interactive Browsing of Image Libraries... |
Springer Verlag 9783540438991 |
€ 49,99*
pro Stück |
|
|
Advances in Databases (1 Angebot) Invited Paper.- Have It Your Way: Personalization of Network-Hosted Services.- Query Processing.- Adaptive Query Processing: A Survey.- Improving Query Evaluation with Approximate Functional Depend... |
Springer Verlag 9783540439059 |
€ 49,99*
pro Stück |
|
|
RoboCup 2001: Robot Soccer World Cup V (1 Angebot) The Tournament Results of the Different Leagues of RoboCup-2001.- Champion Teams.- Challenge Award Finalists.- Technical Papers Full Papers.- Poster Descriptions.- Team Descriptions Simulation Leag... |
Springer Verlag 9783540439127 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540439134 |
€ 49,99*
pro Stück |
|
|
Logic Based Program Synthesis and Transformation (1 Angebot) Invited Speaker.- Static Analysis for Safe Destructive Updates in a Functional Language.- Program Transformation and Equivalence.- A Transformation Technique for Datalog Programs Based on Non-deter... |
Springer Verlag 9783540439158 |
€ 49,99*
pro Stück |
|
|
Rewriting Techniques and Applications (1 Angebot) Invited Talks.- Combining Shostak Theories.- Multiset Rewriting and Security Protocol Analysis.- Engineering of Logics for the Content-Based Representation of Information.- Regular Papers, Applicat... |
Springer Verlag 9783540439165 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783540439233 |
€ 49,99*
pro Stück |
|
|
FME 2002: Formal Methods - Getting IT Right (1 Angebot) This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are... |
Springer Verlag 9783540439288 |
€ 99,99*
pro Stück |
|
|
|
Springer Verlag 9783540439295 |
€ 49,99*
pro Stück |
|
|
Logic Programming (1 Angebot) This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers pres... |
Springer Verlag 9783540439301 |
€ 49,99*
pro Stück |
|
|
Automated Deduction - CADE-18 (1 Angebot) The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the Unive... |
Springer Verlag 9783540439318 |
€ 49,99*
pro Stück |
|
|
