Showing
1 - 11
results of
11
Skip to content
Institutional Login
Language
English
Te reo Māori
Books & media
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Applied Filters:
Suggested Topics:
Remove Filter
Computer networks
AND
Remove Filter
Verification
Page will reload when a filter is removed.
Show filters (2)
Suggested Topics:
Remove Filter
Computer networks
AND
Remove Filter
Verification
Search Results - "LNCS sublibrary. Theoretical computer science and general issues."
Suggested Topics within your search.
Suggested Topics within your search.
Computer networks
Computer software
11
Verification
Computer security
7
Security measures
7
Validation
7
Evaluation
4
Showing
1 - 11
results of
11
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers /
Published 2016
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 2
2
Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers /
by
Barthe, Gilles, 1967-
,
Fournet, Cédric
Published 2008
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 3
3
Trustworthly global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010 : revised selected papers /
by
Rauschmayer, Axel
,
Wirsing, M. (Martin)
Published 2010
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Table of contents
Request this item
Save to List
Saved in:
Select result number 4
4
Trustworthy global computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers /
by
Bruni, Roberto
,
Sassone, Vladimiro
Published 2012
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 5
5
Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers /
Published 2013
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 6
6
Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by
Abadi, Martín
,
Lafuente, Alberto Lluch
Published 2014
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 7
7
Trustworthy global computing : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised selected papers /
Published 2014
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 8
8
Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /
Published 2017
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 9
9
Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /
Published 2018
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 10
10
Verification and evaluation of computer and communication systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
Published 2019
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 11
11
Verification and evaluation of computer and communication systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings /
Published 2020
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Get full text
Springer eBooks
SpringerLink
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Location
Online
11 results
11
Item type
Ebook
11 results
11
Year of Publication
From:
To: