Schilling Taylor (36 results)

DVD. Condition: Used - Good.

DVD. Condition: Used - Good.

DVD. Condition: Sehr gut. Standard Version. B1094-19 5051890110114 Sprache: Spanisch Gewicht in Gramm: 500.

DVD. Condition: Sehr gut. Standard Version. B3926-115 5051890110114 Altersfreigabe FSK ab 12 Jahre Sprache: Deutsch Gewicht in Gramm: 70.

DVD. Condition: Sehr gut. Standard Version. B4029-166 5051890110114 Altersfreigabe FSK ab 12 Jahre Sprache: Deutsch Gewicht in Gramm: 70.

DVD. Condition: Sehr gut. Standard Version. B2461-81 5051890110114 Sprache: Deutsch Gewicht in Gramm: 500.

Condition: Gut. B1041-182 Sprache: Englisch Gewicht in Gramm: 500 DVD, Maße: 14.4 cm x 2.2 cm x 19.3 cm.

DVDs, Schuber. Condition: Sehr gut. FSK 16. DVDs sehr gut erhalten. LAUFEN! TOP!! Sprache: Deutsch Gewicht in Gramm: 550.

DVDs, Schuber. Condition: Sehr gut. FSK 16. DVDs sehr gut erhalten. LAUFEN! TOP!! Altersfreigabe FSK ab 16 Jahre Sprache: Deutsch Gewicht in Gramm: 550.

blu_ray. Condition: Wie neu. Auflage: Standard Version. Noch originalverpackt, Blu-Ray /// Standort Wimregal HOM-44.874 Altersfreigabe FSK ab 16 Jahre Sprache: Deutsch Gewicht in Gramm: 184.

dvd. Condition: Gut. Seiten; B2509-241 Sprache: Deutsch Gewicht in Gramm: 500.

Condition: Very Good. Bon état. 13 76x18 03x1 48cm. 2018. dvd. Very Good.

Couverture souple. Condition: Bon. Edition originale. In-8° broché, paginé de 257 à 512 - Articles originaux : An integro-differential boundary value problem. - A partial differential equation associated with Poisson's work on the theory of sound. - Integrals involving Legendre functions. - A note on an extension of Bernstein's theorem. - On the linearity of pencils of curves on algebraic surfaces. - Some singular poperties of conformal transformations between Riemannian spaces. - Surfaces whose asymptotic curves are twisted cubics. - On hypergroups, multigroups, and product system.

paperback. Condition: Good.

Condition: new.

Paperback. Condition: new. Paperback. This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification. This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condition: new.

Paperback. Condition: Brand New. 270 pages. 9.25x6.10x9.25 inches. In Stock.

Condition: New. 2024th edition NO-PA16APR2015-KAP.

Taschenbuch. Condition: Neu. AI Verification | First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings | Guy Avni (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2024 | Springer | EAN 9783031651113 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.

Paperback. Condition: new. Paperback. This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification. This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

dvd. Condition: Sehr gut. Auflage: Standard Version. Gebraucht, DVD in sehr gutem Zustand DVD07 ISBN: 5051890110114 Altersfreigabe FSK ab 12 Jahre Sprache: Deutsch Gewicht in Gramm: 100.

Condition: Gut. Standard Version. B1095-257 4006680088709 Sprache: Deutsch Gewicht in Gramm: 500 DVD, Maße: 14 cm x 6.1 cm x 19.4 cm.

Condition: Sehr gut. Gebrauchtes Exemplar in sehr gutem Zustand. Altersfreigabe FSK ab 6 Jahre - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 77 DVD, Maße: 2 cm x 1.5 cm x 13.6 cm.

Echtfoto. Condition: Gut. Grossformatiges Farbfoto von Taylor Schilling bildseitig mit blauem Edding signiert /// Autogramm Autograph signiert signed signee /// Taylor Schilling (* 27. Juli 1984 in Boston, Massachusetts) ist eine US-amerikanische Schauspielerin. Leben und Karriere Schon in ihrer Schulzeit widmete sich Schilling der Schauspielerei und trat hierbei erstmals auf der Bühne auf. 2002 erhielt sie ihren Abschluss an der Wayland High School. Sie besuchte bis 2006 die Fordham University, die sie mit einem Bachelorabschluss in Schauspielkunst verließ. Dort hatte sie sich Theatergruppen angeschlossen und an Aufführungen teilgenommen. Ihre erste kleine Filmrolle hatte Schilling 2007 im Drama Dark Matter an der Seite von Meryl Streep. In der Fernsehserie Mercy spielte sie von 2009 bis zur Einstellung der Serie 2010 die Hauptrolle einer Krankenschwester. Ihre erste Hauptrolle in einem Kinofilm hatte sie 2011 in Die Atlas Trilogie - Wer ist John Galt?, einer Verfilmung vom ersten Drittel des Romanes Atlas wirft die Welt ab der Autorin Ayn Rand. 2012 war sie an der Seite von Zac Efron in der Romanverfilmung The Lucky One - Für immer der Deine und neben Ben Affleck im Thriller Argo zu sehen. Von 2013 bis 2019 stand sie in allen sieben Staffeln in der Hauptrolle der Piper Chapman für die Serie Orange Is the New Black vor der Kamera. /// Standort Wimregal Ill-Umschl2025-035 Sprache: Englisch Gewicht in Gramm: 10.

dvd. Condition: Gut. Seiten; Artikel stammt aus Nichtraucherhaushalt! NB2-6046 Sprache: Deutsch Gewicht in Gramm: 500.

dvd. Condition: Sehr gut. Auflage: Standard Version. Altersfreigabe FSK ab 12 Jahre Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 69.

dvd. Condition: Sehr gut. Auflage: Standard Version. Altersfreigabe FSK ab 12 Jahre Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 68.

Condition: Sehr gut. Auflage: Standard Version. Altersfreigabe FSK ab 12 Jahre Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 69.