Cargando…

The handbook of formal methods in human-computer interaction

Detalles Bibliográficos
Autores principales:	Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Lenguaje:	eng
Publicado:	Springer 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2622873

Ejemplares similares

Handbook of human-computer interaction
por: Helander, Martin, et al.
Publicado: (1997)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Computer dictionary and handbook
por: Sippl, Charles J
Publicado: (1966)

Handbook of fuzzy computation
por: Ruspini, Enrique H, et al.
Publicado: (1998)

Computer security handbook
por: Kabay, M E
Publicado: (2002)

Computer Security Handbook
por: Bosworth, Seymour, et al.
Publicado: (2012)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

Computer and information security handbook
por: Vacca, John R
Publicado: (2017)

The practical handbook of internet computing
por: Staff, Singh Munindar P, et al.
Publicado: (2004)

Handbook of neural computing applications
por: Maren, Alianna J, et al.
Publicado: (1990)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1993)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1993)

The computer science and engineering handbook
por: Tucker, Allen B
Publicado: (1997)

Algorithms and theory of computation handbook
por: Atallah, Mikhail J
Publicado: (1999)

Digital computer user's handbook
por: Korn, Granino Arthur, et al.
Publicado: (1967)

Computer and information security handbook
por: Vacca, John R, et al.
Publicado: (2012)

Computer and information security handbook
por: Vacca, John
Publicado: (2009)

Research methods in human-computer interaction
por: Lazar, Jonathan, et al.
Publicado: (2017)

Apache administrator's handbook
por: Bowen, Rich, et al.
Publicado: (2002)

Handbook of energy-aware and green computing
por: Ahmad, Ishfaq, et al.
Publicado: (2016)

Handbook on soft computing for video surveillance
por: Pal, Sankar K, et al.
Publicado: (2012)

EMI/EMC computational modeling handbook
por: Archambeault, Bruce, et al.
Publicado: (2001)

The handbook of data communications and computer networks
por: Chorafas, Dimitris N
Publicado: (1985)

Scene of the Cybercrime: Computer Forensics Handbook
por: Shinder, Debra Littlejohn
Publicado: (2002)

Eurographics Workshop
por: Bastide, Remi, et al.
Publicado: (1995)

Handbook on mobile and ubiquitous computing: status and perspective
por: Yang, Laurence Tianruo, et al.
Publicado: (2013)

Handbook of graph grammars and computing by graph transformation
por: Ehrig, H, et al.
Publicado: (1999)

Handbook of graph grammars and computing by graph transformation
por: Rozenberg, G
Publicado: (1997)

Ant developer's handbook
por: Williamson, Alan
Publicado: (2003)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

The Digital PDP-16 computer designers handbook: 1971
por: Digital Equipment. Maynard, MA
Publicado: (1971)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

Handbook of image and video processing
por: Bovik, Alan C
Publicado: (2000)

Handbook of image and video processing
por: Bovik, Alan C
Publicado: (2005)

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
por: Darvas, Daniel
Publicado: (2017)

Human interaction with computers
por: Green, Thomas R G, et al.
Publicado: (1980)

Human-computer interaction
por: Ozseven, Turgut
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_12q6vn6n784hmis1nddcgl93qs