X
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
    Book
    Book
    Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13 - 15, 2003 ; proceedings (2003)
    Berlin u.a. :Springer,
    Details
    UID:
    almahu_BV017536639
    Format: XI, 396 S.
    ISBN: 3-540-20216-1
    Series Statement: Lecture notes in computer science 2841
    Note: Includes bibliographical references and index
    Language: English
    Subjects: Computer Science
    RVK:
    SS 2003
    RVK:
    SS 4800
    Keywords: Theoretische Informatik ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Cover
    URL: Einführung/Vorwort
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    FU Berlin get availability status
    UB Potsdam get availability status
  • 2
    Online Resource
    Online Resource
    Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920717202882
    Format: XII, 400 p. , online resource.
    ISBN: 9783540452089
    Series Statement: Lecture Notes in Computer Science, 2841
    Note: Invited Talks -- Extreme Nash Equilibria -- Certification of Memory Usage -- On Programming Models for Mobility -- Program Design, Models and Analysis -- On the Computational Complexity of Cut-Elimination in Linear Logic -- A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics -- Finite Horizon Analysis of Stochastic Systems with the Mur? Verifier -- Towards Compact and Tractable Automaton-Based Representations of Time Granularities -- Lower Bounds on the Size of Quantum Automata Accepting Unary Languages -- Refined Effects for Unanticipated Object Re-classification: -- Algorithms and Complexity -- Cost Constrained Fixed Job Scheduling -- A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set -- An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality -- Channel Assignment in Honeycomb Networks -- Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks -- The Complexity of Checking Consistency of Pedigree Information and Related Problems -- On Clausal Equivalence and Hull Inclusion -- Semantics and Formal Languages -- Logical Semantics for the First Order ?-Calculus -- On the Expressive Power of Light Affine Logic -- Reasoning about Self and Others: Communicating Agents in a Modal Action Logic -- Decidability Properties of Recursive Types -- Algebraic Theories for Contextual Pre-nets -- A Coalgebraic Description of Web Interactions -- A Calculus for Dynamic Linking -- Towards a Smart Compilation Manager for Java -- Security and Cryptography -- Anonymous Group Communication in Mobile Networks -- Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences -- An Information-Theoretic Approach to the Access Control Problem -- Security-Aware Program Transformations -- Information Flow Security and Recursive Systems -- Compositional Verification of Secure Streamed Data: A Case Study with EMSS.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540202165
    Language: English
    DOI: 10.1007/b13810
    URL: http://dx.doi.org/10.1007/b13810
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings (2003)
    Berlin : Springer
    Details
    UID:
    gbv_749175842
    Format: Online-Ressource (XI, 397 p. Also available online) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783540452089 , 3540202161 , 9783540202165
    Series Statement: Lecture Notes in Computer Science 2841
    Content: This book constitutes the refereed proceedings of the 8th Italian Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 2003. The 27 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on program design-models and analysis, algorithms and complexity, semantics and formal languages, and security and cryptography
    Additional Edition: ISBN 9783540202165
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662208502
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540202165
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Konferenzschrift
    DOI: 10.1007/b13810
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 4
    Online Resource
    Online Resource
    Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621558002882
    Format: XII, 400 p. , online resource.
    Edition: 1st ed. 2003.
    ISBN: 9783540452089
    Series Statement: Lecture Notes in Computer Science, 2841
    Note: Invited Talks -- Extreme Nash Equilibria -- Certification of Memory Usage -- On Programming Models for Mobility -- Program Design, Models and Analysis -- On the Computational Complexity of Cut-Elimination in Linear Logic -- A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics -- Finite Horizon Analysis of Stochastic Systems with the Mur? Verifier -- Towards Compact and Tractable Automaton-Based Representations of Time Granularities -- Lower Bounds on the Size of Quantum Automata Accepting Unary Languages -- Refined Effects for Unanticipated Object Re-classification: -- Algorithms and Complexity -- Cost Constrained Fixed Job Scheduling -- A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set -- An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality -- Channel Assignment in Honeycomb Networks -- Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks -- The Complexity of Checking Consistency of Pedigree Information and Related Problems -- On Clausal Equivalence and Hull Inclusion -- Semantics and Formal Languages -- Logical Semantics for the First Order ?-Calculus -- On the Expressive Power of Light Affine Logic -- Reasoning about Self and Others: Communicating Agents in a Modal Action Logic -- Decidability Properties of Recursive Types -- Algebraic Theories for Contextual Pre-nets -- A Coalgebraic Description of Web Interactions -- A Calculus for Dynamic Linking -- Towards a Smart Compilation Manager for Java -- Security and Cryptography -- Anonymous Group Communication in Mobile Networks -- Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences -- An Information-Theoretic Approach to the Access Control Problem -- Security-Aware Program Transformations -- Information Flow Security and Recursive Systems -- Compositional Verification of Secure Streamed Data: A Case Study with EMSS.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662208502
    Additional Edition: Printed edition: ISBN 9783540202165
    Language: English
    DOI: 10.1007/b13810
    URL: https://doi.org/10.1007/b13810
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Book
    Book
    Theoretical computer science : 8th Italian conference ; proceedings (2003)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB13564845
    Format: XI, 396 Seiten , graph. Darst. , 24 cm
    Edition: 1
    ISBN: 3540202161
    Series Statement: Lecture notes in computer science 2841
    Note: Literaturangaben
    Language: English
    Keywords: Theoretische Informatik ; Kongress ; Bertinoro 〈2003〉 ; Kongress ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
  • 6
    Book
    Book
    Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13 - 15, 2003 ; proceedings (2003)
    Berlin u.a. : Springer
    Details
    UID:
    b3kat_BV017536639
    Format: XI, 396 S.
    ISBN: 3540202161
    Series Statement: Lecture notes in computer science 2841
    Note: Includes bibliographical references and index
    Language: English
    Subjects: Computer Science
    RVK:
    SS 2003
    RVK:
    SS 4800
    Keywords: Theoretische Informatik ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    EUV Frankfurt get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540202615?
Did you mean 9783540062165?
Did you mean 9783540002161?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages