SULJE VALIKKO

Näistä puhumme juuri nyt!
Lue ennen kuin katsot
Henkilökunnan suosikit
Pride Month
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Kuvakirjat
Oppi&Ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Äänikirjat
Lahjakortti
Tietoa verkkokaupasta
Akateeminen Kirjakauppa
akateeminen.com
Myymälät
Yhteystiedot
Uutiset

avaa valikko

Philippe Palanque | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 31 tuotetta
Haluatko tarkentaa hakukriteerejä?



Formal Methods in Human-Computer Interaction
FORMAL METHODS IN HUMAN-COMPUTER INTERACTION
Tekijä: Philippe Palanque (ed.); Fabio Paterno (ed.)
Kustantaja: Springer (1997)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Design, Specification and Verification of Interactive Systems ’95 - Proceedings of the Eurographics Workshop in Toulouse, France
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS ’95 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN TOULOUSE, FRANCE
Tekijä: Philippe Palanque; Remi Bastide
Kustantaja: Springer Verlag GmbH (1995)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Engineering Human Computer Interaction and Interactive Systems - Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, Ju
ENGINEERING HUMAN COMPUTER INTERACTION AND INTERACTIVE SYSTEMS - JOINT WORKING CONFERENCES EHCI-DSVIS 2004, HAMBURG, GERMANY, JU
Tekijä: Rémi Bastide; Philippe Palanque; Jörg Roth
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Human-Computer Interaction - INTERACT 2007 - 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14,
HUMAN-COMPUTER INTERACTION - INTERACT 2007 - 11TH IFIP TC 13 INTERNATIONAL CONFERENCE, RIO DE JANEIRO, BRAZIL, SEPTEMBER 10-14,
Tekijä: Cecília Baranauskas; Philippe Palanque; Julio Abascal; Simone D. Junqueira Barbosa
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
Human-Computer Interaction - INTERACT 2007 : 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14,
HUMAN-COMPUTER INTERACTION - INTERACT 2007 : 11TH IFIP TC 13 INTERNATIONAL CONFERENCE, RIO DE JANEIRO, BRAZIL, SEPTEMBER 10-14,
Tekijä: Cecília Baranauskas (ed.); Philippe Palanque (ed.); Julio Abascal (ed.); Simone Diniz Junqueira Barbosa (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June
INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION, AND VERIFICATION : 7TH INTERNATIONAL WORKSHOP, DSV-IS 2000, LIMERICK, IRELAND, JUNE
Tekijä: Philippe Palanque (ed.); Fabio Paterno (ed.)
Kustantaja: Springer (2001)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Task Models and Diagrams for User Interface Design : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2
TASK MODELS AND DIAGRAMS FOR USER INTERFACE DESIGN : 6TH INTERNATIONAL WORKSHOP, TAMODIA 2007, TOULOUSE, FRANCE, NOVEMBER 7-9, 2
Tekijä: Marco Winckler (ed.); Hilary Johnson (ed.); Philippe Palanque (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Interactive Systems. Design, Specification, and Verification - 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 1
INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION, AND VERIFICATION - 15TH INTERNATIONAL WORKSHOP, DSV-IS 2008 KINGSTON, CANADA, JULY 1
Tekijä: T. C. Nicholas Graham; Philippe Palanque
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Engineering Interactive Systems - EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March
ENGINEERING INTERACTIVE SYSTEMS - EIS 2007 JOINT WORKING CONFERENCES EHCI 2007, DSV-IS 2007, HCSE 2007, SALAMANCA, SPAIN, MARCH
Tekijä: Jan Gulliksen; Morten Borup Harning; Philippe Palanque; Gerrit C. van der Veer; Janet Wesson
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
Human Error, Safety and Systems Development - IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Er
HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT - IFIP 18TH WORLD COMPUTER CONGRESS TC13 / WG13.5 7TH WORKING CONFERENCE ON HUMAN ER
Tekijä: Philippe Palanque; Chris Johnson
Kustantaja: Springer-Verlag New York Inc. (2004)
Saatavuus: Noin 17-20 arkipäivää
EUR   129,90
Human-Computer Interaction - INTERACT 2009 - 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proc
HUMAN-COMPUTER INTERACTION - INTERACT 2009 - 12TH IFIP TC 13 INTERNATIONAL CONFERENCE, UPPSALA, SWEDEN, AUGUST 24-28, 2009, PROC
Tekijä: Tom Gross; Jan Gulliksen; Paula Kotzé; Lars Oestreicher; Philippe Palanque; Raquel Oliveira Prates; Marco Winckler
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Noin 17-20 arkipäivää
EUR   129,90
Human-Computer Interaction - INTERACT 2009 - 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proc
HUMAN-COMPUTER INTERACTION - INTERACT 2009 - 12TH IFIP TC 13 INTERNATIONAL CONFERENCE, UPPSALA, SWEDEN, AUGUST 24-28, 2009, PROC
Tekijä: Tom Gross; Jan Gulliksen; Paula Kotzé; Lars Oestreicher; Philippe Palanque; Raquel Oliveira Prates; Marco Winckler
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Noin 17-20 arkipäivää
EUR   129,90
Human Error, Safety and Systems Development - 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-2
HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT - 7TH IFIP WG 13.5 WORKING CONFERENCE, HESSD 2009, BRUSSELS, BELGIUM, SEPTEMBER 23-2
Tekijä: Philippe Palanque; Jean Vanderdonckt; Marco Winckler
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Task Models and Diagrams for User Interface Design - 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-2
TASK MODELS AND DIAGRAMS FOR USER INTERFACE DESIGN - 8TH INTERNATIONAL WORKSHOP, TAMODIA 2009, BRUSSELS, BELGIUM, SEPTEMBER 23-2
Tekijä: David England; Philippe Palanque; Jean Vanderdonckt; Peter Wild
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Human Error, Safety and Systems Development : IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Er
HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT : IFIP 18TH WORLD COMPUTER CONGRESS TC13 / WG13.5 7TH WORKING CONFERENCE ON HUMAN ER
Tekijä: Philippe Palanque (ed.); Chris Johnson (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää
EUR   129,90
Human-Computer Interaction -- INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, P
HUMAN-COMPUTER INTERACTION -- INTERACT 2011 - 13TH IFIP TC 13 INTERNATIONAL CONFERENCE, LISBON, PORTUGAL, SEPTEMBER 5-9, 2011, P
Tekijä: Pedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Winckler
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
Human-Computer Interaction -- INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, P
HUMAN-COMPUTER INTERACTION -- INTERACT 2011 - 13TH IFIP TC 13 INTERNATIONAL CONFERENCE, LISBON, PORTUGAL, SEPTEMBER 5-9, 2011, P
Tekijä: Pedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Winckler
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
Human-Computer Interaction -- INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, P
HUMAN-COMPUTER INTERACTION -- INTERACT 2011 - 13TH IFIP TC 13 INTERNATIONAL CONFERENCE, LISBON, PORTUGAL, SEPTEMBER 5-9, 2011, P
Tekijä: Pedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Winckler
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Saatavuus: Noin 17-20 arkipäivää
EUR   97,90
Critical Issues in User Interface Systems Engineering
CRITICAL ISSUES IN USER INTERFACE SYSTEMS ENGINEERING
Tekijä: David Benyon (ed.); Philippe Palanque (ed.)
Kustantaja: Springer (1995)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
People and Computers XVII — Designing for Society - Proceedings of HCI 2003
PEOPLE AND COMPUTERS XVII — DESIGNING FOR SOCIETY - PROCEEDINGS OF HCI 2003
Tekijä: Eamonn O'Neill; Philippe Palanque; Peter Johnson
Kustantaja: Springer London Ltd (2003)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
    
Formal Methods in Human-Computer Interaction
Philippe Palanque (ed.), Fabio Paterno (ed.)
49,60 €
Springer
Sivumäärä: 376 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1997, 29.10.1997 (lisätietoa)
Kieli: Englanti
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods in Human-Computer Interactionzoom
Näytä kaikki tuotetiedot
ISBN:
9783540761587
Tuotesarja:
Formal Approaches to Computing and Information Technology (FACIT)
Aihealue:
Ulkomaiset kirjat » Computers » Social Aspects » Human-Computer Interaction
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste