Jump to main content

yr 〜
yr

Search results 9

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
  • Subject HeadingWeb services -- Testing Computer network protocols COMPUTERS / Computer Engineering. bisacsh
  • Subject Heading (ID)Web services -- Testing Computer network protocols COMPUTERS / Computer Engineering. bisacsh

Computing handbook 3rd ed

Computing handbook 3rd ed
Paper図書
editor-in-chief, Allen TuckerTaylor & Francisc2014
Other Libraries in Japan
  • Subject Heading...anced. bisacsh COMPUTERS / Computer Engineering. bisacsh MATHEMATICS / General. bisacs...
  • Subject Heading (ID)...anced. bisacsh COMPUTERS / Computer Engineering. bisacsh MATHEMATICS / General. bisacs...

Computer science and software engineering : hardback 3rd ed

Computer science and software engineering : hardback 3rd ed
Paper図書
edited by Teofilo Gonzalez, Jorge Díaz-Herrera, Allen TuckerTaylor & Francisc2014
Other Libraries in Japan
  • Subject Heading...anced. bisacsh COMPUTERS / Computer Engineering. bisacsh MATHEMATICS / General. bisacs...
  • Subject Heading (ID)...anced. bisacsh COMPUTERS / Computer Engineering. bisacsh MATHEMATICS / General. bisacs...

Switchmode power supply handbook 3rd ed

Switchmode power supply handbook 3rd ed
Paper図書
Keith Billings, Taylor MoreyMcGraw-Hillc2011
Other Libraries in Japan

Peer-to-peer computing : applications, architecture, protocols, and challenges

Peer-to-peer computing : applications, architecture, protocols, and challenges
Paper図書
Yu-Kwong Ricky KwokCRCc2012
Other Libraries in Japan

Design of low-power coarse-grained reconfigurable architectures

Design of low-power coarse-grained reconfigurable architectures
Paper図書
Yoonjin Kim, Rabi N. MahapatraCRC Press, Taylor & Francis Groupc2011
Other Libraries in Japan

Discrete-event modeling and simulation : theory and applications : hbk.

Discrete-event modeling and simulation : theory and applications : hbk.
Paper図書
edited by Gabriel A. Wainer, Pieter J. MostermanCRC Pressc2011
Other Libraries in Japan

Semiconductors : integrated circuit design for manufacturability : hbk

Semiconductors : integrated circuit design for manufacturability : hbk
Paper図書
Artur BalasinskiCRC Press/Taylor & Francisc2012
Other Libraries in Japan

Performance tuning of scientific applications : hardback

Performance tuning of scientific applications : hardback
Paper図書
edited by David H. Bailey, Robert F. Lucas, Samuel WilliamsCRC Pressc2011
Other Libraries in Japan

Reached to the end of result.

RSS