Limit Search Results
Author
SpringerLink (Online service)
(53)
Bernardo, Marco. editor.
(4)
Das, Vinu V. editor.
(2)
Thankachan, Nessy. editor.
(2)
Alpuente, María. editor.
(1)
Language
Publication Date
-
Subject
Special Purpose and Application-Based Systems.
(53)
Software engineering.
(48)
Computer science.
(45)
Computer Science Logic and Foundations of Programming.
(44)
Compilers (Computer programs).
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
53 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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
by 
Merayo, Mercedes G. editor.
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
by 
Lang, Frédéric. editor.
https://doi.org/10.1007/978-3-319-10702-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
by 
Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-642-54118-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
by 
George, Laurent. editor.
https://doi.org/10.1007/978-3-319-08311-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
by 
Dierkes, Michael. editor.
https://doi.org/10.1007/978-3-642-41010-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
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
by 
Yenigün, Hüsnü. editor. (orcid)0000-0003-0947-8150
https://doi.org/10.1007/978-3-642-41707-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
by 
Sharygina, Natasha. editor.
https://doi.org/10.1007/978-3-642-39799-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
8. 
Cover image for Reliable Software Technologies -- Ada-Europe 2013 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
Reliable Software Technologies -- Ada-Europe 2013 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
by 
Keller, Hubert B. editor.
https://doi.org/10.1007/978-3-642-38601-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
9. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
by 
Cortellessa, Vittorio. editor.
https://doi.org/10.1007/978-3-642-37057-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
by 
Nielsen, Brian. editor.
https://doi.org/10.1007/978-3-642-34691-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
11. 
Cover image for Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
by 
Parthasarathy, Madhusudan. editor.
https://doi.org/10.1007/978-3-642-31424-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for VLSI-SoC: The Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: The Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
by 
Mir, Salvador. editor.
https://doi.org/10.1007/978-3-642-32770-4
Format: 
Excerpt: 
Logic design.
Select an Action