Tools

LEADER 03786cam a2200697 a 4500

001 ssj0000316845;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 071015s2007 gw a sb 101 0 eng d;

010 a| 2007939453;

015 a| 07,N41,00162| dnb;

016 7 a| 9857577792| DE-101;

020 a| 9783540758662 (softcover : alk. paper);

020 a| 3540758666 (softcover : alk. paper);

035 a| (WaSeSS)ssj0000316845;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| TA345b| .I5496 2007;

072 7 a| TA2| lcco;

082 00 a| 620.002852| 23;

084 a| 0042| sdnb;

084 a| MSR 580f2| stub;

084 a| SS 48002| rvk;

111 2 a| International Conference on Computer Aided Systems Theoryn| (11th :d| 2007 :c| Las Palmas, Canary Islands)?| UNAUTHORIZED;

245 10 a| Computer aided systems theory-- EUROCAST 2007h| [electronic resource] :b| 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers /c| Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.).;

246 30 a| EUROCAST 2007;

246 30 a| 11th International Conference on Computer Aided Systems Theory;

246 3 a| Eleventh International Conference on Computer Aided Systems Theory;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xix, 1233 p. :b| ill. ;c| 24 cm.;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 4739;

490 1 a| LNCS sublibrary. SL 1, Theoretical computer science and general issues;

504 a| Includes bibliographical references and index.;

505 0 a| 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.;

506 a| Available only to authorized users.;

530 a| Also issued online.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer-aided engineeringv| Congresses.=| ^A263042;

650 0 a| Computer-aided designv| Congresses.=| ^A464450;

650 0 a| System analysisv| Congresses.=| ^A51061;

650 0 a| System theoryv| Congresses.=| ^A653031;

650 07 a| CAST.2| swd;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Moreno-Díaz, Roberto.=| ^A269323;

700 1 a| Pichler, Franz,c| Ing., Dr. phil.?| UNAUTHORIZED;

700 1 a| Quesada Arencibia, Alexis.=| ^A610274;

830 0 a| Lecture notes in computer sciencev| 4739.x| 0302-9743=| ^A466336;

830 0 a| LNCS sublibrary.n| SL 1,p| Theoretical computer science and general issues.=| ^A1368241;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-75866-2;

947 a| (OCoLC)ocn181598528;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4024176;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024176-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024176-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4024176-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

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

Author/creator	International Conference on Computer Aided Systems Theory
Other author	Moreno-Díaz, Roberto.
Other author	Pichler, Franz, Ing., Dr. phil.
Other author	Quesada Arencibia, Alexis.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xix, 1233 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Computer-aided engineering--Congresses. Computer-aided design--Congresses. System analysis--Congresses. System theory--Congresses.

Portion of title	EUROCAST 2007
Portion of title	11th International Conference on Computer Aided Systems Theory
Variant title	Eleventh International Conference on Computer Aided Systems Theory
Series	Lecture notes in computer science, 0302-9743 ; 4739 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science 4739. 0302-9743 ^A466336 LNCS sublibrary. SL 1, Theoretical computer science and general issues. ^A1368241
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.
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2007939453
ISBN	9783540758662 (softcover : alk. paper)
ISBN	3540758666 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

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

Click here for more information about this title

Availability