Konferenzschrift | Kongress
Human interactive proofs : second international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540260011
3540260013
- Dimensions
-
24 cm
- Extent
-
VI, 141 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 3517
- Classification
-
Informatik
- Keyword
-
Mensch-Maschine-Kommunikation
Personenkennzeichen
Automatische Identifikation
Mensch-Maschine-Kommunikation
Kommunikationsprotokoll
Authentifikation
Mensch-Maschine-Kommunikation
Kommunikationsprotokoll
Datensicherung
Captcha
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2005
- Contributor
-
Baird, Henry S.
HIP (2 : 2005 : Bethlehem, Pa.), Lehigh University, Bethlehem, Pa., Department of Computer Science and Engineering
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:44 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Baird, Henry S.
- HIP (2 : 2005 : Bethlehem, Pa.), Lehigh University, Bethlehem, Pa., Department of Computer Science and Engineering
- Springer
Time of origin
- 2005
Other Objects (12)
Tests and proofs : second international conference ; proceedings
Certified programs and proofs : second international conference ; proceedings
Interactive theorem proving : second international conference ; proceedings
ISAR: An interactive system for algebraic implementation proofs
Programs, proofs, processes : proceedings
Interactive distributed multimedia systems : 8th international workshop ; proceedings
Intelligent interactive technologies and multimedia : second international conference ; proceedings
Robot vision : second international workshop ; proceedings
Genetic programming : second European workshop ; proceedings
Computational forensics : second international workshop ; proceedings
Information hiding : second international workshop ; proceedings
Optical supercomputing : second international workshop ; proceedings
Tests and proofs : second international conference ; proceedings
Certified programs and proofs : second international conference ; proceedings
Interactive theorem proving : second international conference ; proceedings
ISAR: An interactive system for algebraic implementation proofs
Programs, proofs, processes : proceedings
Interactive distributed multimedia systems : 8th international workshop ; proceedings
Intelligent interactive technologies and multimedia : second international conference ; proceedings
Robot vision : second international workshop ; proceedings
Genetic programming : second European workshop ; proceedings
Computational forensics : second international workshop ; proceedings
Information hiding : second international workshop ; proceedings
Optical supercomputing : second international workshop ; proceedings
Tests and proofs : second international conference ; proceedings
Certified programs and proofs : second international conference ; proceedings
Interactive theorem proving : second international conference ; proceedings
ISAR: An interactive system for algebraic implementation proofs
Programs, proofs, processes : proceedings
Interactive distributed multimedia systems : 8th international workshop ; proceedings
Intelligent interactive technologies and multimedia : second international conference ; proceedings
Robot vision : second international workshop ; proceedings
Genetic programming : second European workshop ; proceedings
Computational forensics : second international workshop ; proceedings
Information hiding : second international workshop ; proceedings