LEADER 02853cam 2200541 a 4500001 ssj0000396382 003 WaSeSS 005 20210312081412.0 006 m d 007 cr n 008 010807s2000 caua sb 101 0 eng d 010 2001270692 020 0769507654 020 0769507662 (case) 020 0769507670 (microfiche) 035 (WaSeSS)ssj0000396382 040 LHL |cLHL |dE9X |dDLC |dWaSeSS 042 lccopycat 049 EREENEHH 050 00 QA76.9.S88 |bI5825 2000 111 2 International Symposium on System Synthesis |n(13th : |d2000 : |cMadrid, Spain) |?UNAUTHORIZED 245 14 The 13th International Symposium on System Synthesis |h[electronic resource] : |bproceedings : Madrid, Spain, September 20-22, 2000 / |csponsored by IEEE Computer Society Technical Committee on Design Automation ; ACM SIGDA. 246 1 |iHalf t.p. title:ISSS-2000 260 Los Alamitos, California : |bIEEE Computer Society, 300 xiii, 232 p. : |bill. ; |c28 cm. 500 "IEEE Computer Society Order Number PR00765"--T.p. verso. 504 Includes bibliographical references and author index. 506 Available only to authorized users. 530 Also available via the World Wide Web with additional title: System Synthesis, 2000, proceedings, the 13th International Symposium on. 538 Mode of access: World Wide Web 650 0 System design |vCongresses. |=^A121730 650 0 Systems software |vCongresses. |=^A1243072 650 0 Computer-aided software engineering |vCongresses. |=^A1236869 655 0 Electronic books. |=^A491897 710 2 IEEE Computer Society. |bDesign Automation Technical Committee. |=^A73828 710 2 ACM Special Interest Group on Design Automation. |=^A73827 710 2 IEEE Xplore (Online service) |=^A534875 856 40 |zFull text available from IEEE Electronic Library (IEL) |uhttps://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Fieeexplore.ieee.org%2Fservlet%2Fopac%3Fpunumber%3D7021 856 40 |zFull text available from IEEE Electronic Library (IEL) Conference Proceedings |uhttps://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Fieeexplore.ieee.org%2Fservlet%2Fopac%3Fpunumber%3D7021 947 (OCoLC)ocm45074391 949 CLICK ON WEB ADDRESS |wASIS |hJOYNER188 949 CLICK ON WEB ADDRESS |wASIS |hHSL77 949 CLICK ON WEB ADDRESS |wASIS |hJMUSIC60 596 1 3 4 998 4665566