Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Compiler Construction (vol. # 3443) 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Bibliographic Details
Published in:Springer e-books
Main Author: Bodik, Rastislav
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science,
Subjects:
Artificial intelligence
Computer Science
Logic design
Software engineering
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering
Online Access:http://dx.doi.org/10.1007/b107108
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/b107108
Перейти в каталог НБ ТГУ

Similar Items