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
Filter
Type of Medium
Language
Region
Library
Years
Person/Organisation
  • 1
    Online Resource
    Online Resource
    Certifying Software Component Performance Specifications (2013)
    KIT Scientific Publishing
    Details
    UID:
    edocfu_9959146157802883
    Format: 1 electronic resource (XIV, 473 p. p.)
    ISBN: 1000036063
    Series Statement: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
    Content: In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
    Note: English
    Additional Edition: ISBN 3-7315-0080-9
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    FU Berlin
  • 2
    Online Resource
    Online Resource
    Certifying Software Component Performance Specifications (2013)
    KIT Scientific Publishing
    Details
    UID:
    almahu_9949711229002882
    Format: 1 electronic resource (XIV, 473 p. p.)
    ISBN: 1000036063
    Series Statement: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
    Content: In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
    Note: English
    Additional Edition: ISBN 3-7315-0080-9
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Certifying Software Component Performance Specifications (2013)
    KIT Scientific Publishing
    Details
    UID:
    edoccha_9959146157802883
    Format: 1 electronic resource (XIV, 473 p. p.)
    ISBN: 1000036063
    Series Statement: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
    Content: In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
    Note: English
    Additional Edition: ISBN 3-7315-0080-9
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Charité
  • 4
    Online Resource
    Online Resource
    Probabilistic Models for 3D Urban Scene Understanding from Movable Platforms (2013)
    KIT Scientific Publishing
    Details
    UID:
    edoccha_9961112836502883
    Format: 1 electronic resource (V, 162 p. p.)
    ISBN: 1000036064
    Series Statement: Schriftenreihe / Institut für Mess- und Regelungstechnik, Karlsruher Institut für Technologie
    Content: This work is a contribution to understanding multi-object traffic scenes from video sequences. All data is provided by a camera system which is mounted on top of the autonomous driving platform AnnieWAY. The proposed probabilistic generative model reasons jointly about the 3D scene layout as well as the 3D location and orientation of objects in the scene. In particular, the scene topology, geometry as well as traffic activities are inferred from short video sequences.
    Note: English
    Additional Edition: ISBN 3-7315-0081-7
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Charité
  • 5
    Online Resource
    Online Resource
    Probabilistic Models for 3D Urban Scene Understanding from Movable Platforms (2013)
    KIT Scientific Publishing
    Details
    UID:
    almahu_9949498202602882
    Format: 1 electronic resource (V, 162 p. p.)
    ISBN: 1000036064
    Series Statement: Schriftenreihe / Institut für Mess- und Regelungstechnik, Karlsruher Institut für Technologie
    Content: This work is a contribution to understanding multi-object traffic scenes from video sequences. All data is provided by a camera system which is mounted on top of the autonomous driving platform AnnieWAY. The proposed probabilistic generative model reasons jointly about the 3D scene layout as well as the 3D location and orientation of objects in the scene. In particular, the scene topology, geometry as well as traffic activities are inferred from short video sequences.
    Note: English
    Additional Edition: ISBN 3-7315-0081-7
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
  • 6
    Online Resource
    Online Resource
    Probabilistic Models for 3D Urban Scene Understanding from Movable Platforms (2013)
    KIT Scientific Publishing
    Details
    UID:
    edocfu_9961112836502883
    Format: 1 electronic resource (V, 162 p. p.)
    ISBN: 1000036064
    Series Statement: Schriftenreihe / Institut für Mess- und Regelungstechnik, Karlsruher Institut für Technologie
    Content: This work is a contribution to understanding multi-object traffic scenes from video sequences. All data is provided by a camera system which is mounted on top of the autonomous driving platform AnnieWAY. The proposed probabilistic generative model reasons jointly about the 3D scene layout as well as the 3D location and orientation of objects in the scene. In particular, the scene topology, geometry as well as traffic activities are inferred from short video sequences.
    Note: English
    Additional Edition: ISBN 3-7315-0081-7
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    FU Berlin
  • 7
    Online Resource
    Online Resource
    Sales management (2015)
    London : Routledge,
    Details
    UID:
    gbv_1779297025
    Format: 1 online resource (1 volume)
    ISBN: 9781003022374 , 1003022375 , 9781000035964 , 1000035964 , 9781000036060 , 1000036065
    Additional Edition: ISBN 9789001807986
    Additional Edition: ISBN 9001807984
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9789001807986
    Language: English
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Stabi Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 1000036064?
Did you mean 1000039063?
Did you mean 1000436063?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages