Computer Science & Engineering

September 2018

Machine learning for the quantified self : on the art of learning from sensory data

Author: Mark Hoogendoorn, Burkhardt Funk

Call Number: Q325.5

Granular computing based machine learning : a big data processing approach

Author: Han Liu, Mihaela Cocea

Call Number: Q325.5

Machine learning, optimization, and big data : third International Conference, MOD 2017, Volterra, Italy, September 14-17, 2017, Revised selected papers

Author: Giuseppe Nicosia, Panos Pardalos, Giovanni Giuffrida, Renato Umeton (eds.)

Call Number: Q325.5

The International Conference on Advanced Machine Learning Technologies and Applications (AMLTA2018)

Author: Aboul Ella Hassanien, Mohamed F. Tolba, Mohamed Elhoseny, Mohamed Mostafa, editors

Call Number: Q325.5

Machine learning : a concise introduction

Author: Steven W. Knox

Call Number: Q325.5 .K568 2018

Developments and advances in intelligent systems and applications

Author: Álvaro Rocha, Luís Paulo Reis, editors

Call Number: Q335

Advances in hybridization of intelligent methods : models, systems and applications

Author: Ioannis Hatzilygeroudis, Vasile Palade, editors

Call Number: Q335

Foundations of trusted autonomy

Author: Hussein A. Abbass, Jason Scholz, Darryn J. Reid, editors

Call Number: Q335

Recent advances in learning automata

Author: by Alireza Rezvanian, Ali Mohammad Saghiri, Seyed Mehdi Vahidipour, Mehdi Esnaashari, Mohammad Reza Meybodi

Call Number: Q335

Artificial intelligence tools for cyber attribution

Author: Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Andrew Ruef

Call Number: Q335

Modern approaches for intelligent information and database systems

Author: Andrzej Sieminski, Adrianna Kozierkiewicz, Manuel Nunez, Quang Thuy Ha, editors

Call Number: Q335

Artificial intelligence and robotics

Author: Huimin Lu, Xing Xu, editors

Call Number: Q335 .I587 2017

Classification, (big) data analysis and statistical learning

Author: Francesco Mola, Claudio Conversano, Maurizio Vichi, editors

Call Number: QA276

The mathematics of the uncertain : a tribute to Pedro Gil

Author: Eduardo Gil, Eva Gil, Juan Gil, María Ángeles Gil, editors

Call Number: QA276

International handbook of research in statistics education

Author: Dani Ben-Zvi, Katie Makar, Joan Garfield, editors

Call Number: QA276.18

A general introduction to data analytics

Author: by João Mendes Moreira, André C.P.L.F. de Carvalho, Tomáš Horváth

Call Number: QA276.4 .M664 2019

An introduction to statistical analysis in research : with applications in the biological and life sciences

Author: Kathleen F. Weaver [and four others]

Call Number: QA276.4 .W43 2018

Statistical data cleaning with applications in R

Author: Edwin de Jonge, Mark van der Loo

Call Number: QA276.45.R3 J66 2018

Advanced numerical methods with Matlab1 : function approximation and system resolution

Author: Bouchaib Radi, Abdelkhalak El Hami

Call Number: QA297

Analysis and simulation of electrical and computer systems

Author: Damian Mazur, Marek Gołębiowski, Mariusz Korkosz, editors

Call Number: QA402

Morphogenesis of spatial networks

Author: Marc Barthelemy

Call Number: QA402

Nonlinear systems. Vol. 2, Nonlinear phenomena in biology, optics and condensed matter

Author: Juan F.R. Archilla, Faustino Palmero, M. Carmen Lemos, Bernardo Sánchez-Rey, Jesús Casado-Pascual, editors

Call Number: QA402

Multilayer networks : structure and function

Author: Ginestra Bianconi

Call Number: QA402 .B485 2018

Qualitative and quantitative analysis of nonlinear systems : theory and applications

Author: Michael Z. Zgurovsky, Pavlo O. Kasyanov

Call Number: QA402 .Z48 2018

Informatics in control, automation and robotics : 13th International Conference, ICINCO 2016 Lisbon, Portugal, 29-31 July, 2016

Author: Kurosh Madani, Dimitri Peaucelle, Oleg Gusikhin, editors

Call Number: QA402.3

Emerging applications of control and systems theory : a festschrift in honor of Mathukumalli Vidyasagar

Author: edited by Roberto Tempo, Stephen Yurkovich, Pradeep Misra

Call Number: QA402.3

EVOLVE -- A bridge between probability, set oriented numerics, and evolutionary computation VI

Author: Alexandru-Adrian Tantar [and others], editors

Call Number: QA402.5

Modeling, simulation and optimization

Author: Pandian Vasant, Igor Litvinchev, José Antonio Marmolejo-Saucedo, editors

Call Number: QA402.5

Computer and information science

Author: edited by Roger Lee

Call Number: QA75.5

Applied computing & information technology

Author: Roger Lee, editor

Call Number: QA75.5

ICT based innovations : proceedings of CSI 2015

Author: A.K. Saini, A.K. Nayak, Ram Krishna Vyas, editors

Call Number: QA75.5

Frontier computing : theory, technologies and applications FC 2016

Author: Neil Y. Yen, Jason C Hung, editors

Call Number: QA75.5

Emerging Research in Computing, Information, Communication and Applications : ERCICA 2016

Author: N.R. Shetty [and others], editors

Call Number: QA75.5

Next-generation networks : proceedings of CSI-2015

Author: Daya K. Lobiyal, Vibhakar Mansotra, Umang Singh, editors

Call Number: QA75.5

Proceedings of the Scientific-Practical Conference "Research and Development -- 2016"

Author: edited by K. V. Anisimov, A. V. Dub, S. K. Kolpakov, A. V. Lisitsa, A. N. Petrov, V. P. Polukarov, O. S. Popel, V. A. Vinokurov

Call Number: QA75.5

Advances in computer science and ubiquitous computing : CSA-CUTE 17

Author: James J. Park, Vincenzo Loia, Gangman Yi, Yunsick Sung, editors

Call Number: QA75.5

Advanced computing and communication technologies : proceedings of the 10th ICACCT, 2016

Author: edited by Ramesh K. Choudhary, Jyotsna Kumar Mandal, Dhananjay Bhattacharyya

Call Number: QA75.5

Nature inspired computing : proceedings of CSI 2015

Author: edited by Bijaya Ketan Panigrahi, M.N. Hoda, Vinod Sharma, Shivendra Goel

Call Number: QA75.5 .C65

Proceedings of the 11th International Symposium on Computer Science in Sport (IACSS 2017)

Author: Martin Lames, Dietmar Saupe, Josef Wiemeyer, editors

Call Number: QA75.5 .I58 2017eb

Dependable multicore architectures at nanoscale

Author: Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli, editors

Call Number: QA76.5

Reliable and energy efficient streaming multiprocessor systems

Author: Anup Kumar Das, Akash Kumar, Bharadwaj Veeravalli, Francky Catthoor

Call Number: QA76.5

Real-time modelling and processing for communication systems : applications and practices

Author: Muhammad Alam, Wael Dghais, Yuanfang Chen, editors

Call Number: QA76.54

Intelligent interactive multimedia systems and services 2017

Author: Giuseppe De Pietro [and others], editors

Call Number: QA76.575

The present image : visible stories in a digital habitat

Author: Paolo S.H. Favero

Call Number: QA76.575

MultiMedia modeling : 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings.

Author: Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O'Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal (eds.)

Call Number: QA76.575

MultiMedia modeling : 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings.

Author: Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O'Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal (eds.)

Call Number: QA76.575

Research and development in digital media

Author: Rae Earnshaw

Call Number: QA76.575 .E27 2018

CCSP official (ISC)2 practice tests

Author: Ben Malisow

Call Number: QA76.585

Industry trends in cloud computing : alternative business-to-business revenue models

Author: David Dempsey, Felicity Kelliher

Call Number: QA76.585

Modeling and simulation in HPC and cloud systems

Author: Joanna Kołodziej, Florin Pop, Ciprian Dobre, editors

Call Number: QA76.585

Economic models for managing cloud services

Author: Sajib Mistry, Athman Bouguettaya, Hai Dong

Call Number: QA76.585

Optimized cloud based scheduling

Author: Rong Kun Jason Tan, John A. Leong, Amandeep S. Sidhu

Call Number: QA76.585

Inventing the Cloud Century : How Cloudiness Keeps Changing Our Life, Economy and Technology

Author: by Marcus Oppitz, Peter Tomsu

Call Number: QA76.585 .O67 2018

Sustainable Cloud and Energy Services : Principles and Practice

Author: edited by Wilson Rivera

Call Number: QA76.585 .S87 2018

Bridging the semantic gap in image and video analysis

Author: Halina Kwaśnicka, Lakhmi C. Jain, editors

Call Number: QA76.5913

Cloud infrastructures, services, and IoT systems for smart cities : second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20-21, 2017, Proceedings

Author: Antonella Longo, Marco Zappatore, Massimo Villari, Omer Rana, Dario Bruneo, Rajiv Ranjan, Maria Fazio, Philippe Massonet (eds.)

Call Number: QA76.5915

Smart secure systems -- IoT and Analytics Perspective : second International Conference on Intelligent Information Technologies, ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings

Author: Guru Prasadh Venkataramani, Karthik Sankaranarayanan, Saswati Mukherjee, Kannan Arputharaj, Swamynathan Sankara Narayanan (eds.)

Call Number: QA76.5915

Context-aware communication and computing : applications for smart environment

Author: Punnarumol Temdee, Ramjee Prasad

Call Number: QA76.5915 .T46 2018

Wearable computing : from modeling to implementation of wearable systems based on body sensor networks

Author: Giancarlo Fortino, Raffaele Gravina, and Stefano Galzarano

Call Number: QA76.592

Modeling with rules using semantic knowledge engineering

Author: Grzegorz J. Nalepa

Call Number: QA76.6

Inspired by nature : essays presented to Julian F. Miller on the occasion of his 60th birthday

Author: Susan Stepney, Andrew Adamatzky, editors

Call Number: QA76.623

Parallel genetic algorithms for financial pattern discovery using GPUs

Author: João Baúto, Rui Neves, Nuno Horta

Call Number: QA76.623

Invasive computing for mapping parallel programs to many-core architectures

Author: Andreas Weichslgartner, Stefan Wildermann, Michael Glaß, Jürgen Teich

Call Number: QA76.642

Symbolic parallelization of nested loop programs

Author: Alexandru-Petru Tanase, Frank Hannig, Jürgen Teich

Call Number: QA76.642

Illustrated C♯ 7 : the C♯ language presented clearly, concisely, and visually

Author: Daniel Solis, Cal Schrotenboer

Call Number: QA76.73.C154

Java quick syntax reference

Author: Mikael Olsson

Call Number: QA76.73.J38

JavaScript and open data

Author: Robert Jeansoulin

Call Number: QA76.73.J39

Pro Typescript : application-scale JavaScript development

Author: Steve Fenton

Call Number: QA76.73.J39

Make your own Python text adventure : a guide to learning programming

Author: Phillip Johnson

Call Number: QA76.73.P98

Software engineering research, management and applications

Author: Roger Lee, editor

Call Number: QA76.758

Towards a synergistic combination of research and practice in software engineering

Author: Piotr Kosiuczenko, Lech Madeyski, editors

Call Number: QA76.758

Trends and applications in software engineering : proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

Author: Jezreel Mejia, Mirma Muñoz, Álvaro Rocha, Yadira Quiñonez, Jose Calvo-Manzano, editors

Call Number: QA76.758

Proceedings of 5th International Conference in Software Engineering for Defence Applications : SEDA 2016

Author: Paolo Ciancarini, Stanislav Litvinov, Angelo Messina, Alberto Sillitti, Giancarlo Succi, editors

Call Number: QA76.758

On the move to meaningful internet systems : OTM 2017 Workshops : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23-28, 2017, Revised Selected Papers

Author: Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman (eds.)

Call Number: QA76.76.A65

Automatic tuning of compilers using machine learning

Author: Amir H. Ashouri, Gianluca Palermo, John Cavazos, Cristina Silvano

Call Number: QA76.76.C65

Agile methods : 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13-14, 2017, Revised selected papers

Author: Viviane Almeida dos Santos, Gustavo Henrique Lima Pinto, Adolfo Gustavo Serra Seca Neto (eds.)

Call Number: QA76.76.D47

Knowledge computing and its applications : knowledge manipulation and processing techniques.

Author: S. Margret Anouncia, Uffe Kock Wiil, editors

Call Number: QA76.76.E95

Software failure investigation : a near-miss analysis approach

Author: Jan Eloff, Madeleine Bihina Bella

Call Number: QA76.76.F34 E66 2018

XML and JSON recipes for SQL Server : a problem-solution approach

Author: Alex Grinberg

Call Number: QA76.76.H94

Trends in cyber-physical multi-agent systems : the PAAMS collection -- 15th International Conference, PAAMS 2017

Author: Fernando De la Prieta, Zita Vale, Luis Antunes, Tiago Pinto, Andrew T. Campbell, Vicente Julián, Antonio J.R. Neves, María N. Moreno, editors

Call Number: QA76.76.I58

Introduction to averaging dynamics over networks

Author: Fabio Fagnani, Paolo Frasca

Call Number: QA76.76.I58

Mobile agent-based anomaly detection and verification system for smart home sensor networks

Author: Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu, Surraya Khanum

Call Number: QA76.76.I58

Advances in internet, data & web technologies : the 6th International Conference on Emerging Internet, Data & Web Technologies (EIDWT-2018)

Author: Leonard Barolli, Fatos Xhafa, Nadeem Javaid, Evjola Spaho, Vladi Kolici (eds.)

Call Number: QA76.76.I58

Intelligent technologies for interactive entertainment : 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings

Author: Yoram Chisik, Jussi Holopainen, Rilla Khaled, José Luis Silva, Paula Alexandra Silva (eds.)

Call Number: QA76.76.I59

Windows 10 development with XAML and C♯ 7 +

Author: Jesse Liberty, Jon Galloway, Philip Japikse, Jonathan Hartwell

Call Number: QA76.76.O63

Embedded operating systems : a practical approach

Author: Alan Holt, Chi-Yu Huang

Call Number: QA76.76.O63

Software quality : concepts and practice

Author: Daniel Galin

Call Number: QA76.76.Q35 G35 2018

Advances in dependability engineering of complex systems : proceedings of the twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2017, Brunów, Poland

Author: Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Wolkowiak, Janusz Kacprzyk, editors

Call Number: QA76.76.R44 I553 2017eb

Quality software through reuse and integration

Author: Stuart H. Rubin, Thouraya. Bouabana-Tebibel, editors

Call Number: QA76.76.R47 Q35 2018

Formal system verification : state-of the-art and future trends

Author: Rolf Drechsler, editor

Call Number: QA76.76.V47

Concurrency control in distributed system using mutual exclusion

Author: Sukhendu Kanrar, Nabendu Chaki, Samiran Chattopadhyay

Call Number: QA76.77 .K36 2018

Introduction to Octave : for engineers and scientists

Author: Sandeep Nagar

Call Number: QA76.8.O28

Analysis and control of coupled neural networks with reaction-diffusion terms

Author: Jin-Liang Wang, Huai-Ning Wu, Tingwen Huang, Shun-Yan Ren

Call Number: QA76.87

Multidisciplinary approaches to neural computing

Author: Anna Esposito [and 3 others], editors

Call Number: QA76.87

New classification method based on modular neural networks with the LVQ algorithm and type-2 fuzzy logic

Author: Jonathan Amezcua, Patricia Melin, Oscar Castillo

Call Number: QA76.87

Silicon photonics & high performance computing : proceedings of CSI 2015

Author: Anurag Mishra, Anirban Basu, Vipin Tyagi, editors

Call Number: QA76.88

High performance computing in science and engineering '17 : transactions of the High Performance Computing Center, Stuttgart (HLRS) 2017

Author: Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch, editors

Call Number: QA76.88

Membrane computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, revised selected papers

Author: Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron, editors

Call Number: QA76.887

Quantum computing : an environment for intelligent large scale real application

Author: Aboul Ella Hassanien, Mohamed Elhoseny, Janusz Kacprzyk, editors

Call Number: QA76.889

Insider threats

Author: Pierre-Emmanuel Arduin

Call Number: QA76.9.A25

Advance compression and watermarking technique for speech signals

Author: Rohit Thanki, Komal Borisagar, Surekha Borra

Call Number: QA76.9.A25

Foundations and practice of security : 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised selected papers

Author: Abdessamad Imine, José M. Fernandez, Jean-Yves Marion, Luigi Logrippo, Joaquin Garcia-Alfaro (eds.)

Call Number: QA76.9.A25

Mathematical modelling for next-generation cryptography : Crest Crypto-math Project

Author: [edited by] Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Dung Hoang Duong

Call Number: QA76.9.A25 M378 2018

Artificial adaptive systems using auto contractive maps : theory, applications and extensions

Author: Paolo Massimo Buscema, Giulia Massini, Marco Breda, Weldon A. Lodwick, Francis Newman, Masoud Asadi-Zeydabadi

Call Number: QA76.9.A3

WALCOM : algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

Author: edited by M. Sohel Rahman, Wing-Kin Sung, Ryuhei Uehara

Call Number: QA76.9.A43

Application-specific hardware architecture design with VHDL

Author: Bogdan Belean

Call Number: QA76.9.A73

Augmented reality art : from an emerging technology to a novel creative medium

Author: edited by Vladimir Geroimenko

Call Number: QA76.9.A94

Augmented reality and virtual realit : empowering human, place and business

Author: Timothy Jung, M. Claudia tom Dieck, editors

Call Number: QA76.9.A94 A94 2018

The digital era. 1, Big data stakes

Author: edited by Jean-Pierre Chamoux

Call Number: QA76.9.B45

Data analytics and big data

Author: Soraya Sedkaoui

Call Number: QA76.9.B45

Guide to big data applications

Author: S. Srinivasan, editor

Call Number: QA76.9.B45

Cognitive computing for big data systems over IoT : frameworks, tools and applications

Author: Arun Kumar Sangaiah, Arunkumar Thangavelu, Venkatesan Meenakshi Sundaram, editors

Call Number: QA76.9.B45

Web microanalysis of big image data

Author: Peter Bajcsy, Joe Chalfoun, Mylene Simon

Call Number: QA76.9.B45

Data science landscape : towards research standards and protocols

Author: Usha Mujoo Munshi, Neeta Verma, editors

Call Number: QA76.9.B45

Big data for insurance companies

Author: edited by Marine Corlosquet-Habart, Jacques Janssen

Call Number: QA76.9.B45 B553 2018eb

Highlighting the importance of big data management and analysis for various applications

Author: Mohammad Moshirpour, Behrouz Far, Reda Alhajj, editors

Call Number: QA76.9.B45 H55 2018

Mobile big data : a roadmap from models to technologies

Author: Georgios Skourletopoulos, George Mastorakis, Constandinos X. Mavromoustakis, Ciprian Dobre, Evangelos Pallis, editors

Call Number: QA76.9.B45 M63 2018

Multiscale modeling of heterogeneous structures

Author: Jurica Sorić, Peter Wriggers, Olivier Allix, editors

Call Number: QA76.9.C65

Introductory relational database design for business, with Microsoft Access

Author: by Jonathan Eckstein and Bonnie R. Schultz

Call Number: QA76.9.D3

Modern data strategy

Author: Mike Fleckenstein, Lorraine Fellows

Call Number: QA76.9.D3

Analytics and data science : advances in research and pedagogy

Author: Amit V. Deokar, Ashish Gupta, Lakshmi S. Iyer, Mary C. Jones, editors

Call Number: QA76.9.D32

Proceedings of the 7th International Conference on Emerging Databases : technologies, applications, and theory

Author: Wookey Lee, Wonik Choi, Sungwon Jung, Min Song, editors

Call Number: QA76.9.D32

Expert Apache Cassandra administration

Author: Sam R. Alapati

Call Number: QA76.9.D32

Topic detection and classification in social networks : the Twitter case

Author: Dimitrios Milioris

Call Number: QA76.9.D343

Advances in knowledge discovery and management. Volume 7

Author: Bruno Pinaud, Fabrice Guillet, Bruno Cremilleux, Cyril de Runz, editors

Call Number: QA76.9.D343

Big Data Analytics : Proceedings of CSI 2015

Author: edited by V.B. Aggarwal, Vasudha Bhatnagar, Durgesh Kumar Mishra

Call Number: QA76.9.D343

Visual knowledge discovery and machine learning

Author: Boris Kovalerchuk

Call Number: QA76.9.D343

Data warehouse requirements engineering : a decision based approach

Author: Naveen Prakash, Deepika Prakash

Call Number: QA76.9.D37

Decision economics : in the tradition of Herbert A. Simon's Heritage : distributed computing and artificial intelligence, 14th International Conference

Author: Edgardo Bucciarelli, Shu-Heng Chen, Juan M. Corchado, editors

Call Number: QA76.9.D5 D43 2018eb

Formal methods for safety and security : case studies for aerospace applications

Author: Manju Nanda, Yogananda Jeppu, editors

Call Number: QA76.9.F67

Haptic interaction : science, engineering and design

Author: Shoichi Hasegawa, Masashi Konyo, Ki-Uk Kyung, Takuya Nojima, Hiroyuki Kajimoto, editors

Call Number: QA76.9.H85

Engineering computational emotion : a reference model for emotion in artificial systems

Author: M. Guadalupe Sánchez-Escribano

Call Number: QA76.9.H85

Human-computer systems interaction : backgrounds and applications 4

Author: Zdzisław S. Hippe, Juliusz L. Kulikowski, Teresa Mroczek, editors

Call Number: QA76.9.H85

Kinesthetic perception : a machine learning approach

Author: Subhasis Chaudhuri, Amit Bhardwaj

Call Number: QA76.9.H85 C43 2018

The Wiley handbook of human computer interaction

Author: edited by Kent L. Norman and Jurek Kirakowski

Call Number: QA76.9.H85 W487 2018

Innovative computing, optimization and its applications : modelling and simulations

Author: Ivan Zelinka, Pandian Vasant, Vo Hoang Duy, Tran Trong Dao, editors

Call Number: QA76.9.M35

Teaching and learning discrete mathematics worldwide : curriculum and research

Author: Eric W. Hart, James Sandefur, editors

Call Number: QA76.9.M35

Probability and statistics for computer science

Author: David Forsyth

Call Number: QA76.9.M35

Complexity and synergetics

Author: Stefan C. Müller, Peter J. Plath, Günter Radons, Armin Fuchs, editors

Call Number: QA76.9.M35 .C66 2018

Advanced optimization by nature-inspired algorithms

Author: Omid Bozorg-Haddad, editor

Call Number: QA76.9.N37

Nature-inspired algorithms and applied optimization

Author: Xin-She Yang, editor

Call Number: QA76.9.N37

Speech and language processing for human-machine communications : proceedings of CSI 2015

Author: S.S. Agrawal [and others], editors

Call Number: QA76.9.N38

Intelligent natural language processing : trends and applications

Author: Khaled Shaalan, Aboul Ella Hassanien, Fahmy Tolba, editors

Call Number: QA76.9.N38

Natural language processing and Chinese computing : 6th CCF International Conference, NLPCC 2017, Dalian, China, November 8-12, 2017, Proceedings

Author: Xuanjing Huang, Jing Jiang, Dongyan Zhao, Yansong Feng, Yu Hong (eds.)

Call Number: QA76.9.N38

Services computing for language resources

Author: Yohei Murakami, Donghui Lin, Toru Ishida, editors

Call Number: QA76.9.N38

Automatic syntactic analysis based on selectional preferences

Author: Alexander Gelbukh, Hiram Calvo

Call Number: QA76.9.N38

Automated validation & verification of UML/OCL models using satisfiability solvers

Author: Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

Call Number: QA76.9.O35

Soft computing applications for group decision-making and consensus modeling

Author: Mikael Collan, Janusz Kacprzyk, editors

Call Number: QA76.9.S63

Soft computing for sustainability science

Author: Carlos Cruz Corona, editor

Call Number: QA76.9.S63

International joint conference SOCO'17-CISIS'17-ICEUTE'17 León, Spain, September 6-8, 2017, Proceedings

Author: Hilde Pérez García, Javier Alfonso-Cendón, Lidia Sánchez González, Héctor Quintián, Emilio Corchado, editors

Call Number: QA76.9.S63

Soft computing : theories and applications : proceedings of SoCTA 2016.

Author: Millie Pant, Kanad Ray, Tarun K. Sharma, Sanyog Rawat, Anirban Bandyopadhyay, editors

Call Number: QA76.9.S63

Soft computing : theories and applications : proceedings of SoCTA 2016.

Author: Millie Pant, Kanad Ray, Tarun K. Sharma, Sanyog Rawat, Anirban Bandyopadhyay, editors

Call Number: QA76.9.S63

International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications : ASISA 2016

Author: M. Sreenivasa Reddy, K. Viswanath, Shiva Prasad K.M., editors

Call Number: QA76.9.S63

Designing better services : a strategic approach from design to evaluation

Author: Francesca Foglieni, Beatrice Villari, Stefano Maffei

Call Number: QA76.9.S88

Information systems design and intelligent applications : proceedings of Fourth International Conference INDIA 2017

Author: Vikrant Bhateja, Bao Le Nguyen, Nhu Gia Nguyen, Suresh Chandra Satapathy, Dac-Nhuong Le, editors

Call Number: QA76.9.S88

Text processing : FIRE 2016 International Workshop, Kolkata, India, December 7-10, 2016, Revised selected papers

Author: Prasenjit Majumder, Mandar Mitra, Parth Mehta, Jainisha Sankhavara (eds.)

Call Number: QA76.9.T48

Stem education in the junior secondary

Author: Robyn Jorgensen

Call Number: QA76.9.U83 .J674 2017

Cloud computing and virtualization

Author: edited by Dac-Nhuong Le, Raghvendra Kumar, Gia Nhu Nguyen, Jyotir Moy Chatterjee

Call Number: QA76.9.V5

Virtual reality and augmented reality : myths and realities

Author: edited by Bruno Arnaldi, Pascal Guitton, Guillaume Moreau

Call Number: QA76.9.V5

Progress in advanced computing and intelligent engineering : proceedings of ICACIE 2016.

Author: Khalid Saeed [and 4 others], editors

Call Number: TK7885.A1

Progress in advanced computing and intelligent engineering : proceedings of ICACIE 2016.

Author: Khalid Saeed, Nabednu Chaki, Bibudhendu Pati, Sambit Bakshi, Durga Prasad Mohapatra, editors

Call Number: TK7885.A1

High-resolution and high-speed integrated CMOS AD converters for low-power applications

Author: Weitao Li, Fule Li, Zhihua Wang

Call Number: TK7887.6 .L52 2018

Smart sensors at the IoT frontier

Author: edited by Hiroto Yasuura, Chong-Min Kyung, Yongpan Liu, Youn-Long Lin

Call Number: TK7888.4

Fog Computing in the Internet of Things : Intelligence at the Edge

Author: edited by Amir M. Rahmani, Pasi Liljeberg, Jürgo-Sören Preden, Axel Jantsch

Call Number: TK7888.4

Quaternary Capped In(Ga)As/GaAs Quantum Dot Infrared Photodetectors : From Materials to Devices

Author: by Sourav Adhikary, Subhananda Chakrabarti

Call Number: TK7888.4

Physics of Semiconductor Devices

Author: by Massimo Rudan

Call Number: TK7888.4

The Hardware Trojan War : Attacks, Myths, and Defenses

Author: edited by Swarup Bhunia, Mark M. Tehranipoor

Call Number: TK7888.4 .H37 2018

High-level estimation and exploration of reliability for multi-processor system-on-chip

Author: Zheng Wang, Anupam Chattopadhyay

Call Number: TK7895.E42

Gain-cell embedded DRAMs for low-power VLSI systems-on-chip

Author: Pascal Meinerzhagen, Adam Teman, Robert Giterman, Noa Edri, Andreas Burg, Alexander Fish

Call Number: TK7895.E42

Intelligent embedded systems : select proceedings of ICNETS2.

Author: Daniel Thalmann, N. Subhashini, K. Mohanaprasad, M. S. Bala Murugan, editors

Call Number: TK7895.E42

Design of FPGA-based computing systems with OpenCL

Author: Hasitha Muthumala Waidyasooriya, Masanori Hariyama, Kunio Uchiyama

Call Number: TK7895.G36

Hands-on experience with Altera FPGA development boards

Author: Jivan S. Parab, Rajendra S. Gad, G.M. Naik

Call Number: TK7895.G36

Phase change memory : device physics, reliability and applications

Author: Andrea Redaelli, editor

Call Number: TK7895.M4

Digital storage in consumer electronics : the essential guide

Author: Thomas M. Coughlin

Call Number: TK7895.M4

Memories for the intelligent internet of things

Author: Betty Prince and David Prince

Call Number: TK7895.M4 P735 2018