|
|
1161.
|
Resource Management: for energy and spectrum harvesting sensor networks / Deyu Zhang
by Zhang, Deyu | Chen, Zhigang | Zhou, Haibo | Shen, xuemin. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer Publisher, 2017Availability: Items available for loan:
[Call number: 004.6 Z632R 2017]
(1).
|
|
|
1162.
|
Mathematical modelling for next-generation cryptography : CREST Crypto-Math Project / Tsuyoshi Takagi
by Takagi, Tsuyoshi | Wakayama, Masato | Tanaka, Ksisuke | Kunihiro, Noboru | Kimoto, Kazufumi | Duong, Dung Hoang. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: Springer publsher, 2018Availability: Items available for loan:
[Call number: 005.74 T136M 2018]
(1).
|
|
|
1163.
|
Mathematical logic for computer science / Mordechai Ben-Ari.
by Ben-Ari, M, 1948-. Edition: 2nd edition.Material type: Book; Format:
print
; Literary form: Publisher: London ; Springer, 2004Availability: Items available for loan:
[Call number: 511.3 B456M 2004]
(1).
|
|
|
1164.
|
Embedded and real-time operating systems / K.C. Wang
by Wang, K.C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2017Availability: Items available for loan:
[Call number: 005.43 W246E 2017]
(1).
|
|
|
1165.
|
Handbook of modern sensors : physics, designs, and applications / Jacob Fraden.
by Fraden, Jacob. Edition: Fifth edition.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, c2016Availability: Items available for loan:
[Call number: 681.2 F799H 2016]
(1).
|
|
|
1166.
|
Image quality assessment of computer-generated images: based on machine learning and soft computing / André Bigand
by Bigand, Andre | Dehos, Julien | Renaud, Christophe | Constantin, Joseph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2018Availability: Items available for loan:
[Call number: 006.6 B592Q 2018]
(1).
|
|
|
1167.
|
Introduction to avionics systems / R.P.G Collinson
by Collinson, R.P.G. Edition: Third edition.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2014Availability: Items available for loan:
[Call number: 629.135 C699A 2011]
(1).
|
|
|
1168.
|
Introduction to multicopter design and control.
by Quan, Quan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: Springer publisher, 2017Availability: Items available for loan:
[Call number: 629.1331352 Q16M 2017]
(1).
|
|
|
1169.
|
Top 50 grammar mistakes : how to avoid them / Adrian Wallwork.
by Wallwork, Adrian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham : Springer, 2019Availability: Items available for loan:
[Call number: 428.24 W215T 2019]
(1).
|
|
|
1170.
|
Hard real-time computing systems : predictable scheduling algorithms and applications / Giorgio C. Buttazzo.
by Buttazzo, Giorgio C, 1960-. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, c2011Availability: No items available
|
|
|
1171.
|
Hard real-time computing systems : predictable scheduling algorithms and applications / Giorgio C. Buttazzo.
by Buttazzo, Giorgio C, 1960-. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, c2011Availability: No items available
|
|
|
1172.
|
Foundations for designing user-centered systems : what system designers need to know about people / Frank E. Ritter, Gordon D. Baxter, Elizabeth F. Churchill.
by Ritter, Frank E [author.] | Baxter, Gordon D [author.] | Churchill, Elizabeth F, 1962- [author.]. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2014Availability: Items available for loan:
[Call number: 004.21 R614F 2014 c.1]
(2).
|
|
|
1173.
|
Logic for applications / Anil Nerode, Richard A. Shore.
by Nerode, Anil, 1932- | Shore, Richard A, 1946-. Edition: second edition.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, c1997Availability: Items available for loan:
[Call number: 005.1015113 N449L 1997]
(1).
|
|
|
1174.
|
Foundations of inductive logic programming / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf.
by Nienhuys-Cheng, S. -H. (Shan-Hwei), 1943- | De Wolf, R. (Ronald), 1973-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, c1997Availability: Items available for loan:
[Call number: 005.115 N673F 1997]
(1).
|
|
|
1175.
|
Finite model theory and its applications / Erich Gradel ; Phokion G. kolaitis ; leonid Libkin ; Maarten Marx and Moshe Y. Vardi
by Grädel, Erich, 1958- | Vardi, Moshe Y | Weinstein, Scott. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Availability: Items available for loan:
[Call number: 511.34 G732F 2007]
(1).
|
|
|
1176.
|
Elements of finite model theory / Leonid Libkin.
by Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, NY : Springer, c2004Availability: Items available for loan:
[Call number: 511.34 L695E 2004]
(1).
|
|
|
1177.
|
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum.
by Ebbinghaus, Heinz-Dieter, 1939- | Flum, Jörg. Edition: second editionMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York, NY : Springer, 2006Availability: Items available for loan:
[Call number: 511.34 E154F 2006]
(1).
|
|
|
1178.
|
Descriptive complexity / Neil Immerman.
by Immerman, Neil, 1953-. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, c1999Availability: Items available for loan:
[Call number: 511.3 I332D 1999]
(1).
|
|
|
1179.
|
Software project management for distributed computing : life-cycle methods for developing scalable and reliable tools / Zaigham Mahmood.
by Mahmood, Zaigham. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer International Publishing, 2018Availability: Items available for loan:
[Call number: 004.36 M215S 2017]
(1).
|
|
|
1180.
|
Nanocomposite-based electronic tongue. Amin Termeh Yousefi
by Yousefi, Amin Termeh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2018Availability: Items available for loan:
[Call number: 681.2 Y82N 2017]
(1).
|
