Search Results for Reinforcement learning.

|

|

|

|

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

Author

SpringerLink (Online service)

(204)

Agarwal, Sonali. editor.

(7)

Ekbal, Asif. editor.

(7)

Iliadis, Lazaros. editor. (orcid)

(7)

Jatowt, Adam. editor.

(7)

Ozawa, Seiichi. editor.

(7)

Tanveer, Mohammad. editor.

(7)

Angelov, Plamen. editor.

(5)

Huang, De-Shuang. editor.

(5)

Hussain, Abir. editor.

(5)

Jayne, Chrisina. editor.

(5)

Jin, Baohua. editor.

(5)

Jo, Kang-Hyun. editor.

(5)

Papaleonidas, Antonios. editor. (orcid)

(5)

Premaratne, Prashan. editor.

(5)

Qu, Boyang. editor.

(5)

Liu, Honghai. editor.

(4)

Liu, Lianqing. editor. (orcid)

(4)

Nguyen, Ngoc Thanh. editor.

(4)

Ouyang, Xiaoping. editor.

(4)

Wang, Zhiyong. editor.

(4)

Yang, Geng. editor.

(4)

Yang, Huayong. editor.

(4)

Yin, Zhouping. editor.

(4)

Zou, Jun. editor.

(4)

Cui, Ningning. editor.

(3)

Fujita, Hamido. editor. (orcid)

(3)

Jiang, Jing. editor.

(3)

Li, Bing. editor.

(3)

Suhartanto, Heru. editor.

(3)

Wang, Bin. editor.

(3)

Wang, Guoren. editor.

(3)

Yang, Xiaochun. editor.

(3)

Zhu, Huaijie. editor.

(3)

Azar, Ahmad Taher. editor.

(2)

Bi, Yaxin. editor.

(2)

Buchmann, Robert Andrei. editor.

(2)

Di Fatta, Giuseppe. editor.

(2)

Dominguez, Manuel. editor.

(2)

Du, Bowen. editor.

(2)

Dunin-Barkowski, Witali. editor. (orcid)0000-0003-2716-7786

(2)

Fan, Hongfei. editor.

(2)

Fu, Yongling. editor.

(2)

Gao, Liping. editor.

(2)

Ghiran, Ana-Maria. editor.

(2)

Giuffrida, Giovanni. editor.

(2)

Goertzel, Ben. editor.

(2)

Gottfried, Jay A.

(2)

Guo, Yinzhang. editor.

(2)

Hao, Tianyong. editor.

(2)

Hertling, Sven. editor.

(2)

Jain, Lakhmi C. editor.

(2)

Jia, Yingmin. editor.

(2)

Jiang, Yuncheng. editor.

(2)

Jin, Zhi. editor.

(2)

Ke, Yinggen. editor.

(2)

Kryzhanovsky, Boris. editor. (orcid)0000-0002-0901-6370

(2)

La Malfa, Emanuele. editor.

(2)

La Malfa, Gabriele. editor.

(2)

Lewis, Frank L.

(2)

Liu, Dongning. editor.

(2)

Lu, Tun. editor.

(2)

Luo, Wenjian. editor.

(2)

Ma, Wenjun. editor.

(2)

MacIntyre, John. editor.

(2)

Mahmud, Mufti. editor.

(2)

Meng, Weizhi. editor.

(2)

Moonis, Ali. editor.

(2)

Mu, Yuanyuan. editor. (orcid)

(2)

Nicosia, Giuseppe. editor.

(2)

Ojha, Varun. editor.

(2)

Pardalos, Panos. editor.

(2)

Pesquita, Catia. editor.

(2)

Potapov, Alexey. editor.

(2)

Redko, Vladimir. editor. (orcid)0000-0002-3748-2379

(2)

Shi, Yuhui. editor.

(2)

Song, Xiaoxia. editor.

(2)

Sun, Yuqing. editor.

(2)

Tan, Ying. editor.

(2)

Tjoa, A Min. editor.

(2)

Tsihrintzis, George A. editor.

(2)

Umeton, Renato. editor.

(2)

Wang, Jiqiang. editor.

(2)

Wang, Wei. editor.

(2)

Wang, Yinglin. editor.

(2)

Wu, Zhou. editor.

(2)

Xiao, Yanghua. editor.

(2)

Yang, Qiang. editor.

(2)

Zhang, Haijun. editor. (orcid)

(2)

Zhang, Weicun. editor.

(2)

Zhang, Zhao. editor.

(2)

A. Pyke, Aryn. editor.

(1)

Abawajy, Jemal. editor.

(1)

Abdulali, Arsen. editor.

(1)

Abelló, Alberto. editor.

(1)

Aboutabit, Noureddine. editor.

(1)

Adeli, Hojjat. editor.

(1)

Agarwal, Pankaj. editor.

(1)

Aha, David W., editor.

(1)

Ajib, Wessam. editor.

(1)

Akashe, Shyam. editor.

(1)

Al-khateeb, Samer. editor.

(1)

Alam, Mehwish. editor. (orcid)

(1)

Alfnes, Erlend. editor.

(1)

Alirezaie, Marjan. editor.

(1)

Amagasa, Toshiyuki. editor.

(1)

Amini, Massih-Reza. editor.

(1)

Andresini, Giuseppina. editor.

(1)

Andriotis, Charalampos. editor.

(1)

Angin, Pelin. editor.

(1)

Appice, Annalisa. editor.

(1)

Area-Moreira, Manuel. editor.

(1)

Atluri, Vani Vathsala. editor.

(1)

Aydogan, Reyhan. editor. (orcid)

(1)

Aydoğan, Reyhan. editor.

(1)

Bagula, Antoine. editor.

(1)

Balas, Valentina Emilia. editor.

(1)

Balogh, Richard. editor.

(1)

Banerjee, Jyoti Sekhar. editor.

(1)

Baralis, Elena. editor.

(1)

Barara, Inderjit Singh. editor.

(1)

Barhamgi, Mahmoud. editor.

(1)

Barto, Andrew G.

(1)

Basili, Roberto. editor.

(1)

Baskerville, Richard. editor.

(1)

Batista, Thais. editor.

(1)

Bellodi, Elena. editor.

(1)

Bianchi, Reinaldo A. C. editor.

(1)

Biecek, Przemyslaw. editor.

(1)

Bieger, Jordi. editor.

(1)

Bifet, Albert. editor.

(1)

Blanc-Talon, Jaques. editor.

(1)

Blott, Michaela. editor.

(1)

Bonchi, Francesco. editor.

(1)

Boonsang, Siridech. editor.

(1)

Borah, Samarjeet. editor.

(1)

Bordino, Ilaria. editor.

(1)

Bork, Dominik. editor. (orcid)

(1)

Bortolini, Marco. editor.

(1)

Botzheim, János. editor.

(1)

Boucher, Xavier. editor.

(1)

Bramer, Max. editor.

(1)

Bravo, José. editor.

(1)

Brehm, Jürgen. editor.

(1)

Bruckstein, Alfred M. editor.

(1)

Buccafusco, Jerry J.

(1)

Bugiotti, Francesca. editor.

(1)

Bureš, Tomáš. editor.

(1)

Burger, Annetta. editor.

(1)

Busoniu, Lucian.

(1)

Cabitza, Federico. editor.

(1)

Calders, Toon. editor.

(1)

Calvaresi, Davide. editor. (orcid)

(1)

Calvo Rolle, José Luis. editor.

(1)

Camarinha-Matos, Luis M. editor.

(1)

Campagner, Andrea. editor.

(1)

Canakoglu, Arif. editor.

(1)

Cangelosi, Angelo. editor.

(1)

Canu, Stéphane. editor.

(1)

Cao, Yuanlong. editor.

(1)

Carli, Rachele. editor. (orcid)

(1)

Cascalho, José. editor.

(1)

Ceddia, Gaia. editor.

(1)

Cengiz, Korhan. editor.

(1)

Cerqueira, Renato. editor.

(1)

Chahal, Deepak. editor. (orcid)

(1)

Chakraborty, Bibhas. author.

(1)

Chan, Chee Seng. editor.

(1)

Chao, Han-Chieh. editor.

(1)

Chaudhuri, Swarat. editor.

(1)

Chen, Hao. editor. (orcid)

(1)

Chen, Haonan. editor.

(1)

Chen, Jyh-Cheng. editor.

(1)

Chen, Lihan. editor.

(1)

Chen, Lu. editor.

(1)

Chen, Shu-Heng. editor.

(1)

Chen, Yifan. editor.

(1)

Chicano, Francisco. editor.

(1)

Chinese Society of Aeronautics and Astronautics. editor.

(1)

Chmaj, Grzegorz. editor.

(1)

Choi, Jeong-Yeol. editor.

(1)

Choo, Kim-Kwang Raymond. editor.

(1)

Christensen, Henrik I. editor.

(1)

Christoforou, Eftychios. editor.

(1)

Ciatto, Giovanni. editor. (orcid)

(1)

Cicirelli, Franco. editor.

(1)

Collarana, Diego. editor.

(1)

Conati, Cristina. editor.

(1)

Conte, Donatello. editor.

(1)

Cooper, Lee. editor.

(1)

Corchado, Emilio. editor.

(1)

Corke, Peter. editor.

(1)

Correia, Sérgio Duarte. editor.

(1)

Criado, Natalia. editor.

(1)

Cruz-Reyes, Laura. editor.

(1)

Crémilleux, Bruno. editor.

(1)

Daduna, Joachim R. editor.

(1)

Damiani, Ernesto. editor.

(1)

Dandibhotla, Teja Santosh. editor.

(1)

Danesi, Ivan Luciano. editor.

(1)

Language

(220)

Publication Date

-

(181)

(10)

(5)

(4)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Artificial intelligence.

(31)

Computational intelligence.

(29)

Control engineering.

(15)

(13)

Control, Robotics, Automation.

(13)

(13)

Machine learning.

(9)

Computer science.

(7)

Engineering -- Data processing.

(7)

Reinforcement learning.

(7)

Data Engineering.

(6)

Telecommunication.

(6)

Communications Engineering, Networks.

(5)

Control and Systems Theory.

(5)

Cooperating objects (Computer systems).

(4)

Cyber-Physical Systems.

(4)

Data and Information Security.

(4)

Data protection.

(4)

Electronic books.

(4)

(4)

Aerospace Technology and Astronautics.

(3)

Aerospace engineering.

(3)

(3)

(3)

Computer vision.

(3)

Industrial and Production Engineering.

(3)

Industrial engineering.

(3)

Internet of things.

(3)

Mathematical optimization.

(3)

Production engineering.

(3)

(2)

Computational neuroscience.

(2)

Computer architecture.

(2)

Data Analysis and Big Data.

(2)

Database management.

(2)

Differential games.

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

Embedded Systems.

(2)

Embedded computer systems.

(2)

Engineering Mechanics.

(2)

Engineering mathematics.

(2)

Health Informatics.

(2)

Markov processes.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mechanics, Applied.

(2)

Mobile communication systems.

(2)

(2)

(2)

Quantitative research.

(2)

Senses and sensation.

(2)

(2)

Wireless communication systems.

(2)

(1)

Active learning

(1)

Actor-critic methods

(1)

Adaptation, Physiological.

(1)

Adaptive control systems.

(1)

Animal behavior -- Handbooks, manuals, etc.

(1)

Artificial Intelligence.

(1)

Artificial intelligence -- Data processing.

(1)

Artificial intelligence -- Mathematical models.

(1)

Automatic control;Clustering;Datamining;Metaheuristic algorithms;Modeling and prediction;Neural networks;Optimal control;Optimization;Reinforcement learning;Tower crane systems

(1)

Automotive engineering.

(1)

BUSINESS & ECONOMICS / Finance

(1)

Behavioral assessment -- Handbooks, manuals, etc.

(1)

Bias-variance tradeoff

(1)

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

(1)

Brain -- Adaptation.

(1)

Brain -- physiology.

(1)

COMPUTERS -- Cybernetics.

(1)

COMPUTERS / Artificial Intelligence

(1)

COMPUTERS / Enterprise Applications / Business Intelligence Tools

(1)

COMPUTERS / Intelligence (AI) & Semantics

(1)

COMPUTERS / Social Aspects / General

(1)

Calculus of Variations and Optimization.

(1)

Calculus of variations.

(1)

Cambridge (Mass.)

(1)

Circadian Rhythm.

(1)

Cloud Computing.

(1)

(1)

Complex Systems.

(1)

Computational Intelligence.

(1)

Computer Networks.

(1)

Computer aided design.

(1)

Computer network architectures.

(1)

Computer programming.

(1)

Computer software.

(1)

Control theory.

(1)

(1)

(1)

Data Storage Representation.

(1)

Decision Making.

(1)

Decision making.

(1)

Design and Analysis of Algorithms.

(1)

Digital control systems.

(1)

Dynamic programming.

(1)

Economics, Mathematical.

(1)

(1)

Electronic circuit design.

(1)

Electronics Design and Verification.

(1)

Engine Technology.

(1)

Engineering and Technology Education.

(1)

Engineering design.

(1)

Engineering geology.

(1)

(1)

Environmental Social Sciences.

(1)

Environmental sciences -- Social aspects.

(1)

Feedback (Electronics).

(1)

Feedback control systems.

(1)

Finance -- Study and teaching.

(1)

Function approximation

(1)

Geoengineering.

(1)

Geotechnical Engineering and Applied Earth Sciences.

(1)

Geotechnical engineering.

(1)

(1)

Health Care Management.

(1)

(1)

Health Promotion and Disease Prevention.

(1)

Health promotion.

(1)

Health services administration.

(1)

Higher nervous activity.

(1)

Image Processing and Computer Vision.

(1)

Industrial design.

(1)

Information retrieval.

(1)

Information systems.

(1)

Intelligent agents (Computer software)

(1)

Kunstmatige intelligentie.

(1)

Laboratory animals -- Psychology -- Handbooks, manuals, etc.

(1)

(1)

Least-squares methods

(1)

(1)

(1)

MATHEMATICS / Applied

(1)

(1)

Machinery and Machine Elements.

(1)

(1)

Management information systems.

(1)

Management science.

(1)

Markov Decision Processes

(1)

Massachusetts Institute of Technology Press.

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

(1)

Medical informatics.

(1)

Medical records -- Data processing.

(1)

Medicine, Preventive.

(1)

Mental Processes -- physiology.

(1)

Microprocessors.

(1)

Monte-Carlo methods

(1)

Natural gradient

(1)

Neural networks (Computer science) .

(1)

Neuropsychology.

(1)

Neurosciences -- Handbooks, manuals, etc.

(1)

Online learning

(1)

Operations Management.

(1)

Operations Research, Management Science.

(1)

Operations Research.

(1)

Operations research.

(1)

(1)

(1)

Pattern Recognition, Automated.

(1)

(1)

Policy gradient

(1)

Process Engineering.

(1)

Processor Architectures.

(1)

Production management.

(1)

(1)

(1)

(1)

Reinforcement learning

(1)

Reinforcement learning -- Mathematical models.

(1)

(1)

Robotics and Automation.

(1)

Robots -- Control systems.

(1)

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

(1)

Simulation optimization

(1)

Soft computing.

(1)

Software engineering.

(1)

Statistics for Life Sciences, Medicine, Health Sciences.

(1)

Statistics, general.

(1)

(1)

Stochastic approximation

(1)

Stochastic gradient methods

(1)

Swarm intelligence.

(1)

Systems Theory, Control.

(1)

Systems theory.

(1)

TECHNOLOGY & ENGINEERING -- Electronics -- General.

(1)

TECHNOLOGY & ENGINEERING / Electronics / General.

(1)

Technical education.

(1)

Telecommunication systems.

(1)

Temporal difference learning

(1)

(1)

Theory and Algorithms for Application Domains.

(1)

Translators (Computer programs).

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

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

222 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 19

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.

49.

Cover image for Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings

Author

Ngatched Nkouatchah, Telex Magloire. editor. Woungang, Isaac. editor. Tapamo, Jules-Raymond. editor. Viriri, Serestina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers

Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers

Cognitive Systems and Information Processing 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers

Author

Sun, Fuchun. editor. Cangelosi, Angelo. editor. Zhang, Jianwei. editor. Yu, Yuanlong. editor. Liu, Huaping. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-0617-8

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Applications and Techniques in Information Security 13th International Conference, ATIS 2022, Manipal, India, December 30-31, 2022, Revised Selected Papers

Applications and Techniques in Information Security 13th International Conference, ATIS 2022, Manipal, India, December 30-31, 2022, Revised Selected Papers

Applications and Techniques in Information Security 13th International Conference, ATIS 2022, Manipal, India, December 30-31, 2022, Revised Selected Papers

Author

Prabhu, Srikanth. editor. Pokhrel, Shiva Raj. editor. (orcid) Li, Gang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2264-2

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part II

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part II

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part II

Author

Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-2385-4

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Recent Challenges in Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings

Recent Challenges in Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings

Recent Challenges in Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings

Author

Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. (orcid) Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42430-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Author

Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21203-1

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Job Scheduling Strategies for Parallel Processing 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Author

Klusáček, Dalibor. editor. Julita, Corbalán. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-22698-4

Format:

Availability

Online Library~1

Available:
Copies:

56.

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

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

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

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-19907-3

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings

Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings

Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings

Author

Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26369-9

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Author

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30047-9

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30823-9

Format:

Availability

Online Library~1

Available:
Copies:

60.

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

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

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

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30442-2

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 19

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11