Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Interactive Systems. Design, Specification, and Verification

7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Interactive Systems. Design, Specification, and Verification Philippe Palanque
Κωδικός Libristo: 01563285
ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2000
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on... Πλήρης περιγραφή
? points 125 b
51.61 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

La curación de los chakras y el equilibrio energético mediante la atención plena MICHELLE S. FONDIN / Βιβλίο Χαρτόδετο
common.buy 15.75 €
MITOLOGIA CLASICA RAMON-LLUCH / Βιβλίο Βιβλίο
common.buy 7.67 €
Notizbuch A5 blanko - 100 Seiten 90g/m? - Soft Cover Gelb - FSC Papier Notebook A5 / Βιβλίο Χαρτόδετο
common.buy 6.66 €
Léčivé rostliny… které ještě neznáte - plevele, divoké rostliny, neofyty Wolf-Dieter Storl / Βιβλίο Χαρτόδετο
common.buy 17.26 €
Puls życia NEON. Szkoła podstawowa klasa 7. Podręcznik. Nowa edycja 2023-2025 Jefimow Małgorzata / Βιβλίο Χαρτόδετο
common.buy 15.55 €
Une vie en dessins - Lambil et Cauvin - Les Tuniques Bleues Cauvin / Βιβλίο Σκληρόδετο
common.buy 81.71 €
Diferenciální diagnostika bolestivého kloubu v klinické praxi Ladislav Šenolt / Βιβλίο Σκληρόδετο
common.buy 37.87 €
Abwehr und Abgrenzung Klaus Köhler / Βιβλίο Χαρτόδετο
common.buy 22.31 €
Hospodaření malého podniku David Targett / Βιβλίο Χαρτόδετο
common.buy 5.24 €
Ošetřovatelské postupy v péči o nemocné III Petra Sedlářová / Βιβλίο Χαρτόδετο
common.buy 16.25 €
AK 8001 Nizozemsko 1:300 000 Opracowanie Zbiorowe / Έντυπα Χάρτης
common.buy 11.61 €
Das europäische Umweltinformationszugangsrecht als Vorbild eines nationalen Rechts der Aktenöffentlichkeit. Jochen Strohmeyer / Βιβλίο Χαρτόδετο
common.buy 103.32 €
Maria Callas Jürgen Kesting / Βιβλίο Χαρτόδετο
common.buy 13.53 €
Abrechnungsverhalten in deutschen Krankenhausern. Eine Empirische Analyse Joachim Pilzecker / Βιβλίο Χαρτόδετο
common.buy 42.72 €
Akutes Abdomen Hubert Hauser / Βιβλίο Σκληρόδετο
common.buy 328.48 €
Akame ga KILL!. Bd.1 Takahiro / Βιβλίο Χαρτόδετο
common.buy 8.68 €
Le Voyage d'Outremer (Egypte, Mont Sinay, Palestine) (Ed.1884) Jean Thenaud / Βιβλίο Χαρτόδετο
common.buy 29.49 €
L'Itineraire de Platon: Suivi de En Maniere D'Autobiographie Gilbert Ryle / Βιβλίο Χαρτόδετο
common.buy 39.08 €
L'apport d'une approche systémique en médiation Philippe Nicod / Βιβλίο Χαρτόδετο
common.buy 35.65 €
An den Ufern des Araxes Kurt Aram / Βιβλίο Χαρτόδετο
common.buy 35.65 €
Jean Le Miracule - Bonjour L'arstiste ! Alain Vidal / Βιβλίο Χαρτόδετο
common.buy 16.76 €
Extrato concentrado de malte João Guilherme Costa Sperb / Βιβλίο Χαρτόδετο
common.buy 29.38 €
Untersuchungen zu einer mikrooekonomischen Theorie der Gewerkschaften Hans-Dieter Kleinhückelskoten / Βιβλίο Χαρτόδετο
common.buy 64.13 €
Verbot der Quinten-Parallelen Wilhelm Tappert / Βιβλίο Χαρτόδετο
common.buy 15.24 €

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000.The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systems.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Interactive Systems. Design, Specification, and Verification
Συγγραφέας Philippe Palanque, Fabio Patern
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2001
Αριθμός σελίδων 258
EAN 9783540416630
ISBN 3540416633
Κωδικός Libristo 01563285
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 381
Διαστάσεις 155 x 235 x 14

Κατηγορία

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Graphics programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Information technology: general issues
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Security and Privacy in Ad-hoc and Sensor Networks Refik Molva / Βιβλίο Χαρτόδετο
common.buy 51.61 €
Kathryn Bigelow Peter Keough / Βιβλίο Χαρτόδετο
common.buy 35.24 €
50 Activities for the First Day of School Walton Burns / Βιβλίο Χαρτόδετο
common.buy 10.39 €
The Puritan in the Enlightenment: Franklin and Edwards David Levin / Βιβλίο Χαρτόδετο
common.buy 23.22 €
How Belgium Saved Europe (1915) Charles Sarolea / Βιβλίο Χαρτόδετο
common.buy 30.19 €
Bereshit, the Book of Beginnings David B. Friedman / Βιβλίο Χαρτόδετο
common.buy 22.21 €
Encountering the World of Islam Keith E. Swartley / Βιβλίο Χαρτόδετο
common.buy 32.31 €
American Encounters Stephanie Mayer Heydt / Βιβλίο Χαρτόδετο
common.buy 20.80 €
Business with Connect Plus Access Code: Connecting Principles to Practice William Nickels / Βιβλίο Σκληρόδετο
common.buy 296.46 €
Feminism, Gender and Universities DAVID / Βιβλίο Χαρτόδετο
common.buy 80.60 €
Visit to Japan, China, and India Robert Nicholas Fowler / Βιβλίο Σκληρόδετο
common.buy 36.15 €
Restorative Readings Bruce C. Birch / Βιβλίο Χαρτόδετο
common.buy 28.17 €
Unholy Path of a Reluctant Adventurer Ph D Rosie Kuhn / Βιβλίο Χαρτόδετο
common.buy 12.82 €
Bird's Higher Engineering Mathematics Bird / Βιβλίο Χαρτόδετο
common.buy 78.48 €
Aorta Boudoulas Harisios / Βιβλίο Σκληρόδετο
common.buy 194.94 €
Geomechanical Processes during Underground Mining Genadiy Pivnyak / Βιβλίο Σκληρόδετο
common.buy 222.72 €
The Chronicles of Farro: The Sacred Messenger Marilyn Daphne Privratsky / Βιβλίο Χαρτόδετο
common.buy 26.86 €
Mobile Suit Gundam Thunderbolt, Vol. 8 Yasuo Ohtagaki / Βιβλίο Χαρτόδετο
common.buy 12.82 €
Seventeen Hideo Yokoyama / Βιβλίο Χαρτόδετο
common.buy 11.81 €
Airtight Case: A Lindsay Chamberlain Novel Beverly Connor / Βιβλίο Χαρτόδετο
common.buy 16.96 €
Victims & Villains: Barbie and Ken Meet Sherlock Holmes Derham Groves / Βιβλίο Χαρτόδετο
common.buy 18.37 €
Black Hawk Down: The History of the Battle of Mogadishu Charles River Editors / Βιβλίο Χαρτόδετο
common.buy 11.91 €
Fantasy World Vol. 2: Grayscale Coloring Book for Adults Majestic Coloring / Βιβλίο Χαρτόδετο
common.buy 11.00 €
Coloring Designs Ruth Mason / Βιβλίο Χαρτόδετο
common.buy 10.80 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;