Limit Search Results
Author
SpringerLink (Online service)
(44)
Dongarra, Jack. editor.
(4)
Schwiegelshohn, Uwe. editor.
(4)
Frachtenberg, Eitan. editor.
(3)
Ungerer, Theo. editor.
(3)
Language
Publication Date
-
Subject
Computer systems.
(44)
Computer science.
(29)
Computer Science Logic and Foundations of Programming.
(22)
Computer networks .
(17)
Computer programming.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
44 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
by 
Lover, Robert. author.
https://doi.org/10.1007/978-1-84800-082-7
Format: 
Excerpt: 
Elementary Logic For Software Development / Lover, Robert. author.
2. 
Cover image for Logic Functions and Equations Examples and Exercises
Logic Functions and Equations Examples and Exercises
by 
Steinbach, Bernd. author.
https://doi.org/10.1007/978-1-4020-9595-5
Format: 
Excerpt: 
Logic Functions and Equations Examples and Exercises / Steinbach, Bernd. author.
3. 
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.
4. 
Cover image for Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
by 
Giesl, Jürgen. editor.
https://doi.org/10.1007/978-3-642-14203-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
5. 
Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
by 
Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-642-00602-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
by 
Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-642-02658-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers II
Transactions on High-Performance Embedded Architectures and Compilers II
by 
Stenström, Per. editor. (orcid)0000-0002-7441-8245
https://doi.org/10.1007/978-3-642-00904-4
Format: 
Excerpt: 
Computer arithmetic and logic units.
8. 
Cover image for High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009
High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009
by 
Seznec, André. editor.
https://doi.org/10.1007/978-3-540-92990-1
Format: 
Excerpt: 
Computer arithmetic and logic units.
9. 
Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
by 
de Moor, Oege. editor.
https://doi.org/10.1007/978-3-642-00722-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
10. 
Cover image for Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
by 
Ravi, Sekharipuram S. editor.
https://doi.org/10.1007/978-1-4020-9688-4
Format: 
Excerpt: 
Logic design.
11. 
Cover image for High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings
High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings
by 
Stenström, Per. editor. (orcid)0000-0002-7441-8245
https://doi.org/10.1007/978-3-540-77560-7
Format: 
Excerpt: 
Computer arithmetic and logic units.
12. 
Cover image for Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers
Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers
by 
Frachtenberg, Eitan. editor.
https://doi.org/10.1007/978-3-540-78699-3
Format: 
Excerpt: 
Logic design.
Select an Action