|
81.
|
Mathematical structures for computer science : a modern treatment of discrete mathematics
by Gersting, Judith L. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: W. H. Freeman, 2004Availability: Items available for loan: [Call number: 004.0151 GER] (1).
|
|
82.
|
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
by Brauer, Wilfri. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
83.
|
Technobabble
by Barry, John A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 1993Availability: Items available for loan: [Call number: 004.014 BAR] (1).
|
|
84.
|
Role of theory in computer science : essays dedicated to janusz brzozowski
by Konstantinidis, Stavros | Moreira, Nelma | Reis, Rogerio | Shallit, Jeffrey Outlaw. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: World Scientific Publishing, 2017Availability: Items available for loan: [Call number: 004 KON] (1).
|
|
85.
|
Debugging at the electronic system level
by Rogin, Frank | Drechsler, Rolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2010Availability: Items available for loan: [Call number: 621.392 ROG] (1).
|
|
86.
|
Instruction level parallelism
by Aiken, Alex | Banerjee, Utpal | Kejariwal, Arun | Nicolau, Alexandru. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2016Availability: Items available for loan: [Call number: 004.22 AIK] (1).
|
|
87.
|
Design for embedded image processing on FPGAs
by Bailey, Donald G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Wiley & Sons, 2011Availability: Items available for loan: [Call number: 621.399 BAI] (1).
|
|
88.
|
Edge computing : a primer
by Cao, Jie | Zhang, Quan [aut] | Shi, Weisong [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2018Availability: No items available Checked out (1).
|
|
89.
|
Secure networked inference with unreliable data sources
by Vempaty, Aditya | Kailkhura, Bhavya [aut] | Varshney, Pramod K [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore : Springer, 2018Availability: Items available for loan: [Call number: 004.36 VEM] (1).
|
|
90.
|
Internet of things for smart cities : technologies, big data and security
by Ejaz, Waleed | Anpalagan, Alagan [aut]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2019Availability: Items available for loan: [Call number: 006.754 EJA] (1).
|
|
91.
|
Formal verification of floating-point hardware design : a mathematical approach
by Russinoff, David M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2019Availability: Items available for loan: [Call number: 004.0151 RUS] (1).
|
|
92.
|
Hands on machine learning with scikit learn and tensor flow : concepts,tools, and techniques to build intelligent systems
by Geron, Aurelien. Publisher: Beijing O'Reilly 2017Availability: No items available Checked out (1).
|
|
93.
|
Automata and computability : programmer's perspective
by Gopalakrishnan, Ganesh Lalitha. Publisher: Boca Raton Chapman and Hall/CRC 2019Availability: Items available for loan: [Call number: 629.89551 GOP] (1).
|
|
94.
|
Foundations of embedded systems
by Barkalov, Alexander | Titarenko, Larysa | Mazurkiewicz, Małgorzata. Publisher: cham Springer 2019Availability: Items available for loan: [Call number: 621.3815 BAR] (1).
|
|
95.
|
Microblog processing : summarization and impoliteness detection
by Modha, Sandip Jayantilal | Majumder, Prasenjit. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Gandhinagar Dhirubhai Ambani Institute of Information and Communication Technology 2019Online access: Click here to access online Availability: Items available for loan: [Call number: 302.2308 MOD] (1).
|
|
96.
|
Automata theory and formal languages
by Homenda, Władysław. Publisher: Berlin : De Gruyter, 2022Availability: Items available for loan: [Call number: 004.015113 HOM] (1).
|
|
97.
|
Distributed systems : an algorithmic approach
by Ghosh, Sukumar. Edition: 2nd ed. Publisher: Boca Raton : CRC Press, 2015Availability: Items available for loan: [Call number: 004.36 GHO] (1).
|
|
98.
|
Intelligent support for computer science education : pedagogy enhanced by artificial intelligence
by Eugenio, Barbara Di | Fossati, Davide | Green, Nick. Publisher: Boca Raton : CRC Press, 2022Availability: Items available for loan: [Call number: 004.071 EUG] (1).
|
|
99.
|
Public policy analytics : code and context for data science in government
by Steif, Ken. Publisher: Boca Raton : CRC Press 2022Availability: Items available for loan: [Call number: 352.380285 STE] (1).
|
|
100.
|
Hands-On Genetic Algorithms with Python: Applying genetic algorithms to solve real-world deep learning and artificial intelligence problems
by Wirsansky, Eyal. Publisher: Birmingham : Packt Publishing, 2020Availability: Items available for loan: [Call number: 005.1 WIR] (1).
|