1
by Nielsen, Jakob
Published 2010
New Riders
Table of Contents: ... -- Doing Tasks vs. Browsing -- How Different Types of Ads Fare with Users -- The Impact of Ad Placement...

2
Published 1997
Springer London
Table of Contents: ... to Modelling and Analysis of Failure Properties -- Methodological Support for Formally Specifying Safety...

3
Published 2024
Springer Nature Switzerland
Table of Contents: ... -- A 3D Terrain Generator: Enhancing Robotics Simulations with GANs -- Hybrid Model for Impact Analysis...

4
Published 2024
Springer Nature Switzerland
Table of Contents: ...Themes and Issues -- Redefining Homeland Security -- Smart Grid Risks and Impacts -- Smart-Grid...

5
Published 2024
Springer Nature Switzerland
Table of Contents: ... Products and a Preliminary Evaluation at Munich Re -- Software Quality -- Source Code Clone Detection Using...

6
Published 1996
Springer Vienna
Table of Contents: ... -- Evaluating Formal Languages -- Toward More Understandable User Interface Specifications -- Towards...

7
Published 2020
Springer International Publishing
Table of Contents: ... -- Evaluating the Impacts of Climate Change on the Stream Flow Events in range of Scale of watersheds...

8
Published 2024
Springer Nature Switzerland
Table of Contents: ...: The Impact of a Lack of Standardized Definition -- Understanding the Motivations behind Knowingly Spreading...

9
Published 2024
Springer Nature Switzerland
Table of Contents: ... Voices. -- Participatory Observation Methods within Data-Intensive Science: Formal Evaluation...

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... performance -- An empirical evaluation of three defect-detection techniques -- Assessing the quality of large...

11
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory...

12
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Class Models -- Aspect Categories and Classes of Temporal Properties -- An Overview of CaesarJ...

13
Published 2019
Springer International Publishing
Table of Contents: ...Finding closest lattice vectors using approximate Voronoi cells -- Evaluating the Potential...

14
Published 2005
Springer US
Table of Contents: ... -- Cryptographic Properties of Some Cryptosystem with Modulation of the Chaotic Sequence Parameters -- Keys...

15
Published 2001
Springer US
Table of Contents: ...-Precision Exponential Evaluation -- Fast computation of some special integrals of mathematical physics...

16
Published 2014
Springer Berlin Heidelberg
Table of Contents: ...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...

17
Published 2023
Springer Nature Switzerland
Table of Contents: ... Functional Encryption from Pairings -- Signatures, Hashes, and Cryptanalysis: Robust Property-Preserving Hash...

18
by Deane, Arthur J., Kraus, Aaron
Published 2021
Sybex
Table of Contents: ...Licensing and Intellectual Property Requirements -- Import/Export Controls -- Transborder Data Flow...

19
Published 2002
Springer London
Table of Contents: ... Systems and their Properties -- An Abstract Architecture for Dependable and Flexible Distributed...

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Performance and Potential: An NPB Experimental Study -- Evaluating the Impact of Programming Language Features...