Jump to main content

yr 〜
yr

Search results 3

Information modelling and knowledge bases 14. : 12th European-Japanese conference on information modelling and knowledge bases : May 2001, Krippen, Germany. (Frontiers in Artificial Intelligence and Applications ; 94)

Information modelling and knowledge bases 14. : 12th European-Japanese conference on information modelling and knowledge bases : May 2001, Krippen, Germany. (Frontiers in Artificial Intelligence and Applications ; 94)
Paper図書
IOS Pressc2003.<M17-03-5314>
National Diet Library
  • Author HeadingBrandenburg University of Technology at Cottbus.

Formal techniques for networked and distributed systems -- FORTE 2003 : 23rd IFIP WG 6.1 international conference : Berlin, Germany, September 29-October 2, 2003 : proceedings. : 23rd IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2003, Berlin, Germany. (Lecture Notes in Computer Science ; 2767)

Formal techniques for networked and distributed systems -- FORTE 2003 : 23rd IFIP WG 6.1 international conference : Berlin, Germany, September 29-October 2, 2003 : proceedings. : 23rd IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2003, Berlin, Germany. (Lecture Notes in Computer Science ; 2767)
Paper図書
Springerc2003.<M17-04-1049>
National Diet Library
  • Author HeadingBrandenburg University of Technology at Cottbus. König, Hartmut, Prof. Dr.-Ing...

Testing of communicating systems 14 : application to internet technologies and services : IFIP TC6/WG6.1 fourteenth international conference on testing of communicating systems (TestCom 2002) : March 19-22, 2002, Berlin, Germany. : Mar 2002, Berlin, Germany. (IFIP ; 82)

Testing of communicating systems 14 : application to internet technologies and services : IFIP TC6/WG6.1 fourteenth international conference on testing of communicating systems (TestCom 2002) : March 19-22, 2002, Berlin, Germany. : Mar 2002, Berlin, Germany. (IFIP ; 82)
Paper図書
Kluwer Academic Publishersc2002.<M17-03-3380>
National Diet Library
  • Author Heading... Wolisz, Adam. Brandenburg University of Technology at Cottbus. IFIP TC6/WG6.1 International ...

Reached to the end of result.

RSS