Limit Search Results
Author
SpringerLink (Online service)
(97)
Legay, Axel. editor.
(3)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Language
Subject
Compilers (Computer programs).
(89)
Compilers and Interpreters.
(89)
Software engineering.
(63)
Computer science.
(47)
Computer Science Logic and Foundations of Programming.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
122 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Author 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Software Engineering: Specification, Implementation, Verification
Software Engineering: Specification, Implementation, Verification
Author 
Alagić, Suad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61518-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Author 
Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65831-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Selection of Main Mechanical Ventilators for Underground Coal Mines A Case Study
Selection of Main Mechanical Ventilators for Underground Coal Mines A Case Study
Author 
Jha, Ajay Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56859-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings
Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings
Author 
Pham, Congduc. editor. Altmann, Jörn. editor. Bañares, José Ángel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68066-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Functional software size measurement methodology with effort estimation and performance indication
Functional software size measurement methodology with effort estimation and performance indication
Author 
Singh, Jasveer, 1955- author.
Preferred Shelf Number 
QA76.76 .S65 S56 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119238126
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Evolutionary algorithms
Evolutionary algorithms
Author 
Pétrowski, Alain, author. Ben-Hamida, Sana, author.
Preferred Shelf Number 
QA402.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119136378
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for SPSS statistics for data analysis and visualization
SPSS statistics for data analysis and visualization
Author 
McCormick, Keith (Consultant), author. Salcedo, Jesus, author. Peck, Jon, author. Wheeler, Andrew, author.
Preferred Shelf Number 
HA32
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183426
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Earthquake occurrence : short- and long-term models and their validation
Earthquake occurrence : short- and long-term models and their validation
Author 
Console, Rodolfo, 1944- author. Murru, Maura, author. Falcone, Giuseppe (Geophysicist), author.
Preferred Shelf Number 
QE534.3
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119372301
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for A data scientist's guide to acquiring, cleaning and managing data in R
A data scientist's guide to acquiring, cleaning and managing data in R
Author 
Buttrey, Samuel, author. Whitaker, Lyn R., author.
Preferred Shelf Number 
QA76.9 .D26
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119080053
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action