Coverart for item
The Resource Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers, Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.), (electronic resource)

Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers, Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.), (electronic resource)

Label
Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers
Title
Computer aided systems theory-- EUROCAST 2007
Title remainder
11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers
Statement of responsibility
Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.)
Title variation
  • EUROCAST 2007
  • 11th International Conference on Computer Aided Systems Theory
  • Eleventh International Conference on Computer Aided Systems Theory
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
OHX
Dewey number
620.00285
LC call number
TA345
LC item number
.I5496 2007
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
International Conference on Computer Aided Systems Theory
http://library.link/vocab/relatedWorkOrContributorName
  • Moreno-Díaz, Roberto
  • Pichler, Franz
  • Quesada Arencibia, Alexis
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
4739
http://library.link/vocab/subjectName
  • Computer-aided engineering
  • Computer-aided design
  • System analysis
  • System theory
  • CAST
Summary expansion
This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Computer Aided Systems Theory, EUROCAST 2007, held in Las Palmas de Gran Canaria, Spain in February 2007.The 144 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information Processing, Computers in Education, Grid Computing, Applied Formal Verification, Cellular Automata, Computer Vision, Heuristic Problem Solving, Signal Processing Architectures, Robotics and Robotic Soccer, Cybercars and Intelligent Vehicles and Artificial Intelligence Components
Label
Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers, Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Systems theory and simulation : formal approaches -- Computation and simulation in modelling biological systems -- Intelligent information processing -- Computers in education -- Applied formal verification -- Cellular automata -- Computer vision -- Heuristic problem solving -- Signal processing architectures -- Robotics and robotic software -- Cybercars and intelligent vehicles -- Artificial intelligence components
  • Systems theory and simulation : formal approaches -- Computation and simulation in modelling biological systems -- Intelligent information processing -- Computers in education -- Applied formal verification -- Cellular automata -- Computer vision -- Heuristic problem solving -- Signal processing architectures -- Robotics and robotic software -- Cybercars and intelligent vehicles -- Artificial intelligence components
Control code
OCM1bookssj0000316845
Dimensions
unknown
Isbn
9783540758662
Isbn Type
(softcover : alk. paper)
Lccn
2007939453
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316845
Label
Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers, Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Contents
  • Systems theory and simulation : formal approaches -- Computation and simulation in modelling biological systems -- Intelligent information processing -- Computers in education -- Applied formal verification -- Cellular automata -- Computer vision -- Heuristic problem solving -- Signal processing architectures -- Robotics and robotic software -- Cybercars and intelligent vehicles -- Artificial intelligence components
  • Systems theory and simulation : formal approaches -- Computation and simulation in modelling biological systems -- Intelligent information processing -- Computers in education -- Applied formal verification -- Cellular automata -- Computer vision -- Heuristic problem solving -- Signal processing architectures -- Robotics and robotic software -- Cybercars and intelligent vehicles -- Artificial intelligence components
Control code
OCM1bookssj0000316845
Dimensions
unknown
Isbn
9783540758662
Isbn Type
(softcover : alk. paper)
Lccn
2007939453
Specific material designation
remote
System control number
(WaSeSS)bookssj0000316845

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...