Limit Search Results
Author
SpringerLink (Online service)
(86)
Apduhan, Bernady O. editor.
(5)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(5)
Margaria, Tiziana. editor.
(5)
Masak, Dieter. author.
(5)
Language
Publication Date
-
Subject
Computer science.
(63)
Software engineering.
(43)
Computer system performance.
(18)
Artificial intelligence.
(17)
Computer network architectures.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
88 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Author 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Author 
Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92997-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Author 
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74313-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95168-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V
Author 
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95174-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Author 
Meiselwitz, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91521-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Information Systems: Education, Applications, Research 7th SIGSAND/PLAIS EuroSymposium 2014, Gdańsk, Poland, September 25, 2014, Proceedings
Information Systems: Education, Applications, Research 7th SIGSAND/PLAIS EuroSymposium 2014, Gdańsk, Poland, September 25, 2014, Proceedings
Author 
Wrycza, Stanisław. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11373-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014, Proceedings
Software Business. Towards Continuous Value Delivery 5th International Conference, ICSOB 2014, Paphos, Cyprus, June 16-18, 2014, Proceedings
Author 
Lassenius, Casper. editor. Smolander, Kari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08738-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Governing Sourcing Relationships. A Collection of Studies at the Country, Sector and Firm Level 8th Global Sourcing Workshop 2014, Val d'Isere, France, March 23-26, 2014, Revised Selected Papers
Governing Sourcing Relationships. A Collection of Studies at the Country, Sector and Firm Level 8th Global Sourcing Workshop 2014, Val d'Isere, France, March 23-26, 2014, Revised Selected Papers
Author 
Kotlarsky, Julia. editor. Oshri, Ilan. editor. Willcocks, Leslie P. editor. (orcid)0000-0003-2572-9554 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11367-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Internetwirtschaft Das Geschäft des Datentransports im Internet
Internetwirtschaft Das Geschäft des Datentransports im Internet
Author 
Zarnekow, Rüdiger. author. Wulf, Jochen. author. Bornstaedt, Falk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337222.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36687-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Developing B2B Social Communities KEYS TO GROWTH, INNOVATION, AND CUSTOMER LOYALTY
Developing B2B Social Communities KEYS TO GROWTH, INNOVATION, AND CUSTOMER LOYALTY
Author 
Brooks, Margaret. author. Lovett, J. J. author. Creek, Sam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330628.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4714-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action