feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    gbv_1649194668
    Format: Online-Ressource
    ISBN: 9783540380153
    Series Statement: Lecture Notes in Computer Science 6
    Content: How to use Eispack -- Validation of Eispack -- Execution times for Eispack -- Certification and availability of Eispack -- Differences between the Eispack subroutines and the handbook algol procedures -- Documentation and source listings.
    Note: Literaturverz. S. [VIII]
    Additional Edition: ISBN 9783540075462
    Additional Edition: Buchausg. u.d.T. ISBN 978-3-540-07546-2
    Additional Edition: Druckausg. Matrix eigensystem routines - EISPACK guide Berlin : Springer, 1976 ISBN 3540075461
    Additional Edition: ISBN 0387075461
    Language: English
    Subjects: Computer Science , Economics
    RVK:
    RVK:
    Keywords: EISPACK
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1649275161
    Format: Online-Ressource
    ISBN: 9783540459613
    Series Statement: Lecture Notes in Computer Science 330
    Content: Key Distribution -- Key Agreements Based on Function Composition -- Security of Improved Identity-based Conference Key Distribution Systems -- Authentication -- Subliminal-free Authentication and Signature -- Zero-Knowledge Proofs of Identity and Veracity of Transaction Receipts -- Authentication Codes with Multiple Arbiters -- Some Constructions for Authentication - Secrecy Codes -- Efficient Zero-Knowledge Identification Scheme for Smart Cards -- Signatures -- A Smart Card Implementation of the Fiat-Shamir Identification Scheme -- Manipulations and Errors, Detection and Localization -- Privacy Protected Payments — Realization of a Protocol That Guarantees Payer Anonymity -- A Practical Zero-Knowledge Protocol Fitted to Security Microprocessor Minimizing Both Transmission and Memory -- A Generalized Birthday Attack -- Protocols -- An Interactive Data Exchange Protocol Based on Discrete Exponentiation -- Anonymous and Verifiable Registration in Databases -- Elections with Unconditionally-Secret Ballots and Disruption Equivalent to Breaking RSA -- Passports and Visas Versus IDs -- Complexity and Number Theory -- The Probabilistic Theory of Linear Complexity -- A Probabilistic Primality Test Based on the Properties of Certain Generalized Lucas Numbers -- On the Construction of Random Number Generators and Random Function Generators -- Numerical Methods -- Factorization of Large Integers on a Massively Parallel Computer -- A Fast Modular Arithmetic Algorithm Using a Residue Table -- Fast Exponentiation in GF(2n) -- Fast RSA-Hardware: Dream or Reality? -- Cryptanalysis -- Properties of the Euler Totient Function Modulo 24 and Some of Its Cryptographic Implications -- An Observation on the Security of McEliece’s Public-Key Cryptosystem -- How to Break Okamoto’s Cryptosystem by Reducing Lattice Bases -- Cryptanalysis of F.E.A.L. -- Fast Correlation Attacks on Stream Ciphers -- Running-Key Ciphers -- A New Class of Nonlinear Functions for Running-key Generators -- Windmill Generators A generalization and an observation of how many there are -- Lock-in Effect in Cascades of Clock-Controlled Shift-Registers -- Proof of Massey’s Conjectured Algorithm -- Linear Recurring m-Arrays -- Cipher Theory and Threshold -- Substantial Number of Cryptographic Keys and Its Application to Encryption Designs -- A Measure of Semiequivocation -- Some New Classes of Geometric Threshold Schemes -- New Ciphers -- A Universal Algorithm for Homophonic Coding -- A New Probabilistic Encryption Scheme -- Public Quadratic Polynomial-Tuples for Efficient Signature-Verification and Message-Encryption -- Some Applications of Multiple Key Ciphers.
    Content: The International .4ssociation for Cryptologic Research (1.4CR) organizes tmo - ternational conferences every year, one in Europe and one in the 1-nited States. EUROCRYI’T’88. held in the beautiful environment of the S\~isb mountains in Davos, was the sixth European conference. The number of contributions and of participants at the meeting has increased substantiall!.. which is an indication of the high interest in cryptography and system security in general. The interest has not only increased but has also further moved towards - thentication. signatures and other protocols. This is easy to understand in view of the urgent needs for such protocols, in particular in connection with open - formation systems, and in view of the exciting problems in this area. The equally fascinating classical field of secrecy, 2.e. the theory, design and analysis of stream or block ciphers and of public key cryptosystems. was however also well represented and several significant results mere communicated. The present proceedings contain all contributions which were accepted for presentation. The chapters correspond to the sessions at the conference.
    Note: Literaturangaben
    Additional Edition: ISBN 9783540502517
    Additional Edition: Buchausg. u.d.T. Davos, Switzerland, May 25 - 27, 1988 1988 ISBN 3540502513
    Additional Edition: ISBN 0387502513
    Additional Edition: Druckausg. Advances in cryptology - EUROCRYPT '88 Berlin [u.a.] : Springer, 1988 ISBN 3540502513
    Additional Edition: ISBN 0387502513
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_1650981856
    Format: Online-Ressource
    ISBN: 9783540386209
    Series Statement: Lecture Notes in Computer Science 106
    Content: Lexical elements -- Declarations and types -- Names and expressions -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasks -- Program structure and compilation issues -- Exceptions -- Generic program units -- Representation specifications and implementation dependent features -- Input-output.
    Note: Literaturangaben
    Additional Edition: ISBN 9783540106937
    Additional Edition: Buchausg. u.d.T. The programming language Ada Berlin : Springer, 1981 ISBN 3540106936
    Additional Edition: ISBN 0387106936
    Language: English
    Subjects: Computer Science , Economics
    RVK:
    RVK:
    Keywords: Ada ; Ada ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_1650981848
    Format: Online-Ressource
    ISBN: 9783540468417
    Series Statement: Lecture Notes in Computer Science 155
    Content: Lexical elements -- Declarations and types -- Names and expressions -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasks -- Program structure and compilation issues -- Exceptions -- Generic units -- Representation clauses and implementation-dependent features -- Input-output.
    Additional Edition: ISBN 9783540123286
    Additional Edition: Buchausg. u.d.T. The programming language ADA Berlin : Springer, 1983 ISBN 3540123288
    Additional Edition: ISBN 0387123288
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Ada ; Ada ; Norm
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almafu_9959186231802883
    Format: 1 online resource (XVI, 148 p.)
    Edition: 1st ed. 1987.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-48043-9
    Series Statement: Lecture Notes in Computer Science, 288
    Content: The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.
    Note: Bibliographic Level Mode of Issuance: Monograph , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-18657-3
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9947920859702882
    Format: XII, 244 p. , online resource.
    ISBN: 9783540386209
    Series Statement: Lecture Notes in Computer Science, 106
    Note: Lexical elements -- Declarations and types -- Names and expressions -- Statements -- Subprograms -- Packages -- Visibility rules -- Tasks -- Program structure and compilation issues -- Exceptions -- Generic program units -- Representation specifications and implementation dependent features -- Input-output.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540106937
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almahu_9947920866102882
    Format: XIV, 510 p. , online resource.
    ISBN: 9783540387152
    Series Statement: Lecture Notes in Computer Science, 111
    Note: Programming and structure changes in parallel computers -- Tree machines and divide-and-conquer algorithms -- Queue machines: An organization for parallel computation -- Operating systems support for the finite element machine -- Automatic program restructuring for high-speed computation -- Language support for designing multilevel computer systems -- Parallel structures for vector processing -- Language design approaches for parallel processors -- Reconciling data flow machines and conventional languages -- On language constructs for concurrent programs -- Generation of dataflow graphical object code for the lapse programming language -- Cellular algorithms and their verification -- The development of fast cellular pattern transformation algorithms using virtual boundaries -- Cellular algorithms for binary matrix operations -- Analysis of concurrent algorithms -- Sauge: How to use the parallelism of sequential programs -- A transformational approach for developing parallel programs -- A methodology for programming with concurrency -- On synchronization and its specification -- "Non-numerical aspects of computations on parallel hardware" -- Compiling in parallel -- Finding the maximum, merging and sorting in a parallel computation model -- Parallel computations in information retrieval -- Recurrence semigroups and their relation to data storage in fast recurrence solvers on parallel machines -- Parallel algorithms for the convex hull problem in two dimensions -- On basic concepts in parallel numerical mathematics -- Iterative methods for the solution of elliptic difference equations on multiprocessors -- Hierarchical discrete systems and realisation of parallel algorithms -- Solving two modified discrete poisson equations in 7logn steps on N2 processors -- A parallel algorithm for solving band systems and matrix inversion -- Parallel evaluation of correlation time-of-flight experiments -- Parallelization of a minimization problem for multi-processor systems -- Design and development of concurrent programs -- Binary trees and parallel scheduling algorithms -- New variants of the quadrant interlocking factorisation (Q.I.F.) method.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540108276
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    almahu_9947920871002882
    Format: XII, 387 p. , online resource.
    ISBN: 9783540380047
    Series Statement: Lecture Notes in Computer Science, 6
    Note: Section 1 Introduction -- Section 2 How to Use Eispack -- Section 3 Validation of Eispack -- Section 4 Execution Times for Eispack -- Section 5 Certification and Availability of Eispack -- Section 6 Differences Between the Eispack Subroutines and the Handbook Algol Procedures -- Section 7 Documentation and Source Listings.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540067108
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    almahu_9947920875902882
    Format: XIV, 554 p. , online resource.
    ISBN: 9783540380153
    Series Statement: Lecture Notes in Computer Science, 6
    Note: How to use Eispack -- Validation of Eispack -- Execution times for Eispack -- Certification and availability of Eispack -- Differences between the Eispack subroutines and the handbook algol procedures -- Documentation and source listings.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540075462
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    almahu_9947920998002882
    Format: VI, 383 p. , online resource.
    ISBN: 9783540459613
    Series Statement: Lecture Notes in Computer Science, 330
    Content: The International .4ssociation for Cryptologic Research (1.4CR) organizes tmo - ternational conferences every year, one in Europe and one in the 1-nited States. EUROCRYI’T’88. held in the beautiful environment of the S\~isb mountains in Davos, was the sixth European conference. The number of contributions and of participants at the meeting has increased substantiall!.. which is an indication of the high interest in cryptography and system security in general. The interest has not only increased but has also further moved towards - thentication. signatures and other protocols. This is easy to understand in view of the urgent needs for such protocols, in particular in connection with open - formation systems, and in view of the exciting problems in this area. The equally fascinating classical field of secrecy, 2.e. the theory, design and analysis of stream or block ciphers and of public key cryptosystems. was however also well represented and several significant results mere communicated. The present proceedings contain all contributions which were accepted for presentation. The chapters correspond to the sessions at the conference.
    Note: Key Distribution -- Key Agreements Based on Function Composition -- Security of Improved Identity-based Conference Key Distribution Systems -- Authentication -- Subliminal-free Authentication and Signature -- Zero-Knowledge Proofs of Identity and Veracity of Transaction Receipts -- Authentication Codes with Multiple Arbiters -- Some Constructions for Authentication - Secrecy Codes -- Efficient Zero-Knowledge Identification Scheme for Smart Cards -- Signatures -- A Smart Card Implementation of the Fiat-Shamir Identification Scheme -- Manipulations and Errors, Detection and Localization -- Privacy Protected Payments — Realization of a Protocol That Guarantees Payer Anonymity -- A Practical Zero-Knowledge Protocol Fitted to Security Microprocessor Minimizing Both Transmission and Memory -- A Generalized Birthday Attack -- Protocols -- An Interactive Data Exchange Protocol Based on Discrete Exponentiation -- Anonymous and Verifiable Registration in Databases -- Elections with Unconditionally-Secret Ballots and Disruption Equivalent to Breaking RSA -- Passports and Visas Versus IDs -- Complexity and Number Theory -- The Probabilistic Theory of Linear Complexity -- A Probabilistic Primality Test Based on the Properties of Certain Generalized Lucas Numbers -- On the Construction of Random Number Generators and Random Function Generators -- Numerical Methods -- Factorization of Large Integers on a Massively Parallel Computer -- A Fast Modular Arithmetic Algorithm Using a Residue Table -- Fast Exponentiation in GF(2n) -- Fast RSA-Hardware: Dream or Reality? -- Cryptanalysis -- Properties of the Euler Totient Function Modulo 24 and Some of Its Cryptographic Implications -- An Observation on the Security of McEliece’s Public-Key Cryptosystem -- How to Break Okamoto’s Cryptosystem by Reducing Lattice Bases -- Cryptanalysis of F.E.A.L. -- Fast Correlation Attacks on Stream Ciphers -- Running-Key Ciphers -- A New Class of Nonlinear Functions for Running-key Generators -- Windmill Generators A generalization and an observation of how many there are -- Lock-in Effect in Cascades of Clock-Controlled Shift-Registers -- Proof of Massey’s Conjectured Algorithm -- Linear Recurring m-Arrays -- Cipher Theory and Threshold -- Substantial Number of Cryptographic Keys and Its Application to Encryption Designs -- A Measure of Semiequivocation -- Some New Classes of Geometric Threshold Schemes -- New Ciphers -- A Universal Algorithm for Homophonic Coding -- A New Probabilistic Encryption Scheme -- Public Quadratic Polynomial-Tuples for Efficient Signature-Verification and Message-Encryption -- Some Applications of Multiple Key Ciphers.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540502517
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages