Limit Search Results
Author
SpringerLink (Online service)
(212)
Bernardo, Marco. editor.
(6)
Baldoni, Matteo. editor.
(4)
Barthe, Gilles. editor.
(4)
Vardanega, Tullio. editor.
(4)
Language
Publication Date
-
2010
(37)
2012
(31)
2011
(28)
2006
(19)
2008
(18)
Subject
Compilers and Interpreters.
(212)
Computer networks .
(205)
Software engineering.
(204)
Computer Communication Networks.
(189)
Computer science.
(151)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
212 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
by 
Cassez, Franck. editor.
https://doi.org/10.1007/978-3-319-11936-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
2. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
by 
Poole, Stephen. editor. (orcid)0000-0002-4531-7453
https://doi.org/10.1007/978-3-319-05215-1
Format: 
Excerpt: 
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop
3. 
Cover image for ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
by 
Jones, Richard. editor.
https://doi.org/10.1007/978-3-662-44202-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
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.
5. 
Cover image for Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
by 
Cabot, Jordi. editor.
https://doi.org/10.1007/978-3-319-09195-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
by 
Fischbach, Kai. editor.
https://doi.org/10.1007/978-3-319-05359-2
Format: 
Excerpt: 
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17
7. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
by 
Kovalev, Mikhail. author.
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Excerpt: 
Theoretical Computer Science and General Issues,
8. 
Cover image for Beginning Application Lifecycle Management
Beginning Application Lifecycle Management
by 
Rossberg, Joachim. author.
https://doi.org/10.1007/978-1-4302-5813-1
Format: 
Excerpt: 
Computer Engineering and Networks.
9. 
Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
by 
Amyot, Daniel. editor.
https://doi.org/10.1007/978-3-319-11743-0
Format: 
Excerpt: 
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014
10. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
by 
Merz, Stephan. editor.
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Excerpt: 
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods
11. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
by 
Avgeriou, Paris. editor.
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
by 
Giannakopoulou, Dimitra. editor.
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Excerpt: 
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France
Select an Action