Search Results for Hybrid systems.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(54)

Jiang, Caigui. editor.

(10)

Lan, Xuguang. editor.

(10)

Mei, Xuesong. editor.

(10)

Tian, Zhiqiang. editor.

(10)

Zhao, Fei. editor.

(10)

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776

(4)

Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162

(4)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(3)

Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

(2)

Alberola, Juan M. editor. (orcid)0000-0002-5486-5638

(2)

Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361

(2)

Camacho, David. editor. (orcid)0000-0002-0535-7450

(2)

Chaudhuri, Swarat. editor.

(2)

Farzan, Azadeh. editor.

(2)

Julian, Vicente. editor. (orcid)0000-0002-2743-6037

(2)

Legay, Axel. editor.

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212

(2)

Nogueira, Vitor Beires. editor. (orcid)0000-0002-0793-0003

(2)

Novais, Paulo. editor. (orcid)0000-0002-3549-0754

(2)

Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727

(2)

Tallón-Ballesteros, Antonio. editor. (orcid)0000-0002-9699-1894

(2)

Wang, Ji. editor.

(2)

Yin, Hujun. editor. (orcid)0000-0002-9198-5401

(2)

Abate, Alessandro. editor.

(1)

Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781

(1)

Arbel, Eli. editor.

(1)

Bemporad, Alberto. editor.

(1)

Bicchi, Antonio. editor.

(1)

Blanas, Spyros. editor.

(1)

Bloem, Roderick. editor.

(1)

Bordawekar, Rajesh. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Buttazzo, Giorgio. editor.

(1)

Calvo, Hiram. editor. (orcid)0000-0003-2836-2102

(1)

Chapman, Barbara. editor.

(1)

Chen, Wenguang. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Corchado, Emilio. editor. (orcid)0000-0001-8560-3991

(1)

Crowston, Kevin. editor.

(1)

D'Souza, Deepak. editor.

(1)

Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475

(1)

Donzé, Alexandre. editor.

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

Egerstedt, Magnus. editor.

(1)

Exman, Iaakov. editor. (orcid)0000-0002-9917-3950

(1)

Felderer, Michael. editor. (orcid)0000-0003-3818-4442

(1)

Formenti, Enrico. editor. (orcid)0000-0002-1007-7912

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Fränzle, Martin. editor.

(1)

Gamalielsson, Jonas. editor.

(1)

Gao, Guang R. editor.

(1)

Gao, Xinbo. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Grabis, Jānis. editor. (orcid)0000-0003-2196-0214

(1)

Hague, Matthew. editor.

(1)

Hammouda, Imed. editor.

(1)

Herrero, Álvaro. editor.

(1)

Hespanha, João P. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Jones, Cliff B. editor.

(1)

Jones, Cliff. editor.

(1)

Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Lahiri, Tirthankar. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Levandoski, Justin. editor.

(1)

Lindman, Juho. editor.

(1)

Liu, Shaoying. author.

(1)

Liu, Zhiming. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lundell, Björn. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Majumdar, Rupak. editor.

(1)

Markey, Nicolas. editor.

(1)

Mezura-Montes, Efrén. editor. (orcid)0000-0002-1565-5267

(1)

Mishra, Bud. editor.

(1)

Monniaux, David. editor.

(1)

Montes Rivera, Martín. editor. (orcid)0000-0003-3897-6212

(1)

Morari, Manfred. editor.

(1)

Narayan Kumar, K. editor.

(1)

Pavlo, Andrew. editor.

(1)

Piattini, Mario. editor. (orcid)0000-0002-7212-8279

(1)

Ponce, Hiram. editor. (orcid)0000-0002-6559-7501

(1)

Potapov, Igor. editor.

(1)

Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184

(1)

Qian, Depei. editor.

(1)

Quintián, Héctor. editor.

(1)

Robles, Gregorio. editor.

(1)

Rust, Heinrich. author.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Silhavy, Petr. editor.

(1)

Silhavy, Radek. editor.

(1)

Sokolsky, Oleg. editor.

(1)

Strichman, Ofer. editor.

(1)

Sáez, José António. editor.

(1)

Tabuada, Paulo. editor.

(1)

Thiele, Lothar. editor.

(1)

Tiwari, Ashish. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Villar, José Ramón. editor.

(1)

Wautelet, Yves. editor. (orcid)0000-0002-6560-9787

(1)

Woodcock, Jim. editor.

(1)

Zatarain Cabada, Ramón. editor. (orcid)0000-0002-4524-3511

(1)

Zhan, Naijun. editor.

(1)

Zhang, Zili. editor.

(1)

de Cos Juez, Francisco Javier. editor.

(1)

de la Cal, Enrique A. editor.

(1)

Language

(54)

Publication Date

-

(21)

(9)

(9)

(6)

(2)

(2)

(2)

(1)

(1)

(1)

Subject

Artificial intelligence.

(27)

Computer science.

(26)

Computer networks .

(20)

Application software.

(19)

Computer and Information Systems Applications.

(19)

Computer Communication Networks.

(16)

Computer Science Logic and Foundations of Programming.

(14)

Formal Languages and Automata Theory.

(13)

Machine theory.

(13)

(10)

Human-computer interaction.

(10)

Theory of Computation.

(10)

User Interfaces and Human Computer Interaction.

(10)

User interfaces (Computer systems).

(10)

Compilers (Computer programs).

(9)

Compilers and Interpreters.

(9)

Computer simulation.

(9)

(7)

Computer vision.

(6)

Data Mining and Knowledge Discovery.

(6)

(6)

Computer Engineering and Networks.

(5)

Computer engineering.

(5)

Design and Analysis of Algorithms.

(5)

Computer Modelling.

(4)

Business information services.

(2)

Computers and Education.

(2)

Data and Information Security.

(2)

Data protection.

(2)

Education -- Data processing.

(2)

IT in Business.

(2)

Information theory.

(2)

Machine learning.

(2)

Bioinformatics.

(1)

Computational and Systems Biology.

(1)

Computational intelligence.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer System Implementation.

(1)

Computer architecture.

(1)

Computer network architectures.

(1)

Computer programming.

(1)

Computer science -- Mathematics.

(1)

Computer software.

(1)

Computer system performance.

(1)

Computer systems.

(1)

Computers -- Law and legislation.

(1)

Computers, Special purpose.

(1)

(1)

Computing Milieux.

(1)

Control Structures and Microprogramming.

(1)

Data Storage Representation.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Electronic data processing -- Management.

(1)

(1)

Information Storage and Retrieval.

(1)

Information retrieval.

(1)

Information storage and retrieval systems.

(1)

Information technology -- Law and legislation.

(1)

Information technology -- Management.

(1)

Legal Aspects of Computing.

(1)

(1)

Logic programming.

(1)

Mathematical statistics.

(1)

Microprogramming .

(1)

Operating systems (Computers).

(1)

Probability and Statistics in Computer Science.

(1)

Programming Language.

(1)

Programming Techniques.

(1)

Programming languages (Electronic computers).

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Special Purpose and Application-Based Systems.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

54 Results Found

Subscribe to search results

1 2 3 4 5

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98679-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98668-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98682-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

Author

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-83879-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Author

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-83882-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0774-7

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0771-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0798-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0789-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0786-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0780-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

Author

Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0795-2

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11