Jump to main content

yr 〜
yr

Search results 5

Verification of communication protocols in web services : model-checking service compositions

Verification of communication protocols in web services : model-checking service compositions
Paper図書
Zahir Tari, Peter Bertok, Anshuman MukherjeeJohn Wiley & Sonsc2014
Other Libraries in Japan
  • Author HeadingTari, Zahir Bertók, Péter Mukherjee, Anshuman

A monitoring system for the machining operation in automatic manufacturing systems

A monitoring system for the machining operation in automatic manufacturing systems
PaperDigital博士論文
Bertok, Peter [著]<UT51-62-H10>
National Diet Library
  • Author HeadingBertok, Peter

Digital enterprise challenges : life-cycle approach to management and production : IFIP TC5/WG5.2 & WG5.3 eleventh International PROLAMAT Conference on Digital Enterprise, new challenges, November 7-10, 2001, Budapest, Hungary

Digital enterprise challenges : life-cycle approach to management and production : IFIP TC5/WG5.2 & WG5.3 eleventh International PROLAMAT Conference on Digital Enterprise, new challenges, November 7-10, 2001, Budapest, Hungary
Paper図書
edited by George L. Kovács, Peter Berto︠k, Géza HaideggerKluwer Academicc2002
Other Libraries in Japan
  • Author HeadingInternational PROLAMAT Conference Kovács, George (George L.) Bertók, Péter Haidegger, Géza

Knowledge based hybrid systems : proceedings of the IFIP TC5/WG5.3/IFAC International Working Conference on Knowledge Based Hybrid Systems in Engineering and Manufacturing, KNOWHSEM '93, Budapest, Hungary, 20-22 April 1993

Knowledge based hybrid systems : proceedings of the IFIP TC5/WG5.3/IFAC International Working Conference on Knowledge Based Hybrid Systems in Engineering and Manufacturing, KNOWHSEM '93, Budapest, Hungary, 20-22 April 1993
Paper図書
edited by István Mezgár, Péter BertókNorth-Holland1993
Other Libraries in Japan
  • Author Heading...Mezgár, István Bertók, Péter

Digital enterprise challenges : life-cycle approach to management and production : IFIP TC5/WG5.2 & WG5.3 eleventh international PROLAMAT conference on digital enterprise -- new challenges : November 7-10, 2001, Budapest, Hungary. : PROLAMAT 2001 : Nov 2001, Budapest, Hungary. (IFIP ; 77)

Digital enterprise challenges : life-cycle approach to management and production : IFIP TC5/WG5.2 & WG5.3 eleventh international PROLAMAT conference on digital enterprise -- new challenges : November 7-10, 2001, Budapest, Hungary. : PROLAMAT 2001 : Nov 2001, Budapest, Hungary. (IFIP ; 77)
Paper図書
Kluwer Academic Publishersc2002.<M17-03-1842>
National Diet Library
  • Author HeadingKovács, George (George L.) Bertók, Péter, 1952- Haidegger, Géza. IFIP ...

Reached to the end of result.

RSS