Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Trustworthy Global ComputingThird Sy...
~
(1998 :)
Trustworthy Global ComputingThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Trustworthy Global Computingedited by Gilles Barthe, Cedric Fournet.
Reminder of title:
Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
other author:
Fournet, Cedric.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008.
Description:
401 p. :ill., digital ;24 cm.
Series:
Lecture Notes in Computer Science,
Contained By:
Springer eBooks
Subject:
Computer securityCongresses.
Online resource:
http://dx.doi.org/10.1007/978-3-540-78663-4
ISBN:
9783540786627 (paper)
Trustworthy Global ComputingThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
Trustworthy Global Computing
Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /[electronic resource] :edited by Gilles Barthe, Cedric Fournet. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008. - 401 p. :ill., digital ;24 cm. - Lecture Notes in Computer Science,49120302-9743 ;.
ISBN: 9783540786627 (paper)Subjects--Topical Terms:
383239
Computer security
--Congresses.
LC Class. No.: QA76.9.A25 / T46 2007
Dewey Class. No.: 005.1
Trustworthy Global ComputingThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
LDR
:01009nmm _22002415a_450
001
185708
003
Springer
005
19980131081439.0
006
m d
007
cr nn 008maaau
008
090528s2008 gw j eng d
020
$a
9783540786627 (paper)
020
$a
9783540786634 (electronic bk.)
035
$a
00331356
050
0 0
$a
QA76.9.A25
$b
T46 2007
082
0 0
$2
22
$a
005.1
090
$a
QA76.9.A25
$b
T356 2007
111
0
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Trustworthy Global Computing
$b
Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
$c
edited by Gilles Barthe, Cedric Fournet.
$h
[electronic resource] :
260
#
$a
Berlin, Heidelberg :
$c
2008.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
401 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture Notes in Computer Science,
$v
4912
$x
0302-9743 ;
650
# 0
$a
Computer security
$v
Congresses.
$3
383239
650
# 0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Computer Communication Networks.
$3
218087
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
# 0
$a
Programming Techniques.
$3
274470
650
# 0
$a
Software Engineering.
$3
274511
650
# 0
$a
Systems and Data Security.
$3
274481
700
0 #
$a
Fournet, Cedric.
$3
277009
700
0 #
$a
Barthe, Gilles.
$3
277008
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer eBooks
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-3-540-78663-4
$z
http://dx.doi.org/10.1007/978-3-540-78663-4
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000011082
電子館藏
1圖書
電子書
EB QA76.9.A25 T356 2007
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/978-3-540-78663-4
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login