Dang thao (15 Ergebnisse)

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Eine Selbstkalibrierung erlaubt die automatische Bestimmung von Kameraparametern aus beliebigen Bildsequenzen und ist gerade für eine breite Markteinführung von Stereokameras von großer Bedeutung. Diese Arbeit liefert eine theoretisch fundierte Beschreibung der gesamten Verarbeitungskette einer stereoskopischen Selbstkalibrierung. Die Leistungsfähigkeit des Verfahrens wird anhand von Anwendungsbeispielen aus dem Fahrzeugbereich demonstriert.…

Paperback. Zustand: Brand New. 188 pages. 9.00x6.00x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, inJuly 2014.This volume presents 8 full papers together with 2invited tutorials/surveys from 21 submissions.The HSB 2013 workshop aims at collecting scientistsworking in the area of hybrid modeling applied to systems biology, in order todiscuss about current achieved goals, current challenges and future possibledevelopments.The scope of the HSB 2014 workshop is the general areaof dynamical models in biology with an emphasis on hybrid approaches, which arenot restricted to a narrow class of mathematical models, and which takeadvantage of techniques developed separately in different sub-fields. …

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Hybrid Systems Biology | Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers | Oded Maler (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2015 | Springer | EAN 9783319276557 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.…

Paperback. Zustand: Brand New. 359 pages. 9.25x6.10x1.06 inches. In Stock.

Taschenbuch. Zustand: Neu. Runtime Verification | 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings | Thao Dang (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2022 | Springer | EAN 9783031171956 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Asia and UNCLOS 30 Years' Implementation | An Assessment | Nguyen Hong Thao (u. a.) | Taschenbuch | International Law in Asia | xii | Englisch | 2025 | Springer | EAN 9789819715589 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides critical legal analyses of latest developments in ocean law and policy by leading Asian legal scholars in the 5 years leading up to the 30th anniversary of the United Nations Convention on the Law of the Sea (UNCLOS) entering into force on 16 November 1994. The Asia's maritime domain, including both the Pacific and Indian Oceans, is currently facing a plethora of serious challenges, ranging from maritime and territorial disputes (especially in the South China Sea and East China Sea), competition between superpowers, piracy and armed robbery at sea, the degradation of marine environment, IUU fishing, to sea-level rising. This book allows readers to explore and understand how the scholars in the region examine, conceive, understand, and suggest solutions to these challenges.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides critical legal analyses of latest developments in ocean law and policy by leading Asian legal scholars in the 5 years leading up to the 30th anniversary of the United Nations Convention on the Law of the Sea (UNCLOS) entering into force on 16 November 1994. The Asia's maritime domain, including both the Pacific and Indian Oceans, is currently facing a plethora of serious challenges, ranging from maritime and territorial disputes (especially in the South China Sea and East China Sea), competition between superpowers, piracy and armed robbery at sea, the degradation of marine environment, IUU fishing, to sea-level rising. This book allows readers to explore and understand how the scholars in the region examine, conceive, understand, and suggest solutions to these challenges.…

Hardcover. Zustand: Brand New. 305 pages. 9.25x6.10x9.21 inches. In Stock.