Limit Search Results
Author
SpringerLink (Online service)
(93)
Margaria, Tiziana. editor.
(5)
Masak, Dieter. author.
(5)
Bandini, Stefania. editor.
(4)
Steffen, Bernhard. editor.
(4)
Language
Publication Date
-
Subject
Computer industry.
(63)
Software engineering.
(32)
Artificial intelligence.
(16)
Information systems.
(16)
Computer system performance.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Author 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02928-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
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:
58. 
Cover image for Recht für Medienberufe Kompaktes Wissen zu allen rechtstypischen Fragen
Recht für Medienberufe Kompaktes Wissen zu allen rechtstypischen Fragen
Author 
Kaesler, Clemens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-02011-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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:
60. 
Cover image for Game Analytics Maximizing the Value of Player Data
Game Analytics Maximizing the Value of Player Data
Author 
Seif El-Nasr, Magy. editor. Drachen, Anders. editor. Canossa, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331053.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4769-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action