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
13. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings
by 
Ayala, Jose L. editor.
https://doi.org/10.1007/978-3-642-24154-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
14. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
by 
van Leuken, Rene. editor.
https://doi.org/10.1007/978-3-642-17752-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
15. 
Cover image for Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
by 
Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-642-02949-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
16. 
Cover image for Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings
by 
Maneth, Sebastian. editor.
https://doi.org/10.1007/978-3-642-02979-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
17. 
Cover image for Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings
Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings
by 
Kaeli, David. editor.
https://doi.org/10.1007/978-3-540-93799-9
Format: 
Excerpt: 
Logic design.
18. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers
by 
Svensson, Lars. editor.
https://doi.org/10.1007/978-3-540-95948-9
Format: 
Excerpt: 
Computer arithmetic and logic units.
19. 
Cover image for Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
by 
Dumas, Marlon. editor. (orcid)0000-0002-9247-7476
https://doi.org/10.1007/978-3-540-79230-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
20. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
by 
Al-Begain, Khalid. editor.
https://doi.org/10.1007/978-3-540-68982-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
21. 
Cover image for Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers
Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers
by 
Chitil, Olaf. editor.
https://doi.org/10.1007/978-3-540-85373-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
22. 
Cover image for Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
by 
Beckert, Bernhard. editor.
https://doi.org/10.1007/978-3-540-79124-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
23. 
Cover image for Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008, Proceedings
by 
Kounev, Samuel. editor.
https://doi.org/10.1007/978-3-540-69814-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
24. 
Cover image for Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers
by 
Overhage, Sven. editor.
https://doi.org/10.1007/978-3-540-77619-2
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.