Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz /
Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Ravi, S. S. (Editor), Shukla, Sandeep K. (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2009.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
Published: (2008) -
Formal Languages and Compilation
by: Crespi Reghizzi, Stefano
Published: (2009) -
Concrete Semantics With Isabelle/HOL /
by: Nipkow, Tobias, et al.
Published: (2014) -
High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings /
Published: (2005) -
High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
Published: (2008)