|
|
|
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; Format:
electronic
available online
 ; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
