Search Results for Hybrid systems.

1.

Recent Advances on Hybrid Intelligent Systems

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:

Availability

Online Library~1

Available:
Copies:

2.

Stochastic Reachability Analysis of Hybrid Systems

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:

Availability

Online Library~1

Available:
Copies:

3.

Hybrid Self-Organizing Modeling Systems

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:

Availability

Online Library~1

Available:
Copies:

4.

Soft Computing for Hybrid Intelligent Systems

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:

Availability

Online Library~1

Available:
Copies:

5.

Hybrid Intelligent Systems Analysis and Design

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:

Availability

Online Library~1

Available:
Copies:

6.

Innovations in Hybrid Intelligent Systems

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:

Availability

Online Library~1

Available:
Copies:

7.

Hybrid Estimation of Complex Systems

Author

Hofbaur, Michael W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105591

Format:

Availability

Online Library~1

Available:
Copies:

8.

Computational Intelligence Engineering of Hybrid Systems

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:

Availability

Online Library~1

Available:
Copies:

9.

Model-based Health Monitoring of Hybrid Systems

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:

Availability

Online Library~1

Available:
Copies:

10.

Hybrid Hydrogen Systems Stationary and Transportation Applications

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:

Availability

Online Library~1

Available:
Copies:

11.

Fault Tolerant Control Design for Hybrid Systems

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:

Availability

Online Library~1

Available:
Copies:

12.

Natural Deduction, Hybrid Systems and Modal Logics

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:

Availability

Online Library~1

Available:
Copies:

13.

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

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

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:

Availability

Online Library~1

Available:
Copies:

14.

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

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:

Availability

Online Library~1

Available:
Copies:

15.

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

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:

Availability

Online Library~1

Available:
Copies:

16.

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

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:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

18.

Fault Diagnosis of Hybrid Dynamic and Complex Systems

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:

Availability

Online Library~1

Available:
Copies:

19.

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

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

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:

Availability

Online Library~1

Available:
Copies:

20.

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

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:

Availability

Online Library~1

Available:
Copies:

21.

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

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:

Availability

Online Library~1

Available:
Copies:

22.

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

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:

Availability

Online Library~1

Available:
Copies:

23.

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

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:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

25.

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

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:

Availability

Online Library~1

Available:
Copies:

26.

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

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:

Availability

Online Library~1

Available:
Copies:

27.

Recent Advances on Hybrid Approaches for Designing Intelligent Systems

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:

Availability

Online Library~1

Available:
Copies:

28.

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

Author

SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-01784-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

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

Author

Reif, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-03972-1

Format:

Availability

Online Library~1

Available:
Copies:

30.

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

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:

Availability

Online Library~1

Available:
Copies:

31.

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

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

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:

Availability

Online Library~1

Available:
Copies:

32.

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

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

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:

Availability

Online Library~1

Available:
Copies:

33.

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

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

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:

Availability

Online Library~1

Available:
Copies:

34.

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

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:

Availability

Online Library~1

Available:
Copies:

35.

Viability of Hybrid Systems A Controllability Operator Approach

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:

Availability

Online Library~1

Available:
Copies:

36.

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

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

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:

Availability

Online Library~1

Available:
Copies:

37.

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

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:

Availability

Online Library~1

Available:
Copies:

38.

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

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

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:

Availability

Online Library~1

Available:
Copies:

39.

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

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

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:

Availability

Online Library~1

Available:
Copies:

40.

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

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:

Availability

Online Library~1

Available:
Copies:

41.

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

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:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Quantum Materials, Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals

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

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:

Availability

Online Library~1

Available:
Copies:

43.

Verification and Control of Hybrid Systems A Symbolic Approach

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:

Availability

Online Library~1

Available:
Copies:

44.

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

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

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:

Availability

Online Library~1

Available:
Copies:

45.

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

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:

Availability

Online Library~1

Available:
Copies:

46.

Fault Diagnosis of Nonlinear Systems Using a Hybrid Approach

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:

Availability

Online Library~1

Available:
Copies:

47.

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

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:

Availability

Online Library~1

Available:
Copies:

48.

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

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:

Availability

Online Library~1

Available:
Copies:

49.

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

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

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:

Availability

Online Library~1

Available:
Copies:

50.

Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach

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:

Availability

Online Library~1

Available:
Copies:

51.

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

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

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:

Availability

Online Library~1

Available:
Copies:

52.

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

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:

Availability

Online Library~1

Available:
Copies:

53.

Stochastic Hybrid Systems Theory and Safety Critical Applications

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:

Availability

Online Library~1

Available:
Copies:

54.

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

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:

Availability

Online Library~1

Available:
Copies:

55.

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

Author

Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106766

Format:

Availability

Online Library~1

Available:
Copies:

56.

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

Author

Rust, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b135629

Format:

Availability

Online Library~1

Available:
Copies:

57.

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

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:

Availability

Online Library~1

Available:
Copies:

58.

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

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

Author

Melin, Patricia. author. Castillo, Oscar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b97585

Format:

Availability

Online Library~1

Available:
Copies:

59.

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

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:

Availability

Online Library~1

Available:
Copies:

60.

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

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:

Availability

Online Library~1

Available:
Copies:

61.

Handbook of Dynamic Data Driven Applications Systems Volume 2

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:

Availability

Online Library~1

Available:
Copies:

62.

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

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

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:

Availability

Online Library~1

Available:
Copies:

63.

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

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:

Availability

Online Library~1

Available:
Copies:

64.

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

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

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:

Availability

Online Library~1

Available:
Copies:

65.

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

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

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:

Availability

Online Library~1

Available:
Copies:

66.

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

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

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:

Availability

Online Library~1

Available:
Copies:

67.

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

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:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

69.

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

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

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:

Availability

Online Library~1

Available:
Copies:

70.

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

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:

Availability

Online Library~1

Available:
Copies:

71.

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

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

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:

Availability

Online Library~1

Available:
Copies:

72.

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

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:

Availability

Online Library~1

Available:
Copies:

73.

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

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:

Availability

Online Library~1

Available:
Copies:

74.

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

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

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:

Availability

Online Library~1

Available:
Copies:

75.

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

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

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:

Availability

Online Library~1

Available:
Copies:

76.

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

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:

Availability

Online Library~1

Available:
Copies:

77.

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

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:

Availability

Online Library~1

Available:
Copies:

78.

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

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

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:

Availability

Online Library~1

Available:
Copies:

79.

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

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

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:

Availability

Online Library~1

Available:
Copies:

80.

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

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

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:

Availability

Online Library~1

Available:
Copies:

81.

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

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

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:

Availability

Online Library~1

Available:
Copies:

82.

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

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

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:

Availability

Online Library~1

Available:
Copies:

83.

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

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

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:

Availability

Online Library~1

Available:
Copies:

84.

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

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

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:

Availability

Online Library~1

Available:
Copies:

85.

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

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:

Availability

Online Library~1

Available:
Copies:

86.

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

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

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:

Availability

Online Library~1

Available:
Copies:

87.

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

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:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

89.

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

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

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:

Availability

Online Library~1

Available:
Copies:

90.

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

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

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:

Availability

Online Library~1

Available:
Copies:

91.

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

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

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:

Availability

Online Library~1

Available:
Copies:

92.

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

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

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:

Availability

Online Library~1

Available:
Copies:

93.

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

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:

Availability

Online Library~1

Available:
Copies:

94.

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

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:

Availability

Online Library~1

Available:
Copies:

95.

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

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:

Availability

Online Library~1

Available:
Copies:

96.

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

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:

Availability

Online Library~1

Available:
Copies:

97.

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

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:

Availability

Online Library~1

Available:
Copies:

98.

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

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

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:

Availability

Online Library~1

Available:
Copies:

99.

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

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:

Availability

Online Library~1

Available:
Copies:

100.

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

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

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:

Availability

Online Library~1

Available:
Copies:

101.

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

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

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:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

103.

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

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

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:

Availability

Online Library~1

Available:
Copies:

104.

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

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:

Availability

Online Library~1

Available:
Copies:

105.

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

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

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:

Availability

Online Library~1

Available:
Copies:

106.

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

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

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:

Availability

Online Library~1

Available:
Copies:

107.

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

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:

Availability

Online Library~1

Available:
Copies:

108.

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

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

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:

Availability

Online Library~1

Available:
Copies:

109.

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

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:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

111.

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

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:

Availability

Online Library~1

Available:
Copies:

112.

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

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

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:

Availability

Online Library~1

Available:
Copies:

113.

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

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:

Availability

Online Library~1

Available:
Copies:

114.

Transactions on Computational Science XL

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:

Availability

Online Library~1

Available:
Copies:

115.

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

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

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:

Availability

Online Library~1

Available:
Copies:

116.

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

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

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:

Availability

Online Library~1

Available:
Copies:

117.

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

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

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:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

119.

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

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

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:

Availability

Online Library~1

Available:
Copies:

120.

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

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:

Availability

Online Library~1

Available:
Copies:

121.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

122.

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

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

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:

Availability

Online Library~1

Available:
Copies:

123.

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

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

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:

Availability

Online Library~1

Available:
Copies:

124.

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

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:

Availability

Online Library~1

Available:
Copies:

125.

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

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

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:

Availability

Online Library~1

Available:
Copies:

126.

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

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:

Availability

Online Library~1

Available:
Copies:

127.

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

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:

Availability

Online Library~1

Available:
Copies:

128.

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

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:

Availability

Online Library~1

Available:
Copies:

129.

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

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:

Availability

Online Library~1

Available:
Copies:

130.

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

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

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:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

132.

Design and Implementation of the MTX Operating System

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:

Availability

Online Library~1

Available:
Copies:

133.

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

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:

Availability

Online Library~1

Available:
Copies:

134.

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

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

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:

Availability

Online Library~1

Available:
Copies:

135.

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

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

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:

Availability

Online Library~1

Available:
Copies:

136.

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

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

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:

Availability

Online Library~1

Available:
Copies:

137.

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

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

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:

Availability

Online Library~1

Available:
Copies:

138.

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

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

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:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

140.

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

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

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:

Availability

Online Library~1

Available:
Copies:

141.

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

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:

Availability

Online Library~1

Available:
Copies:

142.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

143.

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

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

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:

Availability

Online Library~1

Available:
Copies:

144.

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

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

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:

Availability

Online Library~1

Available:
Copies:

145.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

146.

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

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:

Availability

Online Library~1

Available:
Copies:

147.

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

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

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:

Availability

Online Library~1

Available:
Copies:

148.

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

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

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:

Availability

Online Library~1

Available:
Copies:

149.

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

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

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:

Availability

Online Library~1

Available:
Copies:

150.

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

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

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:

Availability

Online Library~1

Available:
Copies:

151.

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

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:

Availability

Online Library~1

Available:
Copies:

152.

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

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:

Availability

Online Library~1

Available:
Copies:

153.

Natural Language Dialog Systems and Intelligent Assistants

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:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

155.

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

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:

Availability

Online Library~1

Available:
Copies:

156.

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

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

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:

Availability

Online Library~1

Available:
Copies:

157.

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

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

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:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

159.

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

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

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:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for 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

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

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:

Availability

Online Library~1

Available:
Copies:

161.

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

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

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:

Availability

Online Library~1

Available:
Copies:

162.

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

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

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:

Availability

Online Library~1

Available:
Copies:

163.

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

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

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:

Availability

Online Library~1

Available:
Copies:

164.

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

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

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:

Availability

Online Library~1

Available:
Copies:

165.

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

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:

Availability

Online Library~1

Available:
Copies:

166.

Foundations of Biomedical Knowledge Representation Methods and Applications

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:

Availability

Online Library~1

Available:
Copies:

167.

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

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:

Availability

Online Library~1

Available:
Copies:

168.

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

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

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:

Availability

Online Library~1

Available:
Copies:

169.

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

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:

Availability

Online Library~1

Available:
Copies:

170.

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

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:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}