Limit Search Results
Author
SpringerLink (Online service)
(33)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Adamatzky, Andrew. editor.
(2)
Bannister, Frank Edward. editor.
(2)
Chua, Leon. editor.
(2)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(19)
Software engineering.
(15)
Computer logic.
(8)
Artificial intelligence.
(6)
Electronic circuits.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
47 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Electronic Identity
Electronic Identity
Author 
de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6449-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
Author 
Lindgren, Ida. editor. (orcid)0000-0002-4735-8697 Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Lee, Habin. editor. (orcid)0000-0003-0071-4874 Polini, Andrea. editor. (orcid)0000-0002-2840-7561 Rodríguez Bolívar, Manuel Pedro. editor. (orcid)0000-0001-8959-7664
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27325-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Author 
Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Veronique. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Küsters, Ralf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30625-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
Author 
Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Edelmann, Noella. editor. Glassey, Olivier. editor. (orcid)0000-0001-8795-0591 Misuraca, Gianluca. editor. Parycek, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27397-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26–29, 2019, Proceedings
Author 
Kő, Andrea. editor. (orcid)0000-0003-0023-1143 Francesconi, Enrico. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27523-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963)
WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963)
Author 
Corry, Leo. author. Leviathan, Raya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25734-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings
Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings
Author 
Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44914-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Electronic Government 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings
Electronic Government 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings
Author 
Janssen, Marijn. editor. Scholl, Hans Jochen. editor. Wimmer, Maria A. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44426-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications
Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications
Author 
Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook of Memristor Networks
Handbook of Memristor Networks
Author 
Chua, Leon. editor. Sirakoulis, Georgios Ch. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76375-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action