Skip to content
Texas A&M University Libraries
  • MyLibrary
  • Help

Libraries Catalog

Advanced
  • Frontiers of combining systems...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings /

Bibliographic Details
Corporate Author: FroCoS (Symposium) Saarbrücken, Germany)
Other Authors: Sofronie-Stokkermans, Viorica, Tinelli, C. (Cesare)
Format: Conference Proceeding eBook
Language:English
Published: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, [2011]
Series:Lecture notes in computer science ; 6989.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer science
Computer software
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software engineering
Electronic books.
Online Access:Connect to the full text of this electronic book
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA9.A1 F76 2011
 
Call Number Status Get It
QA9.A1 F76 2011 Available
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...