ヘルプ
ヘルプ

検索結果 49 件

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th international conference : New Delhi, India, December 12-14, 2007 : proceedings. : 27th annual conference on the foundations of software technology and theoretical computer science : Dec 2007, New Delhi, India. (Lecture Notes in Computer Science ; 4855)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th international conference : New Delhi, India, December 12-14, 2007 : proceedings. : 27th annual conference on the foundations of software technology and theoretical computer science : Dec 2007, New Delhi, India. (Lecture Notes in Computer Science ; 4855)
紙図書
Springerc2007.<M17-08-936>
国立国会図書館
  • 件名Software engineering -- Congresses. Computer science -- Congresses.
  • 一般注記Papers and an abstract.
  • 並列タイトル等（連結）FST and TCS

FSTTCS 2006: foundations of software technology and theoretical computer science : 26th international conference : Kolkata, India, December 13-15, 2006 : proceedings. : 26th annual conference on the foundations of software technology and theoretical computer science : Dec 2006, Kolkata, India. (Lecture Notes in Computer Science ; 4337)

FSTTCS 2006: foundations of software technology and theoretical computer science : 26th international conference : Kolkata, India, December 13-15, 2006 : proceedings. : 26th annual conference on the foundations of software technology and theoretical computer science : Dec 2006, Kolkata, India. (Lecture Notes in Computer Science ; 4337)
紙図書
Springerc2006.<M17-07-832>
国立国会図書館
  • 件名Software engineering -- Congresses. Computer science -- Congresses.
  • 一般注記Selected papers and abstracts.
  • 並列タイトル等（連結）FST and TCS

FST TCS 2000 : foundations of software technology and theoretical computer science -- : Foundations of software technology and theoretical computer science conference : 20th : Dec 2000, New Delhi, India. (Lecture Notes in Computer Science ; 1974)

FST TCS 2000 : foundations of software technology and theoretical computer science -- : Foundations of software technology and theoretical computer science conference : 20th : Dec 2000, New Delhi, India. (Lecture Notes in Computer Science ; 1974)
紙図書
Springer2000.<M17-01-1166>
国立国会図書館
  • 一般注記Papers. Index term: software technology ; computer science ; FST TCS. BL shelfmark: 5180...
  • 並列タイトル等（連結）software technology ; computer science ; FST TCS
  • 並列タイトル等software technology ; computer science ; FST TCS

Foundations of software technology and theoretical computer science -- : Foundations of software technology and theoretical computer science : Conference : 19th : Dec 1999, Chennai, India. (Lecture Notes in Computer Science ; 1738)

Foundations of software technology and theoretical computer science -- : Foundations of software technology and theoretical computer science : Conference : 19th : Dec 1999, Chennai, India. (Lecture Notes in Computer Science ; 1738)
紙図書
Springer1999.<M17-01-1043>
国立国会図書館
  • 一般注記...e. Index term: software technology ; theoretical computer science ; FST&TCS. BL shelfmark: 5180...
  • 並列タイトル等（連結）...TCS conference software technology ; theoretical computer science ; FST&TCS
  • 並列タイトル等...TCS conference software technology ; theoretical computer science ; FST&TCS

Foundations of software technology and theoretical computer science -- : Foundations of software technology and theoretical computer science : Annual conference : 17th : Dec 1997, Kharagpur, India. (Lecture Notes in Computer Science ; 1346)

Foundations of software technology and theoretical computer science -- : Foundations of software technology and theoretical computer science : Annual conference : 17th : Dec 1997, Kharagpur, India. (Lecture Notes in Computer Science ; 1346)
紙図書
Springer1997.<M17-01-0252>
国立国会図書館
  • 一般注記...S. Index term: software technology ; theoretical computer science ; FST ; TCS. BL shelfmark: 51...
  • 並列タイトル等（連結）Also known as FSTTCS software technology ; theoretical computer science ; FST ; TCS
  • 並列タイトル等Also known as FSTTCS software technology ; theoretical computer science ; FST ; TCS

FSTTCS 2005: foundations of software technology and theoretical computer science : 25th international conference : Hyderabad, India, December 15-18, 2005 : proceedings. : FST&TCS 2005 : Dec 2005, Hyderabad, India. (Lecture Notes in Computer Science ; 3821)

FSTTCS 2005: foundations of software technology and theoretical computer science : 25th international conference : Hyderabad, India, December 15-18, 2005 : proceedings. : FST&TCS 2005 : Dec 2005, Hyderabad, India. (Lecture Notes in Computer Science ; 3821)
紙図書
Springerc2005.<M17-06-1165>
国立国会図書館
  • 件名Software engineering -- Congresses. Computer science -- Congresses.
  • 一般注記Selected papers and an abstract.
  • 著者標目...h in Computing Science (IARCS) Ramanujam, R. Sen, Sandeep. Conference on Foundations of Software Technology and Theoretical Computer Science (25th : 2005 : Hyderabad, Ind...

Foundations of software technology and theoretical computer science : 16th Conference : Dec 1996, Hyderabad, India. (Lecture Notes in Computer Science ; 1180)

Foundations of software technology and theoretical computer science : 16th Conference : Dec 1996, Hyderabad, India. (Lecture Notes in Computer Science ; 1180)
紙図書
Springer1996.<M17-00-0381>
国立国会図書館
  • 一般注記Papers. Also known as FST and TCS 16. Index term: software technology ; theoretical computer science ; FST TCS. BL shelfmark: 5180...
  • 並列タイトル等（連結）Also known as FST and TCS 16 software technology ; theoretical computer science ; FST TCS
  • 並列タイトル等Also known as FST and TCS 16 software technology ; theoretical computer science ; FST TCS

Foundations of software technology and theoretical computer science : 15th Conference : Dec 1995, Bangalore, India. (Lecture Notes in Computer Science ; 1026)

Foundations of software technology and theoretical computer science : 15th Conference : Dec 1995, Bangalore, India. (Lecture Notes in Computer Science ; 1026)
紙図書
Springer-Verlagc1995.<M17-96-1221>
国立国会図書館
  • 一般注記...5. Index term: software technology ; theoretical computer science ; FST TCS. BL shelfmark: 5180...
  • 並列タイトル等（連結）Also known as FST&TCS 15 software technology ; theoretical computer science ; FST TCS
  • 並列タイトル等Also known as FST&TCS 15 software technology ; theoretical computer science ; FST TCS

FST TCS 2003: foundations of software technology and theoretical computer science : 23rd conference : Mumbai, India, December 15-17, 2003 : proceedings. : FSTTCS 2003 : Dec 2003, Mumbai, India. (Lecture Notes in Computer Science ; 2914)

FST TCS 2003: foundations of software technology and theoretical computer science : 23rd conference : Mumbai, India, December 15-17, 2003 : proceedings. : FSTTCS 2003 : Dec 2003, Mumbai, India. (Lecture Notes in Computer Science ; 2914)
紙図書
Springerc2003.<M17-04-2419>
国立国会図書館
  • 件名Software engineering -- Congresses. Computer science -- Congresses.
  • 一般注記Papers and an abstract.
  • タイトル標目Lecture notes in computer science ; 2914

FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007 : proceedings

FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007 : proceedings
紙図書
V. Arvind, Sanjiva Prasad (eds.)Springerc2007
全国の図書館
  • 一般注記Includes bibliographical references and index
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science

FSTTCS 2004 : foundations of software technology and theoretical computer science : 24th International Conference, Chennai, India, December 16-18, 2004 : proceedings

FSTTCS 2004 : foundations of software technology and theoretical computer science : 24th International Conference, Chennai, India, December 16-18, 2004 : proceedings
紙図書
Kamal Lodaya, Meena Mahajan (eds.)Springerc2004
全国の図書館
  • 件名Software engineering -- Congresses Computer science -- Congresses
  • 件名（識別子）Software engineering -- Congresses Computer science -- Congresses
  • 一般注記Includes bibliographical references and index

FSTTCS 2004: foundations of software technology and theoretical computer science : 24th international conference : Chennai, India, December 16-18, 2004 : proceedings. : workshop on algorithms for dynamic data : workshop on logics for dynamic data : Dec 2004, Chennai, India. (Lecture Notes in Computer Science ; 3328)

FSTTCS 2004: foundations of software technology and theoretical computer science : 24th international conference : Chennai, India, December 16-18, 2004 : proceedings. : workshop on algorithms for dynamic data : workshop on logics for dynamic data : Dec 2004, Chennai, India. (Lecture Notes in Computer Science ; 3328)
紙図書
Springerc2004.<M17-05-920>
国立国会図書館
  • 件名Software engineering -- Congresses. Computer software -- Congresses.
  • タイトル標目Lecture notes in computer science ; 3328
  • 著者標目... Conference on Foundations of Software Technology and Theoretical Computer Science (24th : 2004 : Madras, India)

FST TCS 2002: foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 ; proceedings. : FSTTCS 2002 : Dec 2002, Kanpur, India. (Lecture Notes in Computer Science ; 2556. Lecture Notes in Artificial Intelligence)

FST TCS 2002: foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 ; proceedings. : FSTTCS 2002 : Dec 2002, Kanpur, India. (Lecture Notes in Computer Science ; 2556. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2002.<M17-03-1094>
国立国会図書館
  • 件名Computer software -- Congresses.
  • 一般注記Abstract and papers. Related URL: http: //...
  • タイトル標目Lecture notes in computer science ; 2556 Lecture notes in computer science. Lecture notes in artificial ...

FST TCS 2001: foundations of software technology and theoretical computer science : 21st conference : Bangalore, India, December 13-15, 2001 : proceedings. : Dec 2001, Bangalore, India. (Lecture Notes in Computer Science ; 2245)

FST TCS 2001: foundations of software technology and theoretical computer science : 21st conference : Bangalore, India, December 13-15, 2001 : proceedings. : Dec 2001, Bangalore, India. (Lecture Notes in Computer Science ; 2245)
紙図書
Springerc2001.<M17-03-2439>
国立国会図書館
  • 件名Software engineering -- Congresses. Computer science -- Congresses.
  • 著者標目... Conference on Foundations of Software Technology and Theoretical Computer Science (21th : 2001 : Bangalore, Ind...

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan, ed. (Lecture notes in computer science)

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan, ed. (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M15-A9514>
国立国会図書館
  • 件名Computer software -- Congresses.
  • 一般注記Proceedings of Conference on Foundations of Software Technology and Theoretical Computer Science.
  • 著者標目... Conference on Foundations of Software Technology and Theoretical Computer Science (14th : 1994 : Madras, India)

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
デジタル記事
2005Lecture Notes in Computer Science
全国の図書館
  • 参照Software model-checking as cyclic-proof search

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings / R.K. Shyamasundar, (ed.). (Lecture notes in computer science)

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings / R.K. Shyamasundar, (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1993.<M15-A9137>
国立国会図書館
  • 件名Computer software -- Congresses. Computer science -- Congresses.
  • 一般注記Includes bibliographies and index.
  • 著者標目... Conference on Foundations of Software Technology and Theoretical Computer Science (13th : 1993 : Bombay)

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings / R. Shyamasundar (Ed.). (Lecture notes in computer science)

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings / R. Shyamasundar (Ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1992.<M15-A8659>
国立国会図書館
  • 件名Programming (Electronic computers) -- Congresses. Computers -- Congresses.
  • 一般注記Proceedings of Conference on Foundations of Software Technology and Theoretical Computer Science. Includes bibliographies and index.
  • 著者標目... Conference on Foundations of Software Technology and Theoretical Computer Science (12th : 1992 : New Delhi)

Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings / S. Biswas, K.V. Nori (eds.). (Lecture notes in computer science)

Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings / S. Biswas, K.V. Nori (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M15-A8053>
国立国会図書館
  • 件名Computer software -- Congresses. Computer science -- Congresses.

Sound lemma generation for proving inductive validity of equations, In Proceedings of the 28th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)

Sound lemma generation for proving inductive validity of equations, In Proceedings of the 28th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)
記事
2008Bangalore, India, Dagstuhl Seminar Proceedings, Review existenceVol.08004p.13-24
全国の図書館