Limit Search Results
Author
Language
Publication Date
-
Subject
Computational intelligence.
(4)
Communications Engineering, Networks.
(2)
Compilers (Computer programs).
(2)
Compilers and Interpreters.
(2)
Computer Science Logic and Foundations of Programming.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Quantum Computing, Cyber Security and Cryptography Issues, Technologies, Algorithms, Programming and Strategies
Quantum Computing, Cyber Security and Cryptography Issues, Technologies, Algorithms, Programming and Strategies
Author 
Goyal, S. B. editor. Kumar, Vidyapati. editor. Islam, Sardar M. N. editor. (orcid)0000-0001-9451-7390 Ghai, Deepika. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4948-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers
Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers
Author 
Marchiori, Massimo. editor. García Peñalvo, Francisco. editor. (orcid)0000-0001-9987-5584 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89621-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proceedings of International Conference on Information Technology and Applications ICITA 2024
Proceedings of International Conference on Information Technology and Applications ICITA 2024
Author 
Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1758-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Recent Trends and Applications of Soft Computing in Engineering (RTASCE)- Sarajevo
Recent Trends and Applications of Soft Computing in Engineering (RTASCE)- Sarajevo
Author 
Duraković, Benjamin. editor. (orcid)0000-0002-3099-0354 Almisreb, Ali Abd. editor. Šutković, Jasmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82881-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Internet Modeling with Julia Models, Algorithms and Programs
Internet Modeling with Julia Models, Algorithms and Programs
Author 
Hofmann, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-44692-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proceedings of International Conference on Information Technology and Applications ICITA 2023
Proceedings of International Conference on Information Technology and Applications ICITA 2023
Author 
Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 Calandra, Davide. editor. (orcid)0000-0001-5159-7167 Di Fuccio, Raffaele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8324-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Serverless Computing: Principles and Paradigms
Serverless Computing: Principles and Paradigms
Author 
Krishnamurthi, Rajalakshmi. editor. Kumar, Adarsh. editor. Gill, Sukhpal Singh. editor. Buyya, Rajkumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26633-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The SMART CYBER ECOSYSTEM FOR SUSTAINABLE DEVELOPMENT.
The SMART CYBER ECOSYSTEM FOR SUSTAINABLE DEVELOPMENT.
Author 
Kumar, Pardeep, 1976- Jain, Vishal, 1983- Ponnusamy, Vasaki, 1974-
Preferred Shelf Number 
Q335
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119761655
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets