Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    UID:
    b3kat_BV014835554
    Umfang: X, 287 S. , graph. Darst.
    ISBN: 354000145X
    Serie: Lecture notes in computer science 2540
    Anmerkung: Literaturangaben
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Informatik ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    UID:
    gbv_1649187602
    Umfang: Online-Ressource
    ISBN: 9783540361374
    Serie: Lecture Notes in Computer Science 2540
    Inhalt: INVITED TALKS -- Conformance Testing Techniques for Timed Systems -- Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies -- Equivalence-Checking with Infinite-State Systems: Techniques and Results -- On Functions and Types: A Tutorial -- Database Support for Multisource Multiresolution Scientific Data -- Semantic Annotation and Indexing of News and Sports Videos -- Multimedia Presentations Databases (Extended Abstract) -- Interactive Indexing and Retrieval of Multimedia Content -- A Model-Based Approach to Semantic-Based Retrieval of Visual Information -- Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract) -- PANEL SESSION -- Data Management Challenges for GRID Computing -- CONTRIBUTED PAPERS -- Hungarian Speech Synthesis Using a Phase Exact HNM Approach -- Modelling Resource Transitions in Constraint-Based Scheduling -- A Specification Framework for Real-Time Scheduling -- String Transformation for n-Dimensional Image Compression -- Validation and Decomposition of Partially Occluded Images -- Solving Conflicts of Agent Knowledge States in Multiagent Systems -- Specification and Verification of Secure Business Transaction Systems -- Agent-Oriented Model of Simulated Evolution -- The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections -- The Complexity of Probabilistic versus Quantum Finite Automata -- Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties.
    Inhalt: Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22–29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.
    Weitere Ausg.: ISBN 9783540001454
    Weitere Ausg.: Buchausg. u.d.T. SOFSEM (29 : 2002 : Milovice) SOFSEM 2002: Theory and practice of informatics Berlin : Springer, 2002 ISBN 354000145X
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe SOFSEM (29 : 2002 : Milovice) SOFSEM 2002: Theory and practice of informatics Berlin : Springer, 2002 ISBN 354000145X
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Informatik ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Buch
    Buch
    Berlin [u.a.] : Springer-Verlag
    UID:
    kobvindex_ZLB13452568
    Umfang: X, 287 Seiten , Ill., graph. Darst. , 24 cm
    ISBN: 354000145X
    Serie: Lecture notes in computer science 2540
    Anmerkung: Literaturangaben , Text engl.
    Sprache: Englisch
    Schlagwort(e): Informatik ; Kongress ; Milovice 〈2002〉 ; Kongress ; Konferenzschrift
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    UID:
    gbv_1602194300
    Umfang: X, 287 S. , Ill., graph. Darst.
    ISBN: 354000145X
    Serie: Lecture notes in computer science 2540
    Anmerkung: Includes bibliographical references and index , Includes bibliographical references and index
    Weitere Ausg.: Online-Ausg. Grosky, William I. SOFSEM 2002: Theory and Practice of Informatics Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002 ISBN 9783540361374
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Informatik ; Informatik ; Konferenzschrift ; Konferenzschrift
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    UID:
    almahu_9947920688402882
    Umfang: X, 294 p. , online resource.
    ISBN: 9783540361374
    Serie: Lecture Notes in Computer Science, 2540
    Inhalt: Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22–29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.
    Anmerkung: INVITED TALKS -- Conformance Testing Techniques for Timed Systems -- Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies -- Equivalence-Checking with Infinite-State Systems: Techniques and Results -- On Functions and Types: A Tutorial -- Database Support for Multisource Multiresolution Scientific Data -- Semantic Annotation and Indexing of News and Sports Videos -- Multimedia Presentations Databases (Extended Abstract) -- Interactive Indexing and Retrieval of Multimedia Content -- A Model-Based Approach to Semantic-Based Retrieval of Visual Information -- Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract) -- PANEL SESSION -- Data Management Challenges for GRID Computing -- CONTRIBUTED PAPERS -- Hungarian Speech Synthesis Using a Phase Exact HNM Approach -- Modelling Resource Transitions in Constraint-Based Scheduling -- A Specification Framework for Real-Time Scheduling -- String Transformation for n-Dimensional Image Compression -- Validation and Decomposition of Partially Occluded Images -- Solving Conflicts of Agent Knowledge States in Multiagent Systems -- Specification and Verification of Secure Business Transaction Systems -- Agent-Oriented Model of Simulated Evolution -- The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections -- The Complexity of Probabilistic versus Quantum Finite Automata -- Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540001454
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    UID:
    almahu_9948621080702882
    Umfang: X, 294 p. , online resource.
    Ausgabe: 1st ed. 2002.
    ISBN: 9783540361374
    Serie: Lecture Notes in Computer Science, 2540
    Inhalt: Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22-29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program Committee was based on their contribution to the state of the art, technical soundness, clarity of presentation, and relevance of bibliography. The Steering Committee supported by the Advisory Board recommended 12 invited talks focusedonthefollowingkeytopicareas:distributedandparallelsystems,system design and testing, databases and information systems, and fundamentals. SOFSEM is the result of considerable e?ort by a number of people. It is our pleasure to record our thanks to the Advisory Board for its support, to the Steering Committee for its general guidance, and to the Organizing Committee for making SOFSEM 2002 happen. It has been an honor for us to work with the members of the Program Committee and other referees who devoted a lot of e?ort to reviewing the submitted papers.
    Anmerkung: INVITED TALKS -- Conformance Testing Techniques for Timed Systems -- Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies -- Equivalence-Checking with Infinite-State Systems: Techniques and Results -- On Functions and Types: A Tutorial -- Database Support for Multisource Multiresolution Scientific Data -- Semantic Annotation and Indexing of News and Sports Videos -- Multimedia Presentations Databases (Extended Abstract) -- Interactive Indexing and Retrieval of Multimedia Content -- A Model-Based Approach to Semantic-Based Retrieval of Visual Information -- Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract) -- PANEL SESSION -- Data Management Challenges for GRID Computing -- CONTRIBUTED PAPERS -- Hungarian Speech Synthesis Using a Phase Exact HNM Approach -- Modelling Resource Transitions in Constraint-Based Scheduling -- A Specification Framework for Real-Time Scheduling -- String Transformation for n-Dimensional Image Compression -- Validation and Decomposition of Partially Occluded Images -- Solving Conflicts of Agent Knowledge States in Multiagent Systems -- Specification and Verification of Secure Business Transaction Systems -- Agent-Oriented Model of Simulated Evolution -- The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections -- The Complexity of Probabilistic versus Quantum Finite Automata -- Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662198254
    Weitere Ausg.: Printed edition: ISBN 9783540001454
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Meinten Sie 3540001050?
Meinten Sie 3540001417?
Meinten Sie 3540001425?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz