Interactive Systems. Design, Specification, and Verification Электронный ресурс : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / /edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, T. C. Nicholas Graham, Philippe Palanque.

Hutchison, David.
Публикация
Berlin, Heidelberg : : Springer-Verlag Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Graham, T. C. Nicholas.
Kanade, Takeo.
Kittler, Josef.
Kleinberg, Jon M.
Mattern, Friedemann.
Mitchell, John C.
Naor, Moni.
Nierstrasz, Oscar.
Palanque, Philippe.
Pandu Rangan, C.
Steffen, Bernhard.
Sudan, Madhu.
Terzopoulos, Demetri.
Tygar, Doug.
Vardi, Moshe Y.
Weikum, Gerhard.
Источник
Springer eBooks
Серия
Lecture Notes in Computer Science, 0302-9743 ; 5136
Всего оценка: 0
Нет записей для отображения.
 
 
 
02405nmm a22006015u 4500
001
 
 
vtls000362218
003
 
 
RU-ToGU
005
 
 
20120829045800.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540705697
035
$a to000362218
039
9
$a 201208290458 $b VLOAD $y 200905072340 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Hutchison, David.
245
1
0
$a Interactive Systems. Design, Specification, and Verification $h Электронный ресурс $b 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / $c edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, T. C. Nicholas Graham, Philippe Palanque.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2008.
490
1
0
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5136
650
0
$a Computer Communication Networks
650
0
$a Computer Science
650
0
$a Information storage and retrieval systems
650
0
$a Logic design
650
0
$a Multimedia systems
650
0
$a Software engineering
650
1
4
$a Computer Science
650
2
4
$a Computer Communication Networks
650
2
4
$a Information Storage and Retrieval
650
2
4
$a Logics and Meanings of Programs
650
2
4
$a Multimedia Information Systems
650
2
4
$a Software Engineering
650
2
4
$a User Interfaces and Human Computer Interaction
700
1
$a Graham, T. C. Nicholas.
700
1
$a Kanade, Takeo.
700
1
$a Kittler, Josef.
700
1
$a Kleinberg, Jon M.
700
1
$a Mattern, Friedemann.
700
1
$a Mitchell, John C.
700
1
$a Naor, Moni.
700
1
$a Nierstrasz, Oscar.
700
1
$a Palanque, Philippe.
700
1
$a Pandu Rangan, C.
700
1
$a Steffen, Bernhard.
700
1
$a Sudan, Madhu.
700
1
$a Terzopoulos, Demetri.
700
1
$a Tygar, Doug.
700
1
$a Vardi, Moshe Y.
700
1
$a Weikum, Gerhard.
710
2
$a SpringerLink (Online service)
773
0
$t Springer eBooks
830
#
$a Lecture Notes in Computer Science,
856
4
0
$u http://dx.doi.org/10.1007/978-3-540-70569-7
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
Нет комментариев.
Предмет
Computer Communication Networks
Computer Science
Information storage and retrieval systems
Logic design
Multimedia systems
Software engineering
Computer Science
Computer Communication Networks
Information Storage and Retrieval
Logics and Meanings of Programs
Multimedia Information Systems
Software Engineering
User Interfaces and Human Computer Interaction