Limit Search Results
Author
SpringerLink (Online service)
(33)
Bernardo, Marco. editor.
(4)
Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874
(3)
Mandal, Jyotsna Kumar. editor.
(3)
Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313
(3)
Language
Publication Date
-
Subject
Computer networks .
(29)
Software engineering.
(11)
Computer science.
(9)
Computational intelligence.
(8)
Telecommunication.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Transactions on Pattern Languages of Programming V
Transactions on Pattern Languages of Programming V
Author 
Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70810-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Author 
Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95728-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Author 
Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62638-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Author 
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7743-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I
Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I
Author 
Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62846-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II
Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II
Author 
Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62849-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
Author 
Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64529-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
Author 
Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70797-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Proceedings of 7th ASRES International Conference on Intelligent Technologies ICIT 2022, Jakarta, Indonesia
Proceedings of 7th ASRES International Conference on Intelligent Technologies ICIT 2022, Jakarta, Indonesia
Author 
Arya, Karm Veer. editor. Tripathi, Vipin Kumar. editor. Rodriguez, Ciro. editor. Yusuf, Eddy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1912-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Author 
Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4554-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings
Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings
Author 
Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65551-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Guide to Security in SDN and NFV Challenges, Opportunities, and Applications
Guide to Security in SDN and NFV Challenges, Opportunities, and Applications
Author 
Zhu, Shao Ying. editor. Scott-Hayward, Sandra. editor. Jacquin, Ludovic. editor. Hill, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage
Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage
Author 
Ludwig, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-16921-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Author 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
Author 
Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55483-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers
Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers
Author 
Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49580-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for The Role of SDN in Broadband Networks
The Role of SDN in Broadband Networks
Author 
Habibi Gharakheili, Hassan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Architectural Transformations in Network Services and Distributed Systems
Architectural Transformations in Network Services and Distributed Systems
Author 
Luntovskyy, Andriy. author. Spillner, Josef. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14842-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Industrial Networks and Intelligent Systems Second International Conference, INISCOM 2016, Leicester, UK, October 31 - November 1, 2016, Proceedings
Industrial Networks and Intelligent Systems Second International Conference, INISCOM 2016, Leicester, UK, October 31 - November 1, 2016, Proceedings
Author 
Maglaras, Leandros A. editor. (orcid)0000-0001-5360-9782 Janicke, Helge. editor. Jones, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52569-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software Defined Networking Applications in Distributed Datacenters
Software Defined Networking Applications in Distributed Datacenters
Author 
Qi, Heng. author. Li, Keqiu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33135-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Anti-fragile ICT Systems
Anti-fragile ICT Systems
Author 
Hole, Kjell Jørgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30070-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 2
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 2
Author 
Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2523-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Author 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Wireless Sensor Networks for Structural Health Monitoring
Wireless Sensor Networks for Structural Health Monitoring
Author 
Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 1
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 1
Author 
Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2517-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3
Proceedings of the Second International Conference on Computer and Communication Technologies IC3T 2015, Volume 3
Author 
Satapathy, Suresh Chandra. editor. Raju, K. Srujan. editor. (orcid)0000-0001-5058-4313 Mandal, Jyotsna Kumar. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2526-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications
Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications
Author 
Möller, Dietmar P.F. author. (orcid)0009-0002-6897-7662 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25178-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Soft Computing in Computer and Information Science
Soft Computing in Computer and Information Science
Author 
Wiliński, Antoni. editor. Fray, Imed El. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Theory and Applications of Applied Electromagnetics APPEIC 2014
Theory and Applications of Applied Electromagnetics APPEIC 2014
Author 
Sulaiman, Hamzah Asyrani. editor. Othman, Mohd Azlishah. editor. Abd. Aziz, Mohamad Zoinol Abidin. editor. Abd Malek, Mohd Fareq. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17269-9
Format: 
Availability 
Online Library~1
Available:
Copies: