|
|
|
Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University.
by Tari, Zahir [author.] | Bert�ok, P�eter, 1952- | Mukherjee, Anshuman | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Material type:  Book; Format:
available online
 Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
SCADA security : machine learning concepts for intrusion detection and prevention / Abdulmohsen Almalawi, King Abdulaziz University, Zahir Tari, RMIT University, Adil Fahad, Al Baha University, Xun Yi, Royal Melbourne Institute of Technology.
by Almalawi, Abdulmohsen [author.] | Tari, Zahir [author.] | Fahad, Adil [author.] | Yi, Xun [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Hoboken, NJ, USA : Wiley, 2021Online access: Wiley Online Library Availability: No items available
|
|
|
|
Advances in object-oriented data modeling / edited by Michael P. Papazoglou, Stefano Spaccapietra, Zahir Tari.
by Papazoglou, M, 1953- | Spaccapietra, S | Tari, Zahir | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University.
by Tari, Zahir [author.] | Bert�ok, P�eter, 1952- | Mukherjee, Anshuman | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Service-Oriented Computing [electronic resource] : 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings / edited by Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari.
by Yangui, Sami [editor.] | Bouassida Rodriguez, Ismael [editor.] | Drira, Khalil [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part IV / edited by Zahir Tari, Keqiu Li, Hongyi Wu.
by Tari, Zahir [editor.] | Li, Keqiu [editor.] | Wu, Hongyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VI / edited by Zahir Tari, Keqiu Li, Hongyi Wu.
by Tari, Zahir [editor.] | Li, Keqiu [editor.] | Wu, Hongyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part V / edited by Zahir Tari, Keqiu Li, Hongyi Wu.
by Tari, Zahir [editor.] | Li, Keqiu [editor.] | Wu, Hongyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part VII / edited by Zahir Tari, Keqiu Li, Hongyi Wu.
by Tari, Zahir [editor.] | Li, Keqiu [editor.] | Wu, Hongyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part II / edited by Zahir Tari, Keqiu Li, Hongyi Wu.
by Tari, Zahir [editor.] | Li, Keqiu [editor.] | Wu, Hongyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part III / edited by Zahir Tari, Keqiu Li, Hongyi Wu.
by Tari, Zahir [editor.] | Li, Keqiu [editor.] | Wu, Hongyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part I / edited by Zahir Tari, Keqiu Li, Hongyi Wu.
by Tari, Zahir [editor.] | Li, Keqiu [editor.] | Wu, Hongyi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part I / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2008 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent & QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academy Doctoral Consortium, RDDS,SWWS,SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part I / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2008 [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 Proceedings, Part II / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2008 [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 Proceedings, Part I / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part I / edited by Zahir Tari.
by Tari, Zahir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
