Formal methods for industrial critical systems : a survey of applications / edited by Stefania Gnesi, Tiziana Margaria.
by Gnesi, Stefania, 1954- | Margaria-Steffen, Tiziana, 1964- | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.] .
Material type: ; Format:
available online
Publisher: Hoboken, New Jersey : John Wiley and Sons Incorporated, [2012]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
Gender codes : why women are leaving computing / edited by Thomas J. Misa.
by Misa, Thomas J | IEEE Xplore (Online Service) [distributor.] | John Wiley & Sons [publisher.] .
Material type: ; Format:
available online
Publisher: Hoboken, New Jersey : $bWiley, c2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available
Machine learning in image steganalysis / Hans Georg Schaathun.
by Schaathun, Hans Georg [author.] | IEEE Xplore (Online Service) [distributor.] | John Wiley & Sons [publisher.] .
Material type: ; Format:
available online
Publisher: Chichester, West Sussex, U.K. : John Wiley, 2012Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
Neural-based orthogonal data fitting : the EXIN neural networks / Giansalvo Cirrincione, Maurizio Cirrincione.
by Cirrincione, Giansalvo, 1959- | Cirrincione, Maurizio, 1961- | IEEE Xplore (Online Service) [distributor.] | John Wiley & Sons [publisher.] .
Material type: ; Format:
available online
Publisher: Hoboken, New Jersey : Wiley, c2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2011]Online access: Abstract with links to resource Availability: No items available
Evolving intelligent systems : methodology and applications / Plamen Angelov, Dimitar P. Filev, Nik Kasabov.
by Kasabov, Nikola K | Filev, Dimitar P, 1959- | Angelov, Plamen | John Wiley & Sons [publisher.] | IEEE Xplore (Online service) [distributor.] .
Material type: ; Format:
available online
Publisher: Hoboken, New Jersey : John Wiley, c2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available
Learning in energy-efficient neuromorphic computing : algorithm and architecture co-design / Nan Zheng, Pinaki Mazumder.
by Zheng, Nan, 1989- [author.] | Mazumder, Pinaki [author.] | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.] .
Material type: ; Format:
available online
Publisher: Hoboken, New Jersey : Wiley-IEEE Press, [2019]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
Kinematic control of redundant robot arms using neural networks / [edited by] Shuai Li, Hong Kong Polytechnic University, Long Jin, Hong Kong Polytechnic University, Mohammed Aquil Mirza, Hong Kong Polytechnic University.
by Li, Shuai, 1983- [author,, editor.] | Jin, Long, 1988- [author,, editor.] | Mirza, Mohammed Aquil, 1986- [author,, editor.] | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.] .
Edition: First edition.Material type: ; Format:
available online
Publisher: Hoboken, New Jersey : John Wiley & Sons, Inc., 2019Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2019]Online access: Abstract with links to resource Availability: No items available
Natural language processing and computational linguistics 2 : semantics, discourse and applications / Mohamed Zakaria Kurdi.
by Kurdi, Mohamed Zakaria [author.] | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.] .
Material type: ; Format:
available online
Publisher: London, UK : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2017Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available
Trust theory : a socio-cognitive and computational model / Cristiano Castelfranchi, Rino Falcone.
by Castelfranchi, Cristiano [author.] | Falcone, Rino | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.] .
Material type: ; Format:
available online
Publisher: Chichester, West Sussex, U.K. : J. Wiley, 2010Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2010]Online access: Abstract with links to resource Availability: No items available
The theory of being: Systems science from a traditional Indian perspective
by Srinivasa, S.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Indpendent Publishing 2020Availability: No items available Checked out (1).
The theory of being: Systems science from a traditional Indian perspective
by Srinivasa, S.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Indpendent Publishing 2020Availability: Items available for loan: [Call number: 003 SRI] (1).
The essentials of modern software engineering: Free the practices from the method prisons!
by Jacobson, I. Et.all….
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: ACM Books ; 2019Availability: Items available for loan: [Call number: 005.1 JAC] (1).
Theoretical foundations of artificial general intelligence
by Wang, P. Editor | Goertzel, B.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Amsterdam ; Atlantis Press Availability: Items available for loan: [Call number: 006.3 WAN] (1).
Empire of Guns: The violent making of the industrial revolution
by Satia, P.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: New York Penguin Press ; 2018Availability: Items available for loan: [Call number: 330.94107 SAT ] (1).
Deep learning in natural language processing
by Deng, L. Editor | Liu, Y. Editor.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Singapore Springer ; 2018Availability: Items available for loan: [Call number: 006.35 DEN] (1).
Multi core computer vision and image processing for intelligent applications
by Mohan, S | V, Vani.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Hershey IGI Global ; 2017Availability: Items available for loan: [Call number: 006.37 MOH] (1).
Who sings the nation state: Language, politics belonging
by Butler, J | Spivak, G. C.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: London Seagull Biiks ; 2007Availability: Items available for loan: [Call number: 320.101 BUT] (1).
The essentials of modern software engineering: Free the practices from the method prisons!
by Jacobson, I. Et.all….
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: ACM Books 2019Availability: No items available
Theoretical foundations of artificial general intelligence
by Wang, P. Editor | Goertzel, B.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Amsterdam Atlantis Press Availability: No items available
Computational modeling of narrative
by Mani, I.
Material type: ; Format:
print
; Literary form:
not fiction
Publisher: Morgan & Claypool 2013Availability: Items available for loan: [Call number: 006.35 MAN] (1).
