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) -
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
Published: (2016) -
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Published: (2015)