Search Results for Hybrid systems. - Narrowed by: Online Library

Stochastic hybrid systems

2024-11-27T18:54:30Z

Author Cassandras, Christos G. Lygeros, John.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Recent Advances on Hybrid Intelligent Systems

2024-11-27T18:54:30Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333652.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33021-6
Format: Electronic Resources
Availability Online Library~1

Stochastic Reachability Analysis of Hybrid Systems

2024-11-27T18:54:30Z

Author Bujorianu, Luminita Manuela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2795-6
Format: Electronic Resources
Availability Online Library~1

Propulsion Systems for Hybrid Vehicles

2024-11-27T18:54:30Z

Author Miller, John M.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBRN007E
Format: Electronic Resources
Availability Online Library~1

Hybrid Self-Organizing Modeling Systems

2024-11-27T18:54:30Z

Author Onwubolu, Godfrey C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01530-4
Format: Electronic Resources
Availability Online Library~1

Soft Computing for Hybrid Intelligent Systems

2024-11-27T18:54:30Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70812-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Intelligent Systems Analysis and Design

2024-11-27T18:54:30Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-37421-3
Format: Electronic Resources
Availability Online Library~1

Innovations in Hybrid Intelligent Systems

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Corchado, Juan M. editor. Abraham, Ajith. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74972-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Estimation of Complex Systems

2024-11-27T18:54:30Z

Author Hofbaur, Michael W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105591
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence Engineering of Hybrid Systems

2024-11-27T18:54:30Z

Author Negoita, Mircea Gh. author. Neagu, Daniel. author. Palade, Vasile. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b12051
Format: Electronic Resources
Availability Online Library~1

Propulsion Systems for Hybrid Vehicles

2024-11-27T18:54:30Z

Author Miller, John M.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBPO045E
Format: Electronic Resources
Availability Online Library~1

Model-based Health Monitoring of Hybrid Systems

2024-11-27T18:54:30Z

Author Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332270.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Dynamical Systems : Modeling, Stability, and Robustness.

2024-11-27T18:54:30Z

Author Goebel, Rafal. Sanfelice, Ricardo G. Teel, Andrew R.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7s02z
Format: Electronic Resources
Availability Online Library~1

Hybrid Hydrogen Systems Stationary and Transportation Applications

2024-11-27T18:54:30Z

Author Al-Hallaj, Said. author. Kiszynski, Kristofer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-467-0
Format: Electronic Resources
Availability Online Library~1

Fault Tolerant Control Design for Hybrid Systems

2024-11-27T18:54:30Z

Author Yang, Hao. author. Jiang, Bin. author. Cocquempot, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10681-1
Format: Electronic Resources
Availability Online Library~1

Natural Deduction, Hybrid Systems and Modal Logics

2024-11-27T18:54:30Z

Author Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-8785-0
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

2024-11-27T18:54:30Z

Author García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Preferred Shelf Number XX(521307.1)
Electronic Access https://doi.org/10.1007/978-3-031-40725-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems Biology 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers

2024-11-27T18:54:30Z

Author Češka, Milan. editor. (orcid)0000-0002-0300-9727 Paoletti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28042-0
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings

2024-11-27T18:54:30Z

Author Pérez García, Hilde. editor. (orcid)0000-0001-7112-1983 Sánchez González, Lidia. editor. (orcid)0000-0002-0760-1170 Castejón Limas, Manuel. editor. (orcid)0000-0002-5152-4555 Quintián Pardo, Héctor. editor. (orcid)0000-0002-0268-7999 Corchado Rodríguez, Emilio. editor. (orcid)0000-0001-8560-3991
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29859-3
Format: Electronic Resources
Availability Online Library~1

New Hybrid Intelligent Systems for Diagnosis and Risk Evaluation of Arterial Hypertension

2024-11-27T18:54:30Z

Author Melin, Patricia. author. Prado-Arechiga, German. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61149-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings

2024-11-27T18:54:30Z

Author de Cos Juez, Francisco Javier. editor. Villar, José Ramón. editor. de la Cal, Enrique A. editor. Herrero, Álvaro. editor. Quintián, Héctor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92639-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Intelligent Systems 17th International Conference on Hybrid Intelligent Systems (HIS 2017) held in Delhi, India, December 14-16, 2017

2024-11-27T18:54:30Z

Author Abraham, Ajith. editor. Muhuri, Pranab Kr. editor. Muda, Azah Kamilah. editor. Gandhi, Niketa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76351-4
Format: Electronic Resources
Availability Online Library~1

Modeling and Simulation of Smart Grid Integrated with Hybrid Renewable Energy Systems

2024-11-27T18:54:30Z

Author Abdelaziz Mohamed, Mohamed. author. Eltamaly, Ali Mohamed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64795-1
Format: Electronic Resources
Availability Online Library~1

Living with Monsters? Social Implications of Algorithmic Phenomena, Hybrid Agency, and the Performativity of Technology IFIP WG 8.2 Working Conference on the Interaction of Information Systems and the Organization, IS&O 2018, San Francisco, CA, USA, December 11-12, 2018, Proceedings

2024-11-27T18:54:30Z

Author Schultze, Ulrike. editor. (orcid)0000-0003-2474-1228 Aanestad, Margunn. editor. (orcid)0000-0003-3731-4241 Mähring, Magnus. editor. (orcid)0000-0002-9557-7974 Østerlund, Carsten. editor. (orcid)0000-0003-0612-1551 Riemer, Kai. editor. (orcid)0000-0002-2348-8315
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04091-8
Format: Electronic Resources
Availability Online Library~1

Fault Diagnosis of Hybrid Dynamic and Complex Systems

2024-11-27T18:54:30Z

Author Sayed-Mouchaweh, Moamar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74014-0
Format: Electronic Resources
Availability Online Library~1

Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems

2024-11-27T18:54:30Z

Author Sayed-Mouchaweh, Moamar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74962-4
Format: Electronic Resources
Availability Online Library~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-11-27T18:54:30Z

Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings

2024-11-27T18:54:30Z

Author Onieva, Enrique. editor. Santos, Igor. editor. Osaba, Eneko. editor. Quintián, Héctor. editor. Corchado, Emilio. editor.
Preferred Shelf Number XX(518968.1)
Electronic Access https://doi.org/10.1007/978-3-319-19644-2
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

2024-11-27T18:54:30Z

Author Maler, Oded. editor. Halász, Ádám. editor. Dang, Thao. editor. Piazza, Carla. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518877.1)
Electronic Access https://doi.org/10.1007/978-3-319-27656-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

2024-11-27T18:54:30Z

Author Abate, Alessandro. editor. Safranek, David. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519201.1)
Electronic Access https://doi.org/10.1007/978-3-319-26916-0
Format: Electronic Resources
Availability Online Library~1

Sliding mode control of uncertain parameter-switching hybrid systems

2024-11-27T18:54:30Z

Author Wu, Ligang, author. Shi, Peng, 1958- author. Su, Xiaojie, author.
Preferred Shelf Number ONLINE(341915.1)
Electronic Access Available by subscription from Safari Books Online CLICK HERE for online access John Wiley http://dx.doi.org/10.1002/9781118862612 Volltext http://proquest.tech.safaribooksonline.de/9781118862629
Format: Electronic Resources
Availability Online Library~1

Bosch Automotive Electrics and Automotive Electronics Systems and Components, Networking and Hybrid Drive.

2024-11-27T18:54:30Z

Author SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-01784-2
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014, Proceedings

2024-11-27T18:54:30Z

Author Polycarpou, Marios. editor. de Carvalho, André C.P.L.F. editor. Pan, Jeng-Shyang. editor. Woźniak, Michał. editor. Quintián, Héctor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07617-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Automotive and Engine Technology Standard Drives, Hybrid Drives, Brakes, Safety Systems

2024-11-27T18:54:30Z

Author Reif, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-03972-1
Format: Electronic Resources
Availability Online Library~1

Recent Advances on Hybrid Approaches for Designing Intelligent Systems

2024-11-27T18:54:30Z

Author Castillo, Oscar. editor. Melin, Patricia. editor. Pedrycz, Witold. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05170-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

2024-11-27T18:54:30Z

Author Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.
Preferred Shelf Number ONLINE(335017.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40846-5
Format: Electronic Resources
Availability Online Library~1

Analysis, Control and Optimal Operations in Hybrid Power Systems Advanced Techniques and Applications for Linear and Nonlinear Systems

2024-11-27T18:54:30Z

Author Bizon, Nicu. editor. Shayeghi, Hossein. editor. Mahdavi Tabatabaei, Naser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331215.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5538-6
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28931-6
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28942-2
Format: Electronic Resources
Availability Online Library~1

Hybrid algorithms for service, computing and manufacturing systems routing and scheduling solutions

2024-11-27T18:54:30Z

Author Montoya-Torres, Jairo R., 1977-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=392531
Format: Electronic Resources
Availability Online Library~1

Viability of Hybrid Systems A Controllability Operator Approach

2024-11-27T18:54:30Z

Author Labinaz, G. author. Guay, M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2521-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21219-2
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21222-2
Format: Electronic Resources
Availability Online Library~1

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

2024-11-27T18:54:30Z

Author Herde, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9949-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I

2024-11-27T18:54:30Z

Author Graña Romay, Manuel. editor. Corchado, Emilio. editor. Garcia Sebastian, M. Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13769-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Graña Romay, Manuel. editor. Manhaes Savio, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13803-4
Format: Electronic Resources
Availability Online Library~1

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

2024-11-27T18:54:30Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14509-4
Format: Electronic Resources
Availability Online Library~1

Quantum Materials, Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals

2024-11-27T18:54:30Z

Author Heitmann, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10553-1
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition

2024-11-27T18:54:30Z

Author Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04516-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

2024-11-27T18:54:30Z

Author Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00602-9
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Wu, Xindong. editor. Oja, Erkki. editor. Herrero, Álvaro. editor. Baruque, Bruno. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02319-4
Format: Electronic Resources
Availability Online Library~1

Fault Diagnosis of Nonlinear Systems Using a Hybrid Approach

2024-11-27T18:54:30Z

Author Sobhani-Tehrani, Ehsan. author. Khorasani, Khashayar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-92907-1
Format: Electronic Resources
Availability Online Library~1

Verification and Control of Hybrid Systems A Symbolic Approach

2024-11-27T18:54:30Z

Author Tabuada, Paulo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0224-5
Format: Electronic Resources
Availability Online Library~1

Handbook of Hybrid Systems Control Theory, Tools, Applications

2024-11-27T18:54:30Z

Author Lunze, Jan. Lamnabhi-Lagarrigue, Françoise.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2024-11-27T18:54:30Z

Author Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings

2024-11-27T18:54:30Z

Author Corchado, Emilio. editor. Abraham, Ajith. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87656-4
Format: Electronic Resources
Availability Online Library~1

Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach

2024-11-27T18:54:30Z

Author Villani, Emilia. author. Miyagi, Paulo E. author. Valette, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-651-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-11-27T18:54:30Z

Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-11-27T18:54:30Z

Author Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources
Availability Online Library~1

Analysis and design of hybrid systems 2006 a proceedings volume from the 2nd IFAC Conference, 7-9 June, 2006, Alghero, Italy

2024-11-27T18:54:30Z

Author ADHS 06 (2006 : Alghero, Italy) Cassandras, Christos G. International Federation of Automatic Control.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080446134
Format: Electronic Resources
Availability Online Library~1

Hybrid membrane systems for water purification technology, systems design and operation

2024-11-27T18:54:30Z

Author Singh, Rajindar, 1947-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856174428
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2024-11-27T18:54:30Z

Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11730637
Format: Electronic Resources
Availability Online Library~1

Stochastic Hybrid Systems Theory and Safety Critical Applications

2024-11-27T18:54:30Z

Author Blom, Henk A. P. editor. Lygeros, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11587392
Format: Electronic Resources
Availability Online Library~1

Computationally intelligent hybrid systems the fusion of soft computing and hard computing

2024-11-27T18:54:30Z

Author Ovaska, Seppo J., 1956- Institute of Electrical and Electronics Engineers. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218879
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-11-27T18:54:30Z

Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106766
Format: Electronic Resources
Availability Online Library~1

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2024-11-27T18:54:30Z

Author Rust, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135629
Format: Electronic Resources
Availability Online Library~1

Control of Nonlinear and Hybrid Process Systems Designs for Uncertainty, Constraints and Time-Delays

2024-11-27T18:54:30Z

Author Christofides, Panagiotis. author. El-Farra, Nael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105110
Format: Electronic Resources
Availability Online Library~1

Hybrid Intelligent Systems for Pattern Recognition Using Soft Computing An Evolutionary Approach for Neural Networks and Fuzzy Systems

2024-11-27T18:54:30Z

Author Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b97585
Format: Electronic Resources
Availability Online Library~1

Time-domain computer analysis of nonlinear hybrid systems

2024-11-27T18:54:30Z

Author Sui, Wenquan.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

2024-11-27T18:54:30Z

Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Preferred Shelf Number XX(520368.1)
Electronic Access https://doi.org/10.1007/978-3-031-28180-8
Format: Electronic Resources
Availability Online Library~1

Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings

2024-11-27T18:54:30Z

Author Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520374.1)
Electronic Access https://doi.org/10.1007/978-3-031-28816-6
Format: Electronic Resources
Availability Online Library~1

Modelling and Development of Intelligent Systems 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Simian, Dana. editor. Stoica, Laura Florentina. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520284.1)
Electronic Access https://doi.org/10.1007/978-3-031-27034-5
Format: Electronic Resources
Availability Online Library~1

Edge Computing and IoT: Systems, Management and Security Third EAI International Conference, ICECI 2022, Virtual Event, December 13-14, 2022, Proceedings

2024-11-27T18:54:30Z

Author Xiao, Zhu. editor. Zhao, Ping. editor. Dai, Xingxia. editor. Shu, Jinmei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520391.1)
Electronic Access https://doi.org/10.1007/978-3-031-28990-3
Format: Electronic Resources
Availability Online Library~1

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I

2024-11-27T18:54:30Z

Author Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number XX(520654.1)
Electronic Access https://doi.org/10.1007/978-3-031-24985-3
Format: Electronic Resources
Availability Online Library~1

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

2024-11-27T18:54:30Z

Author Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520735.1)
Electronic Access https://doi.org/10.1007/978-981-99-8296-7
Format: Electronic Resources
Availability Online Library~1

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part II

2024-11-27T18:54:30Z

Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Preferred Shelf Number XX(520760.1)
Electronic Access https://doi.org/10.1007/978-3-031-28183-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520933.1)
Electronic Access https://doi.org/10.1007/978-3-031-27199-1
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III

2024-11-27T18:54:30Z

Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number XX(520935.1)
Electronic Access https://doi.org/10.1007/978-3-031-30111-7
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

2024-11-27T18:54:30Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520846.1)
Electronic Access https://doi.org/10.1007/978-3-031-30445-3
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

2024-11-27T18:54:30Z

Author Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520949.1)
Electronic Access https://doi.org/10.1007/978-3-031-33620-1
Format: Electronic Resources
Availability Online Library~1

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

2024-11-27T18:54:30Z

Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520898.1)
Electronic Access https://doi.org/10.1007/978-3-031-27181-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning - IDEAL 2023 24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings

2024-11-27T18:54:30Z

Author Quaresma, Paulo. editor. Camacho, David. editor. (orcid) Yin, Hujun. editor. (orcid) Gonçalves, Teresa. editor. Julian, Vicente. editor.
Preferred Shelf Number XX(521330.1)
Electronic Access https://doi.org/10.1007/978-3-031-48232-8
Format: Electronic Resources
Availability Online Library~1

Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

2024-11-27T18:54:30Z

Author Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Preferred Shelf Number XX(521310.1)
Electronic Access https://doi.org/10.1007/978-3-031-43849-3
Format: Electronic Resources
Availability Online Library~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI

2024-11-27T18:54:30Z

Author Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number XX(520403.1)
Electronic Access https://doi.org/10.1007/978-981-99-1645-0
Format: Electronic Resources
Availability Online Library~1

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II

2024-11-27T18:54:30Z

Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Preferred Shelf Number XX(520549.1)
Electronic Access https://doi.org/10.1007/978-981-99-5847-4
Format: Electronic Resources
Availability Online Library~1

Deep Learning Technologies for the Sustainable Development Goals Issues and Solutions in the Post-COVID Era

2024-11-27T18:54:30Z

Author Kadyan, Virender. editor. Singh, T. P. editor. Ugwu, Chidiebere. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520559.1)
Electronic Access https://doi.org/10.1007/978-981-19-5723-9
Format: Electronic Resources
Availability Online Library~1

Sustainable Energy for Smart Cities 4th EAI International Conference, SESC 2022, Braga, Portugal, November 16-18, 2022, Proceedings

2024-11-27T18:54:30Z

Author Afonso, João L. editor. Monteiro, Vitor. editor. Pinto, José Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520680.1)
Electronic Access https://doi.org/10.1007/978-3-031-33979-0
Format: Electronic Resources
Availability Online Library~1

Industrial Networks and Intelligent Systems 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023, Proceedings

2024-11-27T18:54:30Z

Author Vo, Nguyen-Son. editor. Tran, Hoai-An. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520724.1)
Electronic Access https://doi.org/10.1007/978-3-031-47359-3
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings

2024-11-27T18:54:30Z

Author Massie, Stewart. editor. Chakraborti, Sutanu. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521060.1)
Electronic Access https://doi.org/10.1007/978-3-031-40177-0
Format: Electronic Resources
Availability Online Library~1

Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings

2024-11-27T18:54:30Z

Author Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520980.1)
Electronic Access https://doi.org/10.1007/978-3-031-43111-1
Format: Electronic Resources
Availability Online Library~1

Computer Security. ESORICS 2022 International Workshops CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Katsikas, Sokratis. editor. (orcid) Cuppens, Frédéric. editor. Kalloniatis, Christos. editor. (orcid) Mylopoulos, John. editor. Pallas, Frank. editor.
Preferred Shelf Number XX(520983.1)
Electronic Access https://doi.org/10.1007/978-3-031-25460-4
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Preferred Shelf Number XX(520990.1)
Electronic Access https://doi.org/10.1007/978-3-031-35190-7
Format: Electronic Resources
Availability Online Library~1

Web Engineering 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings

2024-11-27T18:54:30Z

Author Garrigós, Irene. editor. Murillo Rodríguez, Juan Manuel. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520996.1)
Electronic Access https://doi.org/10.1007/978-3-031-34444-2
Format: Electronic Resources
Availability Online Library~1

Music in the AI Era 15th International Symposium, CMMR 2021, Virtual Event, November 15-19, 2021, Revised Selected Papers

2024-11-27T18:54:30Z

Author Aramaki, Mitsuko. editor. Hirata, Keiji. editor. Kitahara, Tetsuro. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor.
Preferred Shelf Number XX(520999.1)
Electronic Access https://doi.org/10.1007/978-3-031-35382-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IX

2024-11-27T18:54:30Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number XX(521018.1)
Electronic Access https://doi.org/10.1007/978-3-031-37129-5
Format: Electronic Resources
Availability Online Library~1

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2024-11-27T18:54:30Z

Author Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521028.1)
Electronic Access https://doi.org/10.1007/978-3-031-34668-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings

2024-11-27T18:54:30Z

Author Yuan, Long. editor. Yang, Shiyu. editor. Li, Ruixuan. editor. Kanoulas, Evangelos. editor. Zhao, Xiang. editor.
Preferred Shelf Number XX(521133.1)
Electronic Access https://doi.org/10.1007/978-981-99-6222-8
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

2024-11-27T18:54:30Z

Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521140.1)
Electronic Access https://doi.org/10.1007/978-3-031-42823-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XL

2024-11-27T18:54:30Z

Author Gavrilova, Marina. editor. Tan, C. J. Kenneth. editor. Coates, Mark. editor. Hu, Yaoping. editor. Leung, Henry. editor.
Preferred Shelf Number XX(521110.1)
Electronic Access https://doi.org/10.1007/978-3-662-67868-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I

2024-11-27T18:54:30Z

Author Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521236.1)
Electronic Access https://doi.org/10.1007/978-3-031-45368-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII

2024-11-27T18:54:30Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521240.1)
Electronic Access https://doi.org/10.1007/978-981-99-6498-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V

2024-11-27T18:54:30Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521247.1)
Electronic Access https://doi.org/10.1007/978-981-99-6495-6
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

2024-11-27T18:54:30Z

Author Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.
Preferred Shelf Number XX(521256.1)
Electronic Access https://doi.org/10.1007/978-981-99-7254-8
Format: Electronic Resources
Availability Online Library~1

Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings

2024-11-27T18:54:30Z

Author Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Preferred Shelf Number XX(521398.1)
Electronic Access https://doi.org/10.1007/978-3-031-35305-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings

2024-11-27T18:54:30Z

Author Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521322.1)
Electronic Access https://doi.org/10.1007/978-3-031-47994-6
Format: Electronic Resources
Availability Online Library~1

Information Security Practice and Experience 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

2024-11-27T18:54:30Z

Author Meng, Weizhi. editor. Yan, Zheng. editor. Piuri, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521323.1)
Electronic Access https://doi.org/10.1007/978-981-99-7032-2
Format: Electronic Resources
Availability Online Library~1

Blockchain for Secure Healthcare Using Internet of Medical Things (IoMT)

2024-11-27T18:54:30Z

Author Gupta, Sunil. author. Sharma, Hitesh Kumar. author. Kapoor, Monit. author. SpringerLink (Online service)
Preferred Shelf Number XX(520255.1)
Electronic Access https://doi.org/10.1007/978-3-031-18896-1
Format: Electronic Resources
Availability Online Library~1

ICDSMLA 2021 Proceedings of the 3rd International Conference on Data Science, Machine Learning and Applications

2024-11-27T18:54:30Z

Author Kumar, Amit. editor. Senatore, Sabrina. editor. Gunjan, Vinit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520205.1)
Electronic Access https://doi.org/10.1007/978-981-19-5936-3
Format: Electronic Resources
Availability Online Library~1

Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings

2024-11-27T18:54:30Z

Author Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520296.1)
Electronic Access https://doi.org/10.1007/978-3-031-27609-5
Format: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 13th EAI International Conference, WiSATS 2022, Virtual Event, Singapore, March 12-13, 2023, Proceedings

2024-11-27T18:54:30Z

Author Zhao, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520430.1)
Electronic Access https://doi.org/10.1007/978-3-031-34851-8
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.
Preferred Shelf Number XX(520656.1)
Electronic Access https://doi.org/10.1007/978-3-031-25380-5
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2024-11-27T18:54:30Z

Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520788.1)
Electronic Access https://doi.org/10.1007/978-3-031-24841-2
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Intelligent Technology 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings

2024-11-27T18:54:30Z

Author Molla, Anisur Rahaman. editor. Sharma, Gokarna. editor. Kumar, Pradeep. editor. Rawat, Sanjay. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520789.1)
Electronic Access https://doi.org/10.1007/978-3-031-24848-1
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

2024-11-27T18:54:30Z

Author Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520796.1)
Electronic Access https://doi.org/10.1007/978-3-031-19907-3
Format: Electronic Resources
Availability Online Library~1

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2024-11-27T18:54:30Z

Author Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521073.1)
Electronic Access https://doi.org/10.1007/978-3-031-40132-9
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2024-11-27T18:54:30Z

Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520984.1)
Electronic Access https://doi.org/10.1007/978-3-031-33170-1
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology - ICISC 2022 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Seo, Seung-Hyun. editor. Seo, Hwajeong. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520920.1)
Electronic Access https://doi.org/10.1007/978-3-031-29371-9
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Networking 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25-27, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Sabir, Essaid. editor. Elbiaze, Halima. editor. Falcone, Francisco. editor. Ajib, Wessam. editor. Sadik, Mohamed. editor.
Preferred Shelf Number XX(520923.1)
Electronic Access https://doi.org/10.1007/978-3-031-29419-8
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

2024-11-27T18:54:30Z

Author Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521142.1)
Electronic Access https://doi.org/10.1007/978-3-031-43835-6
Format: Electronic Resources
Availability Online Library~1

Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings

2024-11-27T18:54:30Z

Author Kadry, Seifedine. editor. Prasath, Rajendra. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521178.1)
Electronic Access https://doi.org/10.1007/978-3-031-44084-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part I

2024-11-27T18:54:30Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number XX(521188.1)
Electronic Access https://doi.org/10.1007/978-3-031-37105-9
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2024-11-27T18:54:30Z

Author Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Preferred Shelf Number XX(521251.1)
Electronic Access https://doi.org/10.1007/978-3-031-43458-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I

2024-11-27T18:54:30Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521252.1)
Electronic Access https://doi.org/10.1007/978-981-99-6483-3
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings

2024-11-27T18:54:30Z

Author Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number XX(521216.1)
Electronic Access https://doi.org/10.1007/978-3-031-41181-6
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

2024-11-27T18:54:30Z

Author Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(521217.1)
Electronic Access https://doi.org/10.1007/978-3-031-45286-4
Format: Electronic Resources
Availability Online Library~1

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

2024-11-27T18:54:30Z

Author Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520200.1)
Electronic Access https://doi.org/10.1007/978-981-19-9697-9
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Image Processing and Pattern Recognition 5th International Conference, RTIP2R 2022, Kingsville, TX, USA, December 1-2, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Santosh, KC. editor. Goyal, Ayush. editor. Aouada, Djamila. editor. Makkar, Aaisha. editor. Chiang, Yao-Yi. editor.
Preferred Shelf Number XX(520263.1)
Electronic Access https://doi.org/10.1007/978-3-031-23599-3
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I

2024-11-27T18:54:30Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520318.1)
Electronic Access https://doi.org/10.1007/978-981-99-2443-1
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management 12th EAI International Conference, MONAMI 2022, Virtual Event, October 29-31, 2022, Proceedings

2024-11-27T18:54:30Z

Author Cao, Yuanlong. editor. Shao, Xun. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520414.1)
Electronic Access https://doi.org/10.1007/978-3-031-32443-7
Format: Electronic Resources
Availability Online Library~1

Business Intelligence 8th International Conference, CBI 2023, Istanbul, Turkey, July 19-21, 2023, Proceedings

2024-11-27T18:54:30Z

Author El Ayachi, Rachid. editor. Fakir, Mohamed. editor. Baslam, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520596.1)
Electronic Access https://doi.org/10.1007/978-3-031-37872-0
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems Volume 2

2024-11-27T18:54:30Z

Author Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520614.1)
Electronic Access https://doi.org/10.1007/978-3-031-27986-7
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 14th International Joint Conference, IC3K 2022, Valletta, Malta, October 24-26, 2022, Revised Selected Papers

2024-11-27T18:54:30Z

Author Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. (orcid) Dietz, Jan. editor. Bernardino, Jorge. editor.
Preferred Shelf Number XX(520620.1)
Electronic Access https://doi.org/10.1007/978-3-031-43471-6
Format: Electronic Resources
Availability Online Library~1

IoT as a Service 8th EAI International Conference, IoTaaS 2022, Virtual Event, November 17-18, 2022, Proceedings

2024-11-27T18:54:30Z

Author Rabie, Khaled. editor. Kharel, Rupak. editor. Mohjazi, Lina. editor. Elganimi, Taissir. editor. Khan, Wali Ullah. editor.
Preferred Shelf Number XX(520512.1)
Electronic Access https://doi.org/10.1007/978-3-031-37139-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2024-11-27T18:54:30Z

Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520889.1)
Electronic Access https://doi.org/10.1007/978-3-031-27481-7
Format: Electronic Resources
Availability Online Library~1

Big Data and Artificial Intelligence 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings

2024-11-27T18:54:30Z

Author Goyal, Vikram. editor. Kumar, Naveen. editor. Bhowmick, Sourav S. editor. Goyal, Pawan. editor. Goyal, Navneet. editor.
Preferred Shelf Number XX(521361.1)
Electronic Access https://doi.org/10.1007/978-3-031-49601-1
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

2024-11-27T18:54:30Z

Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number XX(521363.1)
Electronic Access https://doi.org/10.1007/978-3-031-49008-8
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II

2024-11-27T18:54:30Z

Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Preferred Shelf Number XX(521364.1)
Electronic Access https://doi.org/10.1007/978-3-031-49011-8
Format: Electronic Resources
Availability Online Library~1

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

2024-11-27T18:54:30Z

Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(521295.1)
Electronic Access https://doi.org/10.1007/978-3-031-33163-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part II

2024-11-27T18:54:30Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number XX(521298.1)
Electronic Access https://doi.org/10.1007/978-3-031-37108-0
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

2024-11-27T18:54:30Z

Author Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.
Preferred Shelf Number XX(521308.1)
Electronic Access https://doi.org/10.1007/978-3-031-41456-5
Format: Electronic Resources
Availability Online Library~1

Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören

2024-11-27T18:54:30Z

Author Yilmaz, Levent. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518340.1)
Electronic Access https://doi.org/10.1007/978-3-319-15096-3
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Fifth International Conference on Fuzzy and Neuro Computing (FANCCO - 2015)

2024-11-27T18:54:30Z

Author Ravi, V. editor. Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518342.1)
Electronic Access https://doi.org/10.1007/978-3-319-27212-2
Format: Electronic Resources
Availability Online Library~1

ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings

2024-11-27T18:54:30Z

Author Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518684.1)
Electronic Access https://doi.org/10.1007/978-3-319-18467-8
Format: Electronic Resources
Availability Online Library~1

Wireless and Satellite Systems 7th International Conference, WiSATS 2015, Bradford, UK, July 6-7, 2015. Revised Selected Papers

2024-11-27T18:54:30Z

Author Pillai, Prashant. editor. Hu, Yim Fun. editor. Otung, Ifiok. editor. Giambene, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518737.1)
Electronic Access https://doi.org/10.1007/978-3-319-25479-1
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2024-11-27T18:54:30Z

Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518763.1)
Electronic Access https://doi.org/10.1007/978-3-319-23485-4
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2024-11-27T18:54:30Z

Author Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518775.1)
Electronic Access https://doi.org/10.1007/978-3-319-17822-6
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II

2024-11-27T18:54:30Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number XX(518780.1)
Electronic Access https://doi.org/10.1007/978-3-319-20472-7
Format: Electronic Resources
Availability Online Library~1

Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers

2024-11-27T18:54:30Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518792.1)
Electronic Access https://doi.org/10.1007/978-3-319-15554-8
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

2024-11-27T18:54:30Z

Author D'Souza, Deepak. editor. Lal, Akash. editor. Larsen, Kim Guldstrand. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518938.1)
Electronic Access https://doi.org/10.1007/978-3-662-46081-8
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III

2024-11-27T18:54:30Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number XX(518945.1)
Electronic Access https://doi.org/10.1007/978-3-319-20469-7
Format: Electronic Resources
Availability Online Library~1

Advances in Swarm and Computational Intelligence 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I

2024-11-27T18:54:30Z

Author Tan, Ying. editor. Shi, Yuhui. editor. Buarque, Fernando. editor. Gelbukh, Alexander. editor. Das, Swagatam. editor.
Preferred Shelf Number XX(518947.1)
Electronic Access https://doi.org/10.1007/978-3-319-20466-6
Format: Electronic Resources
Availability Online Library~1

Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers

2024-11-27T18:54:30Z

Author Böck, Ronald. editor. Bonin, Francesca. editor. Campbell, Nick. editor. Poppe, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518963.1)
Electronic Access https://doi.org/10.1007/978-3-319-15557-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2024-11-27T18:54:30Z

Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519028.1)
Electronic Access https://doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I

2024-11-27T18:54:30Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number XX(519313.1)
Electronic Access https://doi.org/10.1007/978-3-319-19324-3
Format: Electronic Resources
Availability Online Library~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers

2024-11-27T18:54:30Z

Author Obaidat, Mohammad S. editor. Ören, Tuncer. editor. Kacprzyk, Janusz. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518435.1)
Electronic Access https://doi.org/10.1007/978-3-319-26470-7
Format: Electronic Resources
Availability Online Library~1

Natural Language Dialog Systems and Intelligent Assistants

2024-11-27T18:54:30Z

Author Lee, G.G. editor. Kim, H.K. editor. Jeong, M. editor. Kim, J.-H. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518471.1)
Electronic Access https://doi.org/10.1007/978-3-319-19291-8
Format: Electronic Resources
Availability Online Library~1

International Conference on Security and Privacy in Communication Networks 10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014, Revised Selected Papers, Part I

2024-11-27T18:54:30Z

Author Tian, Jing. editor. Jing, Jiwu. editor. Srivatsa, Mudhakar. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518495.1)
Electronic Access https://doi.org/10.1007/978-3-319-23829-6
Format: Electronic Resources
Availability Online Library~1

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

2024-11-27T18:54:30Z

Author Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Preferred Shelf Number XX(518503.1)
Electronic Access https://doi.org/10.1007/978-3-319-19578-0
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

2024-11-27T18:54:30Z

Author Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518528.1)
Electronic Access https://doi.org/10.1007/978-3-658-09994-7
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security and Privacy XXIX 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings

2024-11-27T18:54:30Z

Author Samarati, Pierangela. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518808.1)
Electronic Access https://doi.org/10.1007/978-3-319-20810-7
Format: Electronic Resources
Availability Online Library~1

The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings

2024-11-27T18:54:30Z

Author Gandon, Fabien. editor. Sabou, Marta. editor. Sack, Harald. editor. d'Amato, Claudia. editor. Cudré-Mauroux, Philippe. editor.
Preferred Shelf Number XX(519030.1)
Electronic Access https://doi.org/10.1007/978-3-319-18818-8
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2024-11-27T18:54:30Z

Author Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519051.1)
Electronic Access https://doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-11-27T18:54:30Z

Author Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519059.1)
Electronic Access https://doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers

2024-11-27T18:54:30Z

Author Lirkov, Ivan. editor. Margenov, Svetozar D. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519278.1)
Electronic Access https://doi.org/10.1007/978-3-319-26520-9
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings

2024-11-27T18:54:30Z

Author Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519279.1)
Electronic Access https://doi.org/10.1007/978-3-319-25393-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2024-11-27T18:54:30Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number XX(519299.1)
Electronic Access https://doi.org/10.1007/978-3-319-19369-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Biomedical Knowledge Representation Methods and Applications

2024-11-27T18:54:30Z

Author Hommersom, Arjen. editor. Lucas, Peter J.F. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519300.1)
Electronic Access https://doi.org/10.1007/978-3-319-28007-3
Format: Electronic Resources
Availability Online Library~1

International Conference on Security and Privacy in Communication Networks 10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014, Revised Selected Papers, Part II

2024-11-27T18:54:30Z

Author Tian, Jin. editor. Jing, Jiwu. editor. Srivatsa, Mudhakar. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518556.1)
Electronic Access https://doi.org/10.1007/978-3-319-23802-9
Format: Electronic Resources
Availability Online Library~1

Design and Implementation of the MTX Operating System

2024-11-27T18:54:30Z

Author Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number XX(518558.1)
Electronic Access https://doi.org/10.1007/978-3-319-17575-1
Format: Electronic Resources
Availability Online Library~1

The Human Face of Ambient Intelligence Cognitive, Emotional, Affective, Behavioral and Conversational Aspects

2024-11-27T18:54:30Z

Author Bibri, Simon Elias. author. SpringerLink (Online service)
Preferred Shelf Number XX(518587.1)
Electronic Access https://doi.org/10.2991/978-94-6239-130-7
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers

2024-11-27T18:54:30Z

Author Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518625.1)
Electronic Access https://doi.org/10.1007/978-3-319-15895-2
Format: Electronic Resources
Availability Online Library~1

Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings

2024-11-27T18:54:30Z

Author Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.
Preferred Shelf Number XX(518837.1)
Electronic Access https://doi.org/10.1007/978-3-319-25255-1
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

2024-11-27T18:54:30Z

Author Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518892.1)
Electronic Access https://doi.org/10.1007/978-3-319-26428-8
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2024-11-27T18:54:30Z

Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519135.1)
Electronic Access https://doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-11-27T18:54:30Z

Author Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519139.1)
Electronic Access https://doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2024-11-27T18:54:30Z

Author Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519140.1)
Electronic Access https://doi.org/10.1007/978-3-319-15317-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

2024-11-27T18:54:30Z

Author Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519154.1)
Electronic Access https://doi.org/10.1007/978-3-319-15075-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2024-11-27T18:54:30Z

Author Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519188.1)
Electronic Access https://doi.org/10.1007/978-3-319-15702-3
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

2024-11-27T18:54:30Z

Author Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519087.1)
Electronic Access https://doi.org/10.1007/978-3-319-23540-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-11-27T18:54:30Z

Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519090.1)
Electronic Access https://doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers

2024-11-27T18:54:30Z

Author Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519119.1)
Electronic Access https://doi.org/10.1007/978-3-319-27947-3
Format: Electronic Resources
Availability Online Library~1

Modeling and control of engines and drivelines

2024-11-27T18:54:30Z

Author Eriksson, Lars, 1970- Nielsen, Lars, 1955-
Preferred Shelf Number ONLINE(341579.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118536186 Books24x7 http://www.books24x7.com/marc.asp?bookid=63651
Format: Electronic Resources
Availability Online Library~1

Electrochemical supercapacitors for energy storage and delivery fundamentals and applications

2024-11-27T18:54:30Z

Author Yu, Aiping.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Composites and nanocomposites

2024-11-27T18:54:30Z

Author Haghi, A. K. International Conference on Composites and Nanocomposites (1st : 2011 : Kottayam, India)
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Control of fluid-containing rotating rigid bodies

2024-11-27T18:54:30Z

Author Gurchenkov, Anatoly A. Nosov, Mikhail V. Tsurkov, Vladimir I.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Optical wireless communications system and channel modelling with MATLAB

2024-11-27T18:54:30Z

Author Ghassemlooy, Zabih. Popoola, W. Rajbhandari, S.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Hydrogen energy and vehicle systems

2024-11-27T18:54:30Z

Author Grasman, Scott E. (Scott Erwin)
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Oxygen-enhanced combustion

2024-11-27T18:54:30Z

Author Baukal, Charles E.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Polymer carbon nanotube composites the polymer latex concept

2024-11-27T18:54:30Z

Author Grossiord, Nadia. Hermant, Marie Claire. Koning, Cor.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Next-generation batteries and fuel cells for commercial, military, and space applications

2024-11-27T18:54:30Z

Author Jha, A. R.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Linear synchronous motors transportation and automation systems

2024-11-27T18:54:30Z

Author Gieras, Jacek F. Piech, Zbigniew J. Tomczuk, Bronis?aw Zbigniew.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Intelligent systems for engineers and scientists

2024-11-27T18:54:30Z

Author Hopgood, Adrian A.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Mechanics of fiber and textile reinforced cement composites

2024-11-27T18:54:30Z

Author Mobasher, Barzin.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Renewable energy applications for freshwater production

2024-11-27T18:54:30Z

Author Bundschuh, Jochen. Hoinkis, Jan.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Advanced DC/AC inverters applications in renewable energy

2024-11-27T18:54:30Z

Author Luo, Fang Lin. Ye, Hong, 1973-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Combinatorial scientific computing

2024-11-27T18:54:30Z

Author Naumann, Uwe, 1969- Schenk, Olaf, 1967-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Ion exchange and solvent extraction a series of advances. Volume 20

2024-11-27T18:54:30Z

Author Sengupta, Arup K.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Membrane technologies and applications

2024-11-27T18:54:30Z

Author Mohanty, Kaustubha. Purkait, Mihir K.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Control system advanced methods

2024-11-27T18:54:30Z

Author Levine, W. S.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Rough fuzzy image analysis foundations and methodologies

2024-11-27T18:54:30Z

Author Pal, Sankar K. Peters, James F.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Fuel cells modeling, control, and applications

2024-11-27T18:54:30Z

Author Gou, Bei. Na, Woon Ki. Diong, Bill.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Smart materials

2024-11-27T18:54:30Z

Author Schwartz, Mel M.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of dynamic system modeling

2024-11-27T18:54:30Z

Author Fishwick, Paul A.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Electronic systems maintenance handbook

2024-11-27T18:54:30Z

Author Whitaker, Jerry C.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Instrument engineers' handbook. Process software and digital networks

2024-11-27T18:54:30Z

Author Liptk̀, Bľa G. Liptk̀, Bľa G. Instrument engineers' handbook. Process measurement and analysis. Liptk̀, Bľa G. Instrument engineers' handbook. Process control.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Air pollution control equipment selection guide

2024-11-27T18:54:30Z

Author Schifftner, Kenneth C.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1