|
|
|
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
|
|
|
|
Cloth Simulation for Computer Graphics [electronic resource] / by Tuur Stuyck.
by Stuyck, Tuur [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
|
|
|
|
An Introduction to Laplacian Spectral Distances and Kernels [electronic resource] : Theory, Computation, and Applications / by Giuseppe Patanè.
by Patanè, Giuseppe [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
|
|
|
|
Mathematical Basics of Motion and Deformation in Computer Graphics, Second Edition [electronic resource] / by Ken Anjyo, Hiroyuki Ochiai.
by Anjyo, Ken [author.] | Ochiai, Hiroyuki [author.] | SpringerLink (Online service). Edition: 2nd 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
|
|
|
|
Geometric Continuity of Curves and Surfaces [electronic resource] / by Przemysław Kiciak.
by Kiciak, Przemysław [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
|
|
|
|
Geometric and Discrete Path Planning for Interactive Virtual Worlds [electronic resource] / by Marcelo Kallmann, Mubbasir Kapadia.
by Kallmann, Marcelo [author.] | Kapadia, Mubbasir [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
|
|
|
|
Virtual Crowds [electronic resource] : Steps Toward Behavioral Realism / by Mubbasir Kapadia, Nuria Pelechano, Jan Allbeck, Norm Badler.
by Kapadia, Mubbasir [author.] | Pelechano, Nuria [author.] | Allbeck, Jan [author.] | Badler, Norm [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
|
|
|
|
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
|
|
|
|
Bacterial Sensors [electronic resource] : Synthetic Design and Application Principles / by Jan Roelof Meer.
by Meer, Jan Roelof [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
|
|
|
|
Gravitational Waves from Coalescing Binaries [electronic resource] / by Stanislav Babak.
by Babak, Stanislav [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
|
|
|
|
Virtual Crowds [electronic resource] : Methods, Simulation, and Control / by Nuria Palechano, Norman Badler, Jan Allbeck.
by Palechano, Nuria [author.] | Badler, Norman [author.] | Allbeck, Jan [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Sound Synthesis, Propagation, and Rendering [electronic resource] / by Liu Shiguang, Manocha Dinesh.
by Shiguang, Liu [author.] | Dinesh, Manocha [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
|
|
|
|
Provenance [electronic resource] : An Introduction to PROV / by Luc Moreau, Paul Groth.
by Moreau, Luc [author.] | Groth, Paul [author.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Incentive-Centric Semantic Web Application Engineering [electronic resource] / by Elena Simperl, Roberta Cuel, Martin Stein.
by Simperl, Elena [author.] | Cuel, Roberta [author.] | Stein, Martin [author.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Publishing and Using Cultural Heritage Linked Data on the Semantic Web [electronic resource] / by Eero Hyvonen.
by Hyvonen, Eero [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
VIVO [electronic resource] : A Semantic Portal for Scholarly Networking Across Disciplinary Boundaries / by Katy Borner, Ying Ding, Mike Conlon, Jon Corson-Rikert.
by Borner, Katy [author.] | Ding, Ying [author.] | Conlon, Mike [author.] | Corson-Rikert, Jon [author.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Linked Data [electronic resource] : Evolving the Web into a Global Data Space / by Tom Heath, Christian Bizer.
by Heath, Tom [author.] | Bizer, Christian [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
|
