Limit Search Results
Author
SpringerLink (Online service)
(58)
Taylor and Francis.
(10)
Wiley InterScience (Online service)
(3)
Abran, Alain, 1949-
(2)
Bishop, Robert H., 1957-
(2)
Language
Publication Date
-
Subject
Software engineering.
(61)
Operating systems (Computers).
(22)
Computer science.
(21)
Computers.
(21)
Electronic books.
(19)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
105 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers
Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers
Author 
Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Toma, Cristian. editor. (orcid)0000-0001-9316-7739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12942-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods An Appetizer
Formal Methods An Appetizer
Author 
Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05156-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings
Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings
Author 
Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33778-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
Author 
Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31919-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Author 
Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17227-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The Electrical Engineering Handbook - Six Volume Set
The Electrical Engineering Handbook - Six Volume Set
Author 
Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number 
R857 .B54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures
Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures
Author 
Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33274-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Author 
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34175-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers
Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers
Author 
Tsitouridou, Meni. editor. A. Diniz, José. editor. Mikropoulos, Tassos A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20954-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Author 
Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12797-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action