Limit Search Results
Author
SpringerLink (Online service)
(670)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(24)
Apduhan, Bernady O. editor.
(22)
Taniar, David. editor. (orcid)0000-0002-8862-3960
(18)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Language
English
(674)
Publication Date
-
Subject
Application software.
(395)
Computer and Information Systems Applications.
(343)
Computer networks .
(270)
Artificial intelligence.
(237)
Computer Communication Networks.
(226)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
675 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
Author 
Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136094
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Author 
Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104225
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
Author 
Hobbs, Chris (Christopher W.)
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings
Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings
Author 
Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86493-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Author 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, 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-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Author 
Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71412-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings
Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings
Author 
Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72393-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II
Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II
Author 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action