Your search returned 10983 results. Subscribe to this search

|
Toward Robots That Reason: Logic, Probability & Causal Laws [electronic resource] / by Vaishak Belle.

by Belle, Vaishak [author.] | SpringerLink (Online service).

Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Blocks and Chains [electronic resource] : Introduction to Bitcoin, Cryptocurrencies, and Their Consensus Mechanisms / by Aljosha Judmayer, Nicholas Stifter, Katharina Krombholz, Edgar Weippl.

by Judmayer, Aljosha [author.] | Stifter, Nicholas [author.] | Krombholz, Katharina [author.] | Weippl, Edgar [author.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Symbolic Execution and Quantitative Reasoning [electronic resource] : Applications to Software Safety and Security / by Corina S. Păsăreanu.

by Păsăreanu, Corina S [author.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Java Software Development with Event B [electronic resource] : A Practical Guide / by Néstor Cataño Collazos.

by Collazos, Néstor Cataño [author.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Testing iOS Apps with HadoopUnit [electronic resource] : Rapid Distributed GUI Testing / by Scott Tilley, Krissada Dechokul.

by Tilley, Scott [author.] | Dechokul, Krissada [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Hard Problems in Software Testing [electronic resource] : Solutions Using Testing as a Service (TaaS) / by Scott Tilley, Brianna Floss.

by Tilley, Scott [author.] | Floss, Brianna [author.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Image-Based Visualization [electronic resource] : Interactive Multidimensional Data Exploration / by Christophe Hurter.

by Hurter, Christophe [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Interaction for Visualization [electronic resource] / by Christian Tominski.

by Tominski, Christian [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Data Representations, Transformations, and Statistics for Visual Reasoning [electronic resource] / by Ross Maciejewski.

by Maciejewski, Ross [author.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

A Guide to Visual Multi-Level Interface Design From Synthesis of Empirical Study Evidence [electronic resource] / by Heidi Lam, Tamara Munzner.

by Lam, Heidi [author.] | Munzner, Tamara [author.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available

The Shortest-Path Problem [electronic resource] : Analysis and Comparison of Methods / by Arturo Gonzalez-Escribano, Diego R. Llanos, Hector Ortega-Arranz.

by Gonzalez-Escribano, Arturo [author.] | Llanos, Diego R [author.] | Ortega-Arranz, Hector [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Statistical Methods for Annotation Analysis [electronic resource] / by Silviu Paun, Ron Artstein, Massimo Poesio.

by Paun, Silviu [author.] | Artstein, Ron [author.] | Poesio, Massimo [author.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available

Data through Movement [electronic resource] : Designing Embodied Human-Data Interaction for Informal Learning / by Francesco Cafaro, Jessica Roberts.

by Cafaro, Francesco [author.] | Roberts, Jessica [author.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

External Labeling [electronic resource] : Fundamental Concepts and Algorithmic Techniques / by Michael A. Bekos, Benjamin Niedermann, Martin Nöllenburg.

by Bekos, Michael A [author.] | Niedermann, Benjamin [author.] | Nöllenburg, Martin [author.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available

Adaptive and Personalized Visualization [electronic resource] / by Alvitta Ottley.

by Ottley, Alvitta [author.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

User-Centered Evaluation of Visual Analytics [electronic resource] / by Jean Scholtz.

by Scholtz, Jean [author.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available

Interactive GPU-based Visualization of Large Dynamic Particle Data [electronic resource] / by Martin Falk, Sebastian Grottel, Michael Krone, Guido Reina.

by Falk, Martin [author.] | Grottel, Sebastian [author.] | Krone, Michael [author.] | Reina, Guido [author.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Semantic Interaction for Visual Analytics [electronic resource] : Inferring Analytical Reasoning for Model Steering / by Alex Endert.

by Endert, Alex [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Design of Visualizations for Human-Information Interaction [electronic resource] : A Pattern-Based Framework / by Kamran Sedig, Paul Parsons.

by Sedig, Kamran [author.] | Parsons, Paul [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Explainable Human-AI Interaction [electronic resource] : A Planning Perspective / by Sarath Sreedharan, Anagha Kulkarni, Subbarao Kambhampati.

by Sreedharan, Sarath [author.] | Kulkarni, Anagha [author.] | Kambhampati, Subbarao [author.] | SpringerLink (Online service).

Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available