Jump to main content

yr 〜
yr

Search results 14

Fifth IEEE international conference on engineering of complex computer systems -- : Engineering of complex computer systems : International conference : 5th : Oct 1999, Las Vegas, NV.

Fifth IEEE international conference on engineering of complex computer systems -- : Engineering of complex computer systems : International conference : 5th : Oct 1999, Las Vegas, NV.
Paper図書
IEEE Computer Society1999.<M17-00-0975>
National Diet Library

Proceedings of the Second International Conference on Software Engineering and Formal Methods : SEFM 2004 : September 28-30, 2004 Beijing, China

Proceedings of the Second International Conference on Software Engineering and Formal Methods : SEFM 2004 : September 28-30, 2004 Beijing, China
Paper図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ; supported by UNU-IIST, Macao, Peking University, Beijing, China ... [et al.]IEEE Computer Societyc2004
Other Libraries in Japan

Proceedings, eighth IEEE International Conference on Engineering of Complex Computer Systems, 2-4 December 2002, Greenbelt, Maryland

Proceedings, eighth IEEE International Conference on Engineering of Complex Computer Systems, 2-4 December 2002, Greenbelt, Maryland
Paper図書
sponsored by IEEE Computer Society Technical Committee on Complexity in ComputingIEEE Computer Societyc2002
Other Libraries in Japan

Proceedings, 10th IEEE International Conference on Engineering of Complex Computer Systems : ICECCS 2005 : 16-20 June 2005, Shanghai, China

Proceedings, 10th IEEE International Conference on Engineering of Complex Computer Systems : ICECCS 2005 : 16-20 June 2005, Shanghai, China
Paper図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing (TCCX) ; co-sponsored by Shanghai Jiao Tong UniversityIEEE Computer Societyc2005
Other Libraries in Japan

Proceedings, Ninth IEEE International Conference on Engineering Complex Computer Systems : navigating complexity in the e-engineering age, ICECCS 2004, Florence, Italy 14-16 April 2004

Proceedings, Ninth IEEE International Conference on Engineering Complex Computer Systems : navigating complexity in the e-engineering age, ICECCS 2004, Florence, Italy 14-16 April 2004
Paper図書
edited by Pierfancesco Bellini, Shawn A. Bohner, Bernhard Steffen, sponsored by IEEE Computer Society Technical Committee on Complexity in Computing(TCCX)IEEE Computer Societyc2004
Other Libraries in Japan

Proceedings, fifth IEEE International Conference on Engineering of Complex Computer Systems, October 18-21, 1999, Las Vegas, Nevada USA

Proceedings, fifth IEEE International Conference on Engineering of Complex Computer Systems, October 18-21, 1999, Las Vegas, Nevada USA
Paper図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in ComputingIEEE Computer Society Pressc1999
Other Libraries in Japan
  • Author Heading...mputer Systems IEEE Computer Society Technical Committee on Complexity in computing

ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September, 2000 : microfiche

ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September, 2000 : microfiche
Paper図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. HincheyIEEE Computer Society Pressc2000
Other Libraries in Japan

Proceedings, seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11-13, 2001

Proceedings, seventh IEEE International Conference on Engineering of Complex Computer Systems : Skövde, Sweden, June 11-13, 2001
Paper図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ... [et al.] ; edited by Sten F. Andler, Michael G. Hinchey, Jeff OffuttIEEE Computer Societyc2001
Other Libraries in Japan

Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997

Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997
Paper図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]IEEE Computer Societyc1997
Other Libraries in Japan

Proceedings, second IEEE International Conference on Engineering of Complex Computer Systems : held jointly with 6th CSESAW, 4th IEEE RTAW, and SES'96, Montréal, Québec, Canada, October 21-25, 1996

Proceedings, second IEEE International Conference on Engineering of Complex Computer Systems : held jointly with 6th CSESAW, 4th IEEE RTAW, and SES'96, Montréal, Québec, Canada, October 21-25, 1996
Paper図書
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing in cooperation with IFAC COMPUTIEEE Computer Society Pressc1996
Other Libraries in Japan

Proceedings, sixth IEEE International Conference on Engineering of Complex Computer Systems : ICECCS 2000, September 11-14, 2000, Tokyo, Japan : case

Proceedings, sixth IEEE International Conference on Engineering of Complex Computer Systems : ICECCS 2000, September 11-14, 2000, Tokyo, Japan : case
Paper図書
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and SoftwareIEEE Computer Society Pressc2000
Other Libraries in Japan

Real-time systems education : microfiche

Real-time systems education : microfiche
Paper図書
edited by Janusz Zalewski ; sponsored by Embry-Riddle Aeronautical University ; in cooperation with IEEE Computer Society Technical Committee on Real-Time Systems (TCRTS) and IEEE Computer Society Technical Committee on Complexity in Computing (TCCC)IEEE Computer Society Pressc1996
Other Libraries in Japan

Third IEEE international conference on formal engineering methods -- : Formal engineering methods : International conference : 3rd : Sep 2000, York, UK.

Third IEEE international conference on formal engineering methods -- : Formal engineering methods : International conference : 3rd : Sep 2000, York, UK.
Paper図書
<M17-01-2532>
National Diet Library

Sixth IEEE international conference on engineering of complex computer systems -- : Engineering of complex computer systems : International conference : 6th : Sep 2000, Tokyo, Japan.

Sixth IEEE international conference on engineering of complex computer systems -- : Engineering of complex computer systems : International conference : 6th : Sep 2000, Tokyo, Japan.
Paper図書
<M17-01-0357>
National Diet Library

Reached to the end of result.

RSS