Background
Simovici, Dan was born on February 15, 1943 in Iasi, Romania. Son of Avram and Adelina (Herscu) Simovici. came to the United States, 1981.
(Formal languages provide the theoretical underpinnings fo...)
Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design. They are important in such areas as the study of biological systems, data transmission and compression, computer networks, and more. This text combines an algebraic approach with algorithmic aspects and decidability results and explores applications both within computer science and in fields where formal languages are finding new applications. It contains more than 600 graded exercises. While some are routine, many of the exercises are in reality supplementary material. Although the book has been designed for use by graduate and upper-level undergraduate students, its comprehensive coverage of the subject should make it suitable as a reference for scientists.
http://www.amazon.com/gp/product/9810237294/?tag=2022091-20
(Mathematical Foundations of Computer Science, Volume I is...)
Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systematic, and rigorous manner. The volume is organized by mathematical area, making the material easily accessible to the upper-undergraduate students in mathematics as well as in computer science and each chapter contains a large number of exercises. The volume can be used as a textbook, but it will also be useful to researchers and professionals who want a thorough presentation of the mathematical tools they need in a single source. In addition, the book can be used effectively as supplementary reading material in computer science courses, particularly those courses which involve the semantics of programming languages, formal languages and automata, and logic programming.
http://www.amazon.com/gp/product/0387974504/?tag=2022091-20
(Relational Database Systems provides a timely introductio...)
Relational Database Systems provides a timely introduction to the type of systems that are the current mainstay of the database management field. This book serves as a text for advanced undergraduate and graduate students, as well as an informative reference for researchers and professionals in all database aspects of computer science. It presents important querying systems including SQL and QUEL, and covers their respective theoretical foundations in relational algebra, tuple calculus, and domain calculus. The presentation of SQL adheres to the ANSI standard; however, the book discusses the most popular SQL dialects; a separate chapter covers imbedded SQL. The text also contains references to many significant relational database products, including INGRES, ORACLE, DB2, PARADOX, and SYBASE. Relational Database Systems concentrates on those issues that are most relevant to database design and application development. Exercises that constitute important extensions of the material are provided at the end of each chapter. The book assumes a knowledge of programming languages and datastructures, and some mathematical induction. • Includes coverage of embedded SQL, the most important existing application development tool • Presents query systems within their theoretical context • Discusses supporting mathematical theory • Offers a comparison of SQL dialects • Provides supplemental exercises for each chapter • Contains references to significant relational database products, including INGRES, ORACLE, DB2, PARADOX, and SYBASE
http://www.amazon.com/gp/product/0126443750/?tag=2022091-20
Simovici, Dan was born on February 15, 1943 in Iasi, Romania. Son of Avram and Adelina (Herscu) Simovici. came to the United States, 1981.
Master of Science in Electrical Engineering, Polytechnic Institute, Iasi, 1965. Master of Science, University Iasi, 1970. Doctor of Philosophy, University Bucharest, Romania, 1974.
Researcher, U. Lasi, 1965-1970; instructor, U. Lasi, 1970-1974; assistant professor, U. Lasi, 1974-1978; associate professor, U. Lasi, 1978-1981; associate professor, U. Miami, Florida, 1981-1982; associate professor, U. Massachusetts, Boston, 1982-1985; program director, professor, U. Massachusetts, Boston, since 1985.
(Mathematical Foundations of Computer Science, Volume I is...)
(Relational Database Systems provides a timely introductio...)
(Formal languages provide the theoretical underpinnings fo...)
Member Computer Society of Institute of Electrical and Electronics Engineers (chair technical committee multiple-values logic 1987-1989).
Married Doina Brauner, June 15, 1965. 1 child, Alex.