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

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

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 arc...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: EUROCAST (BerichterstatterIn)
Weitere Verfasser: Moreno Díaz, Roberto (BerichterstatterIn), Pichler, Franz (BerichterstatterIn), Quesada Arencibia, Alexis (BerichterstatterIn), Moreno-Díaz, Roberto (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2007
Schriftenreihe:Lecture notes in computer science 4739
Schlagworte:
Computer-aided engineering > Computer-aided design > System analysis > System theory > Konferenzschrift > CAST
Online Zugang:SpringerLink
Verlagsangaben
Cover
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Beschreibung:Literaturangaben
Beschreibung:XIX, 1233 S.
Ill., graph. Darst.
235 mm x 155 mm
ISBN:3540758666
3-540-75866-6
9783540758662
978-3-540-75866-2