Limit Search Results
Author
SpringerLink (Online service)
(64)
Merayo, Mercedes G. editor.
(3)
Biere, Armin. editor.
(2)
Bin, Eyal. editor.
(2)
Grieskamp, Wolfgang. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(39)
Logic design.
(28)
Artificial intelligence.
(14)
Information Systems.
(13)
Computer software.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Author 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers
Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers
Author 
Dingsøyr, Torgeir. editor. Moe, Nils Brede. editor. Tonelli, Roberto. editor. Counsell, Steve. editor. Gencel, Cigdem. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14358-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
Author 
Bauer, Thomas. editor. Großmann, Jürgen. editor. Seehusen, Fredrik. editor. Stølen, Ketil. editor. Wendland, Marc-Florian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07076-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Finite Element Analysis for Satellite Structures Applications to Their Design, Manufacture and Testing
Finite Element Analysis for Satellite Structures Applications to Their Design, Manufacture and Testing
Author 
Abdelal, Gasser F. author. Abuelfoutouh, Nader. author. Gad, Ahmed H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331031.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Author 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335141.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
Author 
Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31612-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for 7th RILEM International Conference on Cracking in Pavements Mechanisms, Modeling, Testing, Detection and Prevention Case Histories
7th RILEM International Conference on Cracking in Pavements Mechanisms, Modeling, Testing, Detection and Prevention Case Histories
Author 
Scarpas, A. editor. Kringos, N. editor. Al-Qadi, I. editor. A., Loizos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4566-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Software Testing in the Cloud Migration and Execution
Software Testing in the Cloud Migration and Execution
Author 
Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32122-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Author 
Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34188-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action