|
|
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski.
by Kowalski, Robert [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2011Other title: Computational Logic & Human Thinking.Online access: Click here to access online Availability: No items available
|
|
|
Water ecosystem services : a global perspective / edited by Julia Martin-Ortega [and three others].
by Martin-Ortega, Julia [editor.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2015Online access: Click here to access online Availability: No items available
|
|
|
Unsteady flow in open channels / Jurjen Battjes, Robert Jan Labeur.
by Battjes, J. A. (Jurjen Anno), 1939- [author.] | Labeur, Robert Jan [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2017Online access: Click here to access online Availability: No items available
|
|
|
Polarimetry of stars and planetary systems / Ludmilla Kolokolova, University of Maryland, James Hough, University of Hertfordshire, Anny-Chantal Levasseur-Regourd, Université Pierre et Marie Curie.
by Kolokolova, Ludmilla, 1951- [author.] | Hough, James [author.] | Levasseur-Regourd, Anny-Chantal [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2015Other title: Polarimetry of Stars & Planetary Systems.Online access: Click here to access online Availability: No items available
|
|
|
Computation and Communication Technologies / ed. by Senthil T. Kumar, Bala Mathivanan.
by Adithya, H. K [contributor.] | Apurvakeerthi, M [contributor.] | Arulmozhiyal, R [contributor.] | Aruna Prabha, B. S [contributor.] | Arya, G.S [contributor.] | Avinash, K [contributor.] | Bablani, Annushree [contributor.] | Babu, Allam Venkata Surendra [contributor.] | Babu, Preeja [contributor.] | Balagadde, Robert Ssali [contributor.] | Banerjee, Sreeparna [contributor.] | Borah, Samarjeet [contributor.] | Chandrasekaran, K [contributor.] | Chitrakala, S [contributor.] | Chowdhury, Amrita Roy [contributor.] | Chowdhury, Sagnik Pal [contributor.] | Das, Supratim [contributor.] | Deolia, Vinay Kumar [contributor.] | Deshmukh, Achala [contributor.] | Dey, Kashi Nath [contributor.] | Dutt, Inadyuti [contributor.] | Dwivedi, Vedvyas [contributor.] | Gangadhar, K [contributor.] | Gaurav, Kumar Sharma [contributor.] | Gharge, Saylee [contributor.] | Ghodekar, J. G [contributor.] | Gholap, Rutooja D [contributor.] | Gupta, Sudha [contributor.] | Hariharan, Vani [contributor.] | Jayachandiran, J [contributor.] | Jithendra, K.B [contributor.] | Katti, P. K [contributor.] | Kosta, Y.P [contributor.] | Kumar, Senthil T [editor.] | Kumar, Senthil [contributor.] | Kumaran, P [contributor.] | Leena Giri, G [contributor.] | Madhu Sudhanan, R [contributor.] | Manjula, S. H [contributor.] | Manoj, V. Thomas [contributor.] | Mathivanan, Bala [editor.] | Meena, P [contributor.] | Mishra, Mani [contributor.] | Mohanaradhya [contributor.] | Monica, B.V [contributor.] | Murali, M [contributor.] | Nasipuri, Mita [contributor.] | Nath, R [contributor.] | Naveen, Kumar S [contributor.] | Nedumaran, D [contributor.] | Neeharika, K [contributor.] | Neelima, N [contributor.] | Nishtha [contributor.] | Patnaik, L. M [contributor.] | Piyush, Shegokar [contributor.] | Poongodi, P [contributor.] | Pradeepa, S [contributor.] | Pranavanand, S [contributor.] | Praveen Gowda, I. V [contributor.] | Prema, N [contributor.] | Premchand, Parvataneni [contributor.] | Prerna, Shukla [contributor.] | Raghuram, A [contributor.] | Rajasekaran, S [contributor.] | Rajkumar, S [contributor.] | Ramesh, K [contributor.] | Ramkumar Prabhu, M [contributor.] | Ranga Rao, J [contributor.] | Rao Patange, Siva Subba [contributor.] | Ratna Sahithi, K [contributor.] | Ravi Kishan, S [contributor.] | Ravi, U.S [contributor.] | Ravikumar, H.M [contributor.] | Rengarajan, A [contributor.] | Saha, Rituparna [contributor.] | Saha, Sujay [contributor.] | Sanjeevkumar, K.M [contributor.] | Sarkar, Ram [contributor.] | Sarwade, A. N [contributor.] | Sawant, Adeetya [contributor.] | Sethumadhavan, Dhanya [contributor.] | Shahana, T.K [contributor.] | Sharma, B. B [contributor.] | Sharma, Shruti S [contributor.] | Sharma, Vivek [contributor.] | Shukla, Aasheesh [contributor.] | Siji, Rani S [contributor.] | Singh, Pawan Kumar [contributor.] | Singh, Praveen Kumar [contributor.] | Sinha, Shubham [contributor.] | Sood, Manu [contributor.] | Sooryalakshmi, S [contributor.] | Sreenath Kashyap, S [contributor.] | Sri Krishna, A [contributor.] | Sridevi, H.R [contributor.] | Sumithra, Devi K.A [contributor.] | Thirumalini, P [contributor.] | Trivedi, Prakriti [contributor.] | Upadhya, K [contributor.] | Varma, Oormila R [contributor.] | Venugopal, K. R [contributor.] | Vinay, Kumar S.B [contributor.] | Yadav, Naresh Kumar [contributor.]. Source: DG Plus eBook-Package 2016Source: EBOOK PACKAGE COMPLETE 2016Source: EBOOK PACKAGE Engineering, Computer Sciences 2016Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2016]Copyright date: ©2016Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
Design of Multimodal Mobile Interfaces / ed. by Nava Shaked, Ute Winter.
by Agarwal, Sanjay [contributor.] | Artelt, Detlev [contributor.] | Asherov, Ron [contributor.] | Brown, Kathy [contributor.] | Brown, Kathy | Carbaugh, Donal [contributor.] | Chakraborty, Abir [contributor.] | Dahl, Deborah A [contributor.] | Dahl, Deborah | Degani, Asaf [contributor.] | Degani, Asaf | Heymann, Michael [contributor.] | Joshi, Prashant [contributor.] | Lawo, Michael [contributor.] | Lawo, Michael | Lie, Sunny [contributor.] | Logan, Robert K [contributor.] | Molina-Markham, Elizabeth [contributor.] | Over, Brion van [contributor.] | Pasher, Edna [contributor.] | Rudnicky, Alexander | Rudnicky, Alexander I [contributor.] | Shaked, Nava [contributor.] | Shaked, Nava [editor.] | Shmueli-Friedland, Yael [contributor.] | Shmueli-Friedland, Yael | Sun, Ming [contributor.] | Walia, Anmol [contributor.] | Winter, Ute [contributor.] | Winter, Ute [editor.] | Zelman, Ido [contributor.] | van Over, Brion. Source: DG Plus eBook-Package 2016Source: EBOOK PACKAGE COMPLETE 2016Source: EBOOK PACKAGE Engineering, Computer Sciences 2016Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2016]Copyright date: ©2016Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
Energy Harvesting for Wireless Sensor Networks : Technology, Components and System Design / ed. by Olfa Kanoun.
by Abid, Mohamed [contributor.] | Baglio, Salvatore [contributor.] | Bdiri, Sadok [contributor.] | Besbes, Kamel [contributor.] | Borowiec, Marek [contributor.] | Boshkovska, Elena [contributor.] | Bouattour, Ghada [contributor.] | Bradai, Sonia [contributor.] | Cahill, Paul [contributor.] | Chaour, Issam [contributor.] | Chen, Xiaoming [contributor.] | Choura, Slim [contributor.] | Chéour, Rym [contributor.] | Derbel, Faouzi [contributor.] | Derbel, Houda [contributor.] | Du, Lin [contributor.] | Elleuch, Riadh [contributor.] | Fakhfakh, Ahmed [contributor.] | Hadas, Zdenek [contributor.] | Haerinia, Mohammad [contributor.] | Houssaini, Dhouha El [contributor.] | Jmal, Mohamed Wassim [contributor.] | Kallel, Bilel [contributor.] | Kammoun, Ines [contributor.] | Kanoun, Olfa [contributor.] | Kanoun, Olfa [editor.] | Keutel, Thomas [contributor.] | Khriji, Sabrine [contributor.] | Knorn, Steffi [contributor.] | Litak, Grzegorz [contributor.] | Museros, Pedro [contributor.] | Naifar, Slim [contributor.] | Ng, DerrickWing Kwan [contributor.] | Pakrashi, Vikram [contributor.] | Palma, Roberto [contributor.] | Pérez-Aparicio, José L [contributor.] | Quevedo, Daniel E [contributor.] | Rysak, Andrzej [contributor.] | Schober, Robert [contributor.] | Smilek, Jan [contributor.] | Stączek, Paweł [contributor.] | Syta, Arkadiusz [contributor.] | Trabelsi, Hafedh [contributor.] | Trigona, Carlo [contributor.] | University of Technology Chemnitz, Martin [contributor.] | Viehweger, Christian [contributor.] | Wolszczak, Piotr [contributor.] | Yang, Feng [contributor.] | Zhao, Xinming [contributor.] | Zlatanov, Nikola [contributor.] | Łygas, Krystian [contributor.]. Source: DG Plus eBook-Package 2019Source: EBOOK PACKAGE COMPLETE 2018 EnglishSource: EBOOK PACKAGE COMPLETE 2018Source: EBOOK PACKAGE Engineering, Computer Sciences 2018Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: München ; Wien : De Gruyter Oldenbourg, [2018]Copyright date: ©2019Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
Sensors, Circuits and Instrumentation Systems : 2018 / ed. by Olfa Kanoun.
by Abbes, Karim [contributor.] | Abdelmoula, Chokri [contributor.] | Al-Tikriti, Munther N [contributor.] | Barioul, Rim [contributor.] | Bieske, Björn [contributor.] | Derbel, Houda [contributor.] | Ellinger, Frank [contributor.] | Garradhi, Karima [contributor.] | Ghribi, Sameh Fakhfakh [contributor.] | Hassen, Néjib [contributor.] | Kanoun, Olfa [contributor.] | Kanoun, Olfa [editor.] | Kropp, Gerrit [contributor.] | Masmoudi, Mohamed [contributor.] | Mohamad, Wagah F [contributor.] | Rolapp, Alexander [contributor.] | Salah, Ghada Ben [contributor.] | Sobotta, Elena [contributor.] | Wolf, Robert [contributor.]. Source: DG Ebook Package English 2020Source: DG Plus DeG Package 2020 Part 1Source: 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: ©2020Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
Vehicle Systems and Driver Modelling : DSP, human-to-vehicle interfaces, driver behavior, and safety / ed. by Huseyin Abut, John Hansen, Gerhard Schmidt, Kazuya Takeda, Hanseok Ko.
by Abut, Huseyin [editor.] | Abut, Hüseyin [contributor.] | Angkititrakul, Pongtep [contributor.] | Bajcsy, Ruzena [contributor.] | Baran, Robert [contributor.] | Buck, Markus [contributor.] | Busso, Carlos [contributor.] | Deguchi, Daisuke [contributor.] | Doman, Keisuke [contributor.] | Driggs-Campbell, Katherine [contributor.] | Fingscheidt, Tim [contributor.] | Hahm, Seong-Jun [contributor.] | Handayani, Dini [contributor.] | Hansen, John H. L [contributor.] | Hansen, John [editor.] | Hayamizu, Satoru [contributor.] | Hirayama, Takatsugu [contributor.] | Honda, Shinya [contributor.] | Ide, Ichiro [contributor.] | John, Tina [contributor.] | Kamaruddin, Norhaslinda [contributor.] | Kawasaki, Takuya [contributor.] | Kim, Wooil [contributor.] | Kitaoka, Norihide [contributor.] | Ko, Hanseok [contributor.] | Ko, Hanseok [editor.] | Krishnamurthy, Nitish [contributor.] | Landgraf, Rabea [contributor.] | Li, Nanxiang [contributor.] | Lüke, Christian [contributor.] | Matheja, Timo [contributor.] | Mekada, Yoshito [contributor.] | Miyajima, Chiyomi [contributor.] | Mori, Masataka [contributor.] | Murase, Hiroshi [contributor.] | Niebuhr, Oliver [contributor.] | Nitanda, Naoki [contributor.] | Rajan, Vasudev Kandade [contributor.] | Rohde, Sebastian [contributor.] | Sadjadi, Seyed Omid [contributor.] | Sathyanarayana, Amardeep [contributor.] | Sato, Kenya [contributor.] | Schmidt, Gerhard [contributor.] | Schmidt, Gerhard [editor.] | Seko, Takumi [contributor.] | Shia, Victor [contributor.] | Shokouhi, Navid [contributor.] | Takada, Hiroaki [contributor.] | Takeda, Kazuya [contributor.] | Takeda, Kazuya [editor.] | Tamura, Satoshi [contributor.] | Tanishige, Ryunosuke [contributor.] | Theiß, Anne [contributor.] | Ukai, Naoya [contributor.] | Wahab, Abdul [contributor.] | Withopf, Jochen [contributor.] | Yamaguchi, Akihiro [contributor.] | Yamakawa, Tatsuya [contributor.]. Source: DG Plus DeG Package 2017 Part 1Source: DG Plus eBook-Package 2017Source: EBOOK PACKAGE COMPLETE 2017Source: EBOOK PACKAGE COMPLETE ENGLISH 2017Source: EBOOK PACKAGE Engineering, Computer Sciences 2017Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2017]Copyright date: ©2017Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
Vehicles, Drivers, and Safety / ed. by Huseyin Abut, Kazuya Takeda, Gerhard Schmidt, John Hansen.
by Abut, Huseyin [editor.] | Abut, Hüseyin [contributor.] | Alarabi, K.F [contributor.] | Aoki, Hirofumi [contributor.] | Boyraz, Pinar [contributor.] | Busso, Carlos [contributor.] | Carballo, Alexander [contributor.] | Deguchi, Daisuke [contributor.] | Fingscheidt, Tim [contributor.] | Franzen, Jan [contributor.] | Gimm, Marco [contributor.] | Hansen, John H.L [contributor.] | Hansen, John [editor.] | Hayashi, Daiki [contributor.] | Hübschen, Tobias [contributor.] | Ide, Ichiro [contributor.] | Ishiguro, Yoshio [contributor.] | Jha, Sumit [contributor.] | Kamaruddin, Norhaslinda [contributor.] | Kandade Rajan, Vasudev [contributor.] | Kawanishi, Yasutomo [contributor.] | Kitaoka, Norihide [contributor.] | Kojima, Shin'ichi [contributor.] | Komatani, Kazunori [contributor.] | Kyutoku, Haruya [contributor.] | Liu, Yongkang [contributor.] | Maroli, John M [contributor.] | Misu, Teruhisa [contributor.] | Miyajima, Chiyomi [contributor.] | Murase, Hiroshi [contributor.] | Nakagawa, Takuma [contributor.] | Namenas, Anton [contributor.] | Nishimura, Ryota [contributor.] | Ohsuga, Shin [contributor.] | Patel, Dhruvkumar [contributor.] | Rao, Rohan [contributor.] | Rovira, Oscar [contributor.] | Schmidt, Gerhard [contributor.] | Schmidt, Gerhard [editor.] | Son Le, Anh [contributor.] | Suga, Chihiro [contributor.] | Suzuki, Tatsuya [contributor.] | Takeda, Kazuya [contributor.] | Takeda, Kazuya [editor.] | Takeda, Ryu [contributor.] | Theiß, Anne [contributor.] | Wahab, Abdul [contributor.] | Wong, David Robert [contributor.] | Yamabe, Kazuaki [contributor.] | Yu, Chuan [contributor.] | Zalila-Wenkstern, Rym [contributor.] | Zheng, Yang [contributor.] | Öge, Cüneyt L [contributor.] | Özgüner, Ümit Ö [contributor.]. Source: DG Ebook Package English 2020Source: DG Plus DeG Package 2020 Part 1Source: De Gruyter English eBooks 2020 - UCSource: EBOOK PACKAGE COMPLETE 2020 EnglishSource: EBOOK PACKAGE COMPLETE 2020Source: EBOOK PACKAGE Engineering, Computer Sciences 2020 EnglishSource: EBOOK PACKAGE Engineering, Computer Sciences 2020Material type: Book; Format:
available online
; Audience:
Specialized;
Publisher: Berlin ; Boston : De Gruyter, [2020]Copyright date: ©2020Online access: Click here to access online | Click here to access online | Cover Availability: No items available
|
|
|
An Introduction to Constraint-Based Temporal Reasoning [electronic resource] / by Roman Barták, Robert A. Morris, K. Brent Venable.
by Barták, Roman [author.] | Morris, Robert A [author.] | Venable, K. Brent [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
|
|
|
Introduction to Logic Synthesis using Verilog HDL [electronic resource] / by Robert B. Reese, Mitchell A. Thornton.
by Reese, Robert B [author.] | Thornton, Mitchell A [author.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
Stochastic Partial Differential Equations for Computer Vision with Uncertain Data [electronic resource] / by Tobias Preusser, Robert M. Kirby, Torben Pätz.
by Preusser, Tobias [author.] | Kirby, Robert M [author.] | Pätz, Torben [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
An Introduction to Verification of Visualization Techniques [electronic resource] / by Tiago Etiene, Robert M. Kirby, Cláudio T. Silva.
by Etiene, Tiago [author.] | Kirby, Robert M [author.] | Silva, Cláudio T [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
Geometric Programming for Design and Cost Optimization 2nd edition [electronic resource] / by Robert Creese.
by Creese, Robert [author.] | SpringerLink (Online service). Edition: 2nd ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
Geometric Programming for Design and Cost Optimization [electronic resource] / by Robert Creese.
by Creese, Robert [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
|
|
|
Essentials of Applied Mathematics for Scientists and Engineers [electronic resource] / by Robert Watts.
by Watts, Robert [author.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
Parallel Processing, 1980 to 2020 [electronic resource] / by Robert Kuhn, David Padua.
by Kuhn, Robert [author.] | Padua, David [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
|
|
|
Feedback Control Systems [electronic resource] : The MATLAB®/Simulink® Approach / by Farzin Asadi, Robert E. Bolanos, Jorge Rodríguez.
by Asadi, Farzin [author.] | Bolanos, Robert E [author.] | Rodríguez, Jorge [author.] | 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
|
|
|
Surface Computing and Collaborative Analysis Work [electronic resource] / by Judith Brown, Jeff Wilson, Robert Biddle, Chris Hack, Stevenson Gossage.
by Brown, Judith [author.] | Wilson, Jeff [author.] | Biddle, Robert [author.] | Hack, Chris [author.] | Gossage, Stevenson [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
|