Verification of communication protocols in web services : model-checking service compositions /
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Hoboken, New Jersey :
Wiley,
[2014]
|
| シリーズ: | Wiley series on parallel and distributed computing ;
83 |
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Verification of communication protocols in web services : model-checking service compositions /
著者:: Tari, Zahir
出版事項: (2014)
著者:: Tari, Zahir
出版事項: (2014)
Advanced Internet protocols, services, and applications
著者:: Oki, Eiji, 1969-
出版事項: (2012)
著者:: Oki, Eiji, 1969-
出版事項: (2012)
Advanced Internet protocols, services, and applications
著者:: Oki, Eiji, 1969-
出版事項: (2012)
著者:: Oki, Eiji, 1969-
出版事項: (2012)
NGN architectures, protocols and services /
著者:: Janevski, Toni
出版事項: (2014)
著者:: Janevski, Toni
出版事項: (2014)
NGN architectures, protocols and services /
著者:: Janevski, Toni
出版事項: (2014)
著者:: Janevski, Toni
出版事項: (2014)
IPv6 advanced protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)
著者:: Li, Qing, 1971-
出版事項: (2007)
IPv6 advanced protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)
著者:: Li, Qing, 1971-
出版事項: (2007)
Advanced transport protocols designing the next generation /
著者:: Exposito, Ernesto
出版事項: (2013)
著者:: Exposito, Ernesto
出版事項: (2013)
Advanced transport protocols designing the next generation /
著者:: Exposito, Ernesto
出版事項: (2013)
著者:: Exposito, Ernesto
出版事項: (2013)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
著者:: Bookham, Colin
出版事項: (2014)
著者:: Bookham, Colin
出版事項: (2014)
Versatile routing and services with BGP : understanding and implementing BGP in SR-OS /
著者:: Bookham, Colin
出版事項: (2014)
著者:: Bookham, Colin
出版事項: (2014)
IPv6 core protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)
著者:: Li, Qing, 1971-
出版事項: (2007)
IPv6 core protocols implementation
著者:: Li, Qing, 1971-
出版事項: (2007)
著者:: Li, Qing, 1971-
出版事項: (2007)
Cisco IP routing protocols troubleshooting techniques /
著者:: Anand, V. (Vijay)
出版事項: (2004)
著者:: Anand, V. (Vijay)
出版事項: (2004)
Cisco IP routing protocols troubleshooting techniques /
著者:: Anand, V. (Vijay)
出版事項: (2004)
著者:: Anand, V. (Vijay)
出版事項: (2004)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
著者:: Nedelcu, Clément
出版事項: (2010)
著者:: Nedelcu, Clément
出版事項: (2010)
Nginx HTTP server adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever /
著者:: Nedelcu, Clément
出版事項: (2010)
著者:: Nedelcu, Clément
出版事項: (2010)
Understanding LDAP design and implementation
出版事項: (2004)
出版事項: (2004)
Using LDAP for directory integration
著者:: Tuttle, Steven
出版事項: (2004)
著者:: Tuttle, Steven
出版事項: (2004)
Understanding LDAP design and implementation
出版事項: (2004)
出版事項: (2004)
Using LDAP for directory integration
著者:: Tuttle, Steven
出版事項: (2004)
著者:: Tuttle, Steven
出版事項: (2004)
Java 2 network protocols black book
著者:: Williams, Al, 1963-
出版事項: (2001)
著者:: Williams, Al, 1963-
出版事項: (2001)
Java 2 network protocols black book
著者:: Williams, Al, 1963-
出版事項: (2001)
著者:: Williams, Al, 1963-
出版事項: (2001)
Multiple access channels theory and practice /
出版事項: (2007)
出版事項: (2007)
Multiple access channels theory and practice /
出版事項: (2007)
出版事項: (2007)
Web penetration testing with Kali Linux : a practical guide to implementing penetration testing strategies on websites, web applications, and standard web protocols with Kali Linux /
著者:: Muniz, Joseph
出版事項: (2013)
著者:: Muniz, Joseph
出版事項: (2013)
Web penetration testing with Kali Linux : a practical guide to implementing penetration testing strategies on websites, web applications, and standard web protocols with Kali Linux /
著者:: Muniz, Joseph
出版事項: (2013)
著者:: Muniz, Joseph
出版事項: (2013)
Programmable networks for IP service deployment
出版事項: (2004)
出版事項: (2004)
Programmable networks for IP service deployment
出版事項: (2004)
出版事項: (2004)
Communicating systems with UML 2 modeling and analysis of network protocols /
著者:: Garduno Barrera, David
出版事項: (2011)
著者:: Garduno Barrera, David
出版事項: (2011)
Communicating systems with UML 2 modeling and analysis of network protocols /
著者:: Garduno Barrera, David
出版事項: (2011)
著者:: Garduno Barrera, David
出版事項: (2011)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
著者:: Baxter, James H.
出版事項: (2014)
著者:: Baxter, James H.
出版事項: (2014)
Wireshark essentials : get up and running with Wireshark to analyze network packets and protocols effectively /
著者:: Baxter, James H.
出版事項: (2014)
著者:: Baxter, James H.
出版事項: (2014)
Understanding SIP servlets 1.1
著者:: Boulton, Chris (Christopher James)
出版事項: (2009)
著者:: Boulton, Chris (Christopher James)
出版事項: (2009)
Understanding SIP servlets 1.1
著者:: Boulton, Chris (Christopher James)
出版事項: (2009)
著者:: Boulton, Chris (Christopher James)
出版事項: (2009)
V5 TCP/IP applications on the IBM e-server iSeries server
出版事項: (2004)
出版事項: (2004)
V5 TCP/IP applications on the IBM e-server iSeries server
出版事項: (2004)
出版事項: (2004)
Mastering OpenLDAP configuring, securing, and integrating directory services /
著者:: Butcher, Matt
出版事項: (2007)
著者:: Butcher, Matt
出版事項: (2007)
Mastering OpenLDAP configuring, securing, and integrating directory services /
著者:: Butcher, Matt
出版事項: (2007)
著者:: Butcher, Matt
出版事項: (2007)
SIP understanding the Session Initiation Protocol /
著者:: Johnston, Alan B.
出版事項: (2009)
著者:: Johnston, Alan B.
出版事項: (2009)