|
|
|
The formal semantics of programming languages : an introduction / Glynn Winskel.
by Winskel, G., (Glynn) [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type:  Book; Format:
available online
 Publisher: Cambridge, Massachusetts : MIT Press, c1993Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [1993]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Regulating code : good governance and better regulation in the information age / Ian Brown and Christopher T. Marsden.
by Brown, Ian, Dr [author.] | Marsden, Christopher T | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, 2013Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Speaking code : coding as aesthetic and political expression / text: Geoff Cox ; code: Alex McLean ;, foreword by Franco "Bifo" Berardi.
by Cox, Geoff [author.] | McLean, Alex (Christopher Alex), 1975- | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : MIT Press, c2013Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Coding literacy : how computer programming is changing writing / Annette Vee.
by Vee, Annette [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : The MIT Press, [2017]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2017]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Critical code studies : initial methods / Mark C. Marino.
by Marino, Mark C [author.] | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.]. Material type: Book; Format:
available online
Publisher: Cambridge, Massachusetts : The MIT Press, 2020Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2020]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Domain-specific modeling : enabling full code generation / Steven Kelly, Juha-Pekka Tolvanen.
by Kelly, Steven | Tolvanen, Juha-Pekka | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken [New Jersey] : Wiley, 2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
An introduction to TTCN-3 / Colin Willcock ... [et al.].
by Willcock, Colin | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Edition: 2nd ed.Material type: Book; Format:
available online
Publisher: Chichester ; Wiley, 2011Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2011]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Towards Cognitive IoT Networks [electronic resource] / edited by Mohammad Abdul Matin.
by Matin, Mohammad Abdul [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Let Us C
by Kanetkar, Yashavant. Edition: 7th Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi BPB Publications 2007Availability: Items available for loan:
[Call number: 621.3919642 K12L]
(1).
|
|
|
|
A tour of data science : learn R and Python in parallel / Nailong Zhang.
by Zhang, Nailong [author.]. Edition: First edition.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Abingdon, Oxon ; Boca Raton, FL : CRC Press, 2021Online access: Taylor & Francis | OCLC metadata license agreement Availability: No items available
|
|
|
|
C++ Programming / Yuan Dong, Fang Yang; ed. by Li Zheng.
by Dong, Yuan [author.] | Tsinghua University Press | Yang, Fang [author.] | Zheng, Li [editor.]. Source: DG Plus eBook-Package 2019Source: EBOOK PACKAGE COMPLETE DG 2019 EnglishSource: EBOOK PACKAGE COMPLETE 2019 EnglishSource: EBOOK PACKAGE COMPLETE 2019Source: EBOOK PACKAGE Engineering, Computer Sciences 2019 EnglishSource: EBOOK PACKAGE Engineering, Computer Sciences 2019Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2019]Copyright date: ©2019Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
|
Modeling and Optimization in Software-Defined Networks [electronic resource] / by Konstantinos Poularakis, Leandros Tassiulas, T.V. Lakshman.
by Poularakis, Konstantinos [author.] | Tassiulas, Leandros [author.] | Lakshman, T.V [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Edge Intelligence in the Making [electronic resource] : Optimization, Deep Learning, and Applications / by Sen Lin, Zhi Zhou, Zhaofeng Zhang, Xu Chen, Junshan Zhang.
by Lin, Sen [author.] | Zhou, Zhi [author.] | Zhang, Zhaofeng [author.] | Chen, Xu [author.] | Zhang, Junshan [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Packets with Deadlines [electronic resource] : A Framework for Real-Time Wireless Networks / by I-Hong Hou, P.R. Kumar.
by Hou, I-Hong [author.] | Kumar, P.R [author.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Network Connectivity [electronic resource] : Concepts, Computation, and Optimization / by Chen Chen, Hanghang Tong.
by Chen, Chen [author.] | Tong, Hanghang [author.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Sharing Network Resources [electronic resource] / by Abhey Parekh, Jean Walrand.
by Parekh, Abhey [author.] | Walrand, Jean [author.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Communication Networks [electronic resource] : A Concise Introduction / by Jean Walrand, Shyam Parekh.
by Walrand, Jean [author.] | Parekh, Shyam [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Performance Modeling, Loss Networks, and Statistical Multiplexing [electronic resource] / by Ravi Mazumdar.
by Mazumdar, Ravi [author.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Embracing Risk [electronic resource] : Cyber Insurance as an Incentive Mechanism for Cybersecurity / by Mingyan Liu.
by Liu, Mingyan [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Poisson Line Cox Process [electronic resource] : Foundations and Applications to Vehicular Networks / by Harpreet S. Dhillon, Vishnu Vardhan Chetlur.
by Dhillon, Harpreet S [author.] | Chetlur, Vishnu Vardhan [author.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
