|
|
|
|
| LEADER |
02613nam a22005775i 4500 |
| 001 |
11193 |
| 003 |
DE-He213 |
| 005 |
20130725201922.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100915s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642156403
|9 978-3-642-15640-3
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-15640-3
|2 doi
|
| 050 |
# |
4 |
|a QA76.9.A25
|
| 072 |
# |
7 |
|a URY
|2 bicssc
|
| 072 |
# |
7 |
|a COM053000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.82
|2 23
|
| 100 |
1 |
# |
|a Wirsing, Martin.
|e editor.
|
| 245 |
1 |
0 |
|a Trustworthly Global Computing
|b 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /
|c edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a XII, 380p. 72 illus.
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Lecture Notes in Computer Science,
|v 6084
|x 0302-9743 ;
|
| 520 |
# |
# |
|a This book constitutes the refereed proceedings of the 5th International Symposium on Trustworthly Global Computing, TGC 2010, held in Munich, Germany, in February 2010. The 17 revised full papers presented and the 7 invited papers were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on types and processes; games and concurrent systems; certification of correctness; tools and languages; and probabilistic aspects.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer Communication Networks.
|
| 650 |
# |
0 |
|a Software engineering.
|
| 650 |
# |
0 |
|a Data encryption (Computer science).
|
| 650 |
# |
0 |
|a Coding theory.
|
| 650 |
# |
0 |
|a Computer software.
|
| 650 |
# |
0 |
|a Information Systems.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Data Encryption.
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|
| 650 |
2 |
4 |
|a Management of Computing and Information Systems.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Coding and Information Theory.
|
| 700 |
1 |
# |
|a Hofmann, Martin.
|e editor.
|
| 700 |
1 |
# |
|a Rauschmayer, Axel.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642156397
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6084
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15640-3
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|