Implementation and Applications of Automata Электронный ресурс : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / /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, Oscar H. Ibarra, Bala Ravikumar.
Hutchison, David.Публикация | Berlin, Heidelberg : : Springer-Verlag Berlin Heidelberg, , 2008. |
Электронный ресурс | |
Другой Автор | Ibarra, Oscar H. Kanade, Takeo. Kittler, Josef. Kleinberg, Jon M. Mattern, Friedemann. Mitchell, John C. Naor, Moni. Nierstrasz, Oscar. Pandu Rangan, C. Ravikumar, Bala. Steffen, Bernhard. Sudan, Madhu. Terzopoulos, Demetri. Tygar, Doug. Vardi, Moshe Y. Weikum, Gerhard. |
Источник | Springer eBooks |
Серия | Lecture Notes in Computer Science, 0302-9743 ; 5148 |
Всего оценка:
0
02155nmm a22005415u 4500
001
vtls000362274
003
RU-ToGU
005
20120829051300.0
007
cr nn 008mamaa
008
120829s2008 xx j eng d
020
$a 9783540708445
035
$a to000362274
039
9
$a 201208290513 $b VLOAD $y 200905072341 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Hutchison, David.
245
1
0
$a Implementation and Applications of Automata $h Электронный ресурс $b 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / $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, Oscar H. Ibarra, Bala Ravikumar.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2008.
490
1
0
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5148
650
0
$a Computer Science
650
0
$a Computer software
650
0
$a Logic design
650
1
4
$a Computer Science
650
2
4
$a Algorithm Analysis and Problem Complexity
650
2
4
$a Computation by Abstract Devices
650
2
4
$a Logics and Meanings of Programs
650
2
4
$a Mathematical Logic and Formal Languages
700
1
$a Ibarra, Oscar H.
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 Pandu Rangan, C.
700
1
$a Ravikumar, Bala.
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-70844-5
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
Нет комментариев.
Предмет | Computer Science Computer software Logic design Computer Science Algorithm Analysis and Problem Complexity Computation by Abstract Devices Logics and Meanings of Programs Mathematical Logic and Formal Languages |