Results
|
|
361.
|
|
|
|
362.
|
|
|
|
363.
|
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.). by Series: Lecture notes in computer science ; 9421. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
364.
|
Service-oriented computing -- ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised selected papers / Alex Norta, Walid Gaaloul, G.R. Gangadharan, Hoa Khanh Dam (eds.). by
- ICSOC (Conference) (13th : 2015 : Velha Goa, India) [jointly held conference.]
- Norta, Alex [editor.]
- Gaaloul, Walid [editor.]
- Gangadharan, G. R [editor.]
- Dam, Hoa Khanh [editor.]
- International Workshop on Engineering Service-Oriented Applications: Design and Composition (11th : 2015 : Velha Goa, India)
- RMSOC (Workshop) (2nd : 2015 : Velha Goa, India)
- ISC (Workshop) (2015 : Velha Goa, India)
- DISCO (Workshop) (1st : 2015 : Velha Goa, India)
- Workshop on Engineering for Service-Oriented Enterprises (2015 : Velha Goa, India)
- BSCI (Workshop) (1st : 2015 : Velha Goa, India)
- FOR-MOVES (2nd : 2015 : Velha Goa, India)
Series: Lecture notes in computer science ; 9586. | Lecture notes in computer science. Services science. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2016
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
365.
|
|
|
|
366.
|
Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / Alberto Lluch Lafuente, José Proença (eds.). by Series: Lecture notes in computer science ; 9686. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
367.
|
Provenance and annotation of data and processes : 6th International Provenance and Annotation Workshop, IPAW 2016, McLean, VA, USA, June 7-8, 2016, proceedings / Marta Mattoso, Boris Glavic (eds.). by Series: LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. | Lecture notes in computer science ; 9672.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
368.
|
Management and security in the age of hyperconnectivity : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings / Rémi Badonnel, Robert Koch, Aiko Pras, Martin Drašar, Burkhard Stiller (eds.). by Series: Lecture notes in computer science ; 9701. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
369.
|
|
|
|
370.
|
Security of industrial control systems and cyber physical systems : first Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised selected papers / Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis (eds.). by Series: Lecture notes in computer science ; 9588. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Other title:
- CyberICS 2015
- WOS-CPS 2015
Availability: Items available for loan: e-Library (1).
|
|
|
371.
|
Social, cultural, and behavioral modeling : 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28-July 1, 2016, Proceedings / Kevin S. Xu, David Reitter, Dongwon Lee, [and] Nathaniel Osgood (eds.). by Series: Lecture notes in computer science ; 9708.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: [Cham] : Springer, 2016
Other title:
- 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28-July 1, 2016, proceedings
- SBP-BRiMS 2016
- Proceedings
Availability: Items available for loan: e-Library (1).
|
|
|
372.
|
Detection of intrusions and malware, and vulnerability assessment : 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings / Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez (eds.). by Series: Lecture notes in computer science ; 9721.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: [Switzerland] : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
373.
|
Modelling foundations and applications : 12th European Conference, ECMFA 2016, held as part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / Andrzej Wąsowski, Henrik Lönn (eds.). by Series: Lecture notes in computer science ; 9764. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
374.
|
Theory and practice of model transformations : 9th International Conference, ICMT 2016, held as part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / edited by Pieter Van Gorp, Gregor Engels. by Series: Lecture notes in computer science ; 9765. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
375.
|
|
|
|
376.
|
Human aspects of information security, privacy, and trust : 4th international conference, HAS 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings / Theo Tryfonas (eds.). by Series: Lecture notes in computer science ; 9750. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
377.
|
Information security and privacy : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I / Joseph K. Liu, Ron Steinfeld (eds.). by Series: Lecture notes in computer science ; 9722. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
378.
|
Information security and privacy : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings. Part II / Joseph K. Liu, Ron Steinfeld (eds.). by Series: Lecture notes in computer science ; 9723. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
379.
|
|
|
|
380.
|
Trust, privacy, and security in digital business : 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016. Proceedings / Sokratis K. Katsikas, Costas Lambrinoudakis, Steven Furnell (eds.). by Series: Lecture notes in computer science ; 9830. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|