Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
by
Fontaine, Pascal. editor.
Title
:
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author
:
Fontaine, Pascal. editor.
ISBN
:
9783642408854
Physical Description
:
XII, 359 p. 35 illus. online resource.
Series
:
Lecture Notes in Computer Science, 8152
Subject Term
:
Computer science.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Added Author
:
Ringeissen, Christophe.
Schmidt, Renate A.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 335023-1001 | ONLINE(335023.1) | | Elektronik Kütüphane |