Limit Search Results
Author
SpringerLink (Online service)
(36)
Reussner, Ralf H. editor.
(3)
Azemard, Nadine. editor.
(2)
Bravetti, Mario. editor.
(2)
Horváth, András. editor.
(2)
Language
Publication Date
-
Subject
Electronic digital computers-Evaluation.
(36)
Computer science.
(28)
Computer Science Logic and Foundations of Programming.
(25)
Software engineering.
(24)
Computer networks .
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for A Graph-Theoretic Approach to Enterprise Network Dynamics
A Graph-Theoretic Approach to Enterprise Network Dynamics
by 
Bunke, Horst. author.
https://doi.org/10.1007/978-0-8176-4519-9
Format: 
Excerpt: 
Progress in Computer Science and Applied Logic,
2. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
by 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
3. 
Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
by 
Dingel, Juergen. editor.
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings
by 
Norman, Gethin. editor.
https://doi.org/10.1007/978-3-319-10696-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
by 
Horváth, András. editor.
https://doi.org/10.1007/978-3-319-10885-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
by 
Moreira, Ana. editor.
https://doi.org/10.1007/978-3-642-41533-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
by 
Dayde, Michel. editor.
https://doi.org/10.1007/978-3-642-38718-0
Format: 
Excerpt: 
Computer arithmetic and logic units.
8. 
Cover image for Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
by 
Keller, Rainer. editor.
https://doi.org/10.1007/978-3-642-35893-7
Format: 
Excerpt: 
Computer arithmetic and logic units.
9. 
Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
by 
Joshi, Kaustubh. editor.
https://doi.org/10.1007/978-3-642-40196-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
by 
Ayala, José L. editor.
https://doi.org/10.1007/978-3-642-36157-9
Format: 
Excerpt: 
Logic design.
11. 
Cover image for Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
by 
Peña, Ricardo. editor.
https://doi.org/10.1007/978-3-642-32495-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
12. 
Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
by 
France, Robert B. editor.
https://doi.org/10.1007/978-3-642-33666-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.