Search Results for Tools.

|

|

|

|

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: Artificial intelligence.

Author

SpringerLink (Online service)

(77)

Bembenik, Robert. editor.

(3)

Dastani, Mehdi. editor.

(3)

Leite, João. editor.

(3)

Bossoufi, Badre. editor.

(2)

Dhillon, Balbir S. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Joshi, Amit. editor.

(2)

Kacprzyk, J. editor.

(2)

Kryszkiewicz, Marzena. editor.

(2)

Long, Shengzhao. editor.

(2)

Mohanty, Sachi Nandan, editor.

(2)

Motahhir, Saad. editor. (orcid)0000-0002-6846-8908

(2)

Niezgodka, Marek. editor.

(2)

Rybiński, Henryk. editor.

(2)

Skonieczny, Lukasz. editor.

(2)

Torroni, Paolo. editor.

(2)

Tyagi, Amit Kumar, editor.

(2)

Woodcock, Jim. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Ajith. editor.

(1)

Agah, Arvin, editor.

(1)

Ajmera, Puneeta.

(1)

Al-Emran, Mostafa. editor.

(1)

Alam, Mansaf. editor.

(1)

Alamanda, Mary Sowjanya, editor

(1)

Ali, Jaber H. editor.

(1)

Ali, Moonis. editor.

(1)

Aliev, R. A. editor.

(1)

Alnoor, Alhamzah. editor.

(1)

Alsadoon, Abeer. editor.

(1)

Ambroszkiewicz, Stanisław. editor.

(1)

Aminzadeh, Fred, author.

(1)

Anagnostopoulos, Ioannis E. editor.

(1)

Anand, A. Jose, editor.

(1)

Antona, Margherita. editor.

(1)

Antonopoulos, Christos. editor.

(1)

Arumugam, Senthil Kumar, editor.

(1)

Azar, Ahmad Taher. editor.

(1)

Babanli, M. B. editor.

(1)

Balachandran, K. editor.

(1)

Balamurugan, S., Prof., editor.

(1)

Bansal, Jagdish Chand. editor.

(1)

Basili, Roberto. editor.

(1)

Berthold, Michael R. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bhandari, Sheetal Umesh, editor.

(1)

Bhatia, Dinesh. editor.

(1)

Bhatt, Nityesh. editor.

(1)

Bhushan, Bharat. editor.

(1)

Bielikova, Maria. editor.

(1)

Biradar, Chandrashekhar M. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bonnet, Pierre. editor.

(1)

Bosco, Cristina. editor.

(1)

Bosse, Stefan, author.

(1)

Brooks, Chuck (Writer of Inside cyber), author.

(1)

Brown, Barclay R., author.

(1)

Brzeziński, Jerzy. editor.

(1)

Busse, Matthias (Materials scientist), author.

(1)

Butler, Michael. editor.

(1)

Byrski, Aleksander. editor.

(1)

Caballé, Santi. editor.

(1)

Cacciabue, P. Carlo. editor.

(1)

Campo, Matias del, editor.

(1)

Cardon, Alain, 1946- author.

(1)

Carreras, Iacopo. editor.

(1)

Carvalho, Marco. editor.

(1)

Cattaneo, Laura. editor.

(1)

Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307

(1)

Ceroni, Jose. author.

(1)

Chakraborty, Rajdeep, editor.

(1)

Chakrawarti, Rajesh Kumar, editor

(1)

(1)

Chatterje, Jyotir Moy, editor.

(1)

Chatterjee, Jyotir Moy, editor.

(1)

Chatterjee, Prasenjit, editor.

(1)

Chaudhary, Kiran. editor.

(1)

Chaudhary, Sanjay. editor.

(1)

Chen, Tin-Chih Toly. author. (orcid)0000-0002-5608-5176

(1)

Cheng, Yang (Associate professor), editor.

(1)

Choudhury, Tanupriya, editor.

(1)

Chountas, Panagiotis. editor.

(1)

Coelho, Luis. editor.

(1)

Cohen, Ernie. editor.

(1)

Cronin, Irena, author.

(1)

Cruz-Cunha, Maria Manuela. editor.

(1)

Cutugno, Francesco. editor.

(1)

Dahiya, Neelam, editor.

(1)

Daimi, Kevin. editor.

(1)

Daradoumis, Thanasis. editor.

(1)

Das, Swagatam. editor.

(1)

Dascalu, Mihai. editor.

(1)

De Paz, Juan F. editor.

(1)

Debnath, Narayan C. editor.

(1)

Delmonte, Rodolfo. editor.

(1)

Dey, Nilanjan. editor.

(1)

Dhal, Sunil Kumar, editor.

(1)

Ding, Wei. editor.

(1)

Diniz, Pedro C. editor.

(1)

Ditmarsch, Hans. editor.

(1)

Divakaran, Srikrishnan. editor.

(1)

Dowswell, Kurt, author.

(1)

Dressler, Falko. editor.

(1)

Duffy, Vincent G. editor.

(1)

Dujmovic, Jozo, 1941- author.

(1)

El Fallah Segrouchni, Amal. editor.

(1)

El Hami, Abdelkhalak, author.

(1)

Elngar, Ahmed A., editor.

(1)

Esparza, Javier. editor.

(1)

Falcone, Mauro. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fdez-Riverola, Florentino. editor.

(1)

Filev, D. editor.

(1)

Flanagan, Cormac. editor.

(1)

Gabbay, Dov M. author.

(1)

Gayathri, N., editor.

(1)

Ghosh, Anupam, editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Glykas, Michael. editor.

(1)

Goehringer, Diana. editor.

(1)

Grill, Andrew (Futurist), author.

(1)

Grzech, Adam. editor.

(1)

Gupta, Priya (Professor of computer science), editor.

(1)

Hackl, Cathy, author.

(1)

Hajizadeh, Yasin, author.

(1)

Hjälmdahl, Magnus. editor.

(1)

Huebner, Michael. editor.

(1)

Huisman, Marieke. editor.

(1)

Hussien, Zaid Alaa. editor.

(1)

Hübner, Jomi. editor.

(1)

Idrissi, Abdellah. editor.

(1)

Islam, Ray (Mohammad Rubyet), author.

(1)

Itsykson, Vladimir. editor.

(1)

Jabłkowski, J. editor.

(1)

Jain, Lakhmi C. editor.

(1)

Jain, Sarika, editor.

(1)

(1)

Jain, Vishal, 1983- editor.

(1)

Jamshidi, Mo. editor.

(1)

Jeong, Wootae. author.

(1)

Jiang, Dingde. editor.

(1)

Jiang, He. editor.

(1)

Joly, Alexis. editor.

(1)

Jones, Cliff. editor.

(1)

Joshi, Rajeev. editor.

(1)

Juan, Angel A. editor.

(1)

Jägare, Ulrika, author.

(1)

Kacprzyk, Janusz. editor.

(1)

(1)

Kalaiccelvi, Kā., editor.

(1)

Kanagachidambaresan, G. R. editor.

(1)

Kar, Rajib. editor.

(1)

Kar, Tejaswini, 1981- editor.

(1)

Karatzas, Kostas. editor.

(1)

Karppinen, Ari. editor.

(1)

Kehrer, Kristen.

(1)

Kempka, Daria, editor.

(1)

Keramidas, Georgios. editor.

(1)

Kim, Joong Hoon. editor.

(1)

Kim, Kuinam J. editor.

(1)

Kisiel-Dorohinicki, Marek. editor.

(1)

Kitsing, Meelis. editor.

(1)

Koutsojannis, Constantinos. editor.

(1)

Krawczak, M. editor.

(1)

Kroening, Daniel. editor.

(1)

Kumar, Dhilip. editor.

(1)

Kumar, Sandeep. editor.

(1)

König, Barbara. editor.

(1)

Lang, Walter, author.

(1)

Leavens, Gary T. editor.

(1)

Lehmhus, Dirk, author.

(1)

Lehto, Mark. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Li, Mingchu. editor.

(1)

Lin, Chun-Wei. editor.

(1)

Londhe, Narendra D. editor.

(1)

Lops, Pasquale. author.

(1)

Luedtke, Andreas. editor.

(1)

Magnini, Bernardo. editor.

(1)

Mahapatra, Rajendra Prasad. editor.

(1)

Mahmud, Mufti. editor.

(1)

Majumdar, Rupak. editor.

(1)

Malik, Shaveta, editor.

(1)

Mandal, Durbadal. editor.

(1)

Mandal, Jyotsna Kumar, editor.

(1)

Mannweiler, Christian., editor

(1)

Manzano, María. editor.

(1)

Marino, Domenico. editor.

(1)

Marti, Patrizia. editor.

(1)

Matfess, Jared, author.

(1)

Meyer, Bertrand. editor.

(1)

Minoli, Daniel, 1952- author.

(1)

Mire, Archana, editor.

(1)

Mishra, Animesh. editor.

(1)

Moghaddam, Mohsen. author.

(1)

Monaca, Melchiorre Alberto. editor.

(1)

Moschitti, Alessandro. editor.

(1)

Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633

(1)

Munir, Tariq, author.

(1)

Language

(121)

Publication Date

-

(28)

(12)

(10)

(9)

(9)

(8)

(7)

(6)

(6)

(6)

(5)

(5)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Intelligence artificielle.

(37)

Computational intelligence.

(29)

Electronic books.

(22)

Computer science.

(18)

(17)

Software engineering.

(17)

(13)

Artificial intelligence

(11)

Artificial Intelligence

(10)

Intelligence (AI) & Semantics.

(10)

(10)

Computer Communication Networks.

(7)

Computer simulation.

(7)

Data Engineering.

(7)

Engineering -- Data processing.

(7)

Machine learning.

(7)

(6)

Engineering mathematics.

(6)

(5)

Medical informatics.

(5)

(5)

Apprentissage automatique.

(4)

(4)

Computer logic.

(4)

Computer security.

(4)

Machines, Tools, Processes.

(4)

Application software.

(3)

(3)

Bioinformatics.

(3)

Business -- Data processing

(3)

Communications Engineering, Networks.

(3)

(3)

Données volumineuses.

(3)

Information systems.

(3)

Internet of things.

(3)

Mathematical logic.

(3)

Médecine -- Informatique.

(3)

Natural Language Processing.

(3)

Operating systems (Computers).

(3)

Optical pattern recognition.

(3)

Programming languages (Electronic computers).

(3)

(3)

Sécurité informatique.

(3)

TECHNOLOGY & ENGINEERING.

(3)

Telecommunication.

(3)

Aerospace Technology and Astronautics.

(2)

Aerospace engineering.

(2)

(2)

Apprentissage profond.

(2)

Artificial Intelligence (incl. Robotics).

(2)

Artificial intelligence -- Medical applications.

(2)

(2)

BUSINESS & ECONOMICS.

(2)

(2)

Business -- Data processing.

(2)

Business enterprises -- Technological innovations.

(2)

Business information services.

(2)

COMPUTERS -- General.

(2)

COMPUTERS / Computer Engineering

(2)

Computational and Systems Biology.

(2)

Computer hardware.

(2)

Computer network architectures.

(2)

Computer programming.

(2)

Computer vision.

(2)

Control engineering.

(2)

Control, Robotics, Automation.

(2)

(2)

Data protection.

(2)

Database management.

(2)

Deep learning (Machine learning)

(2)

Enterprise Applications.

(2)

Gestion -- Informatique.

(2)

Health Informatics.

(2)

IT in Business.

(2)

Industrial Management.

(2)

Industrie -- Innovations.

(2)

Industries -- Technological innovations.

(2)

Information and Communication Technologies (ICT).

(2)

Information storage and retrieval systems.

(2)

Information technology.

(2)

Logic, Symbolic and mathematical.

(2)

Machine Learning

(2)

Multimedia systems.

(2)

Production management.

(2)

Programmation (Informatique)

(2)

Project Management.

(2)

(2)

Software Development & Engineering.

(2)

Technological innovations.

(2)

Technology -- Social aspects.

(2)

Technology -- Sociological aspects.

(2)

Translators (Computer programs).

(2)

User interfaces (Computer systems).

(2)

5G mobile communication systems.

(1)

Affaires -- Innovations.

(1)

Agents intelligents (Logiciels)

(1)

(1)

Application software -- Development

(1)

Application software -- Development.

(1)

Architecture -- Computer-aided design.

(1)

Architecture -- Conception assistée par ordinateur.

(1)

Architecture -- Data processing.

(1)

Architecture -- Informatique.

(1)

Artificial intelligence -- Computer programs

(1)

Artificial intelligence -- Data processing.

(1)

Artificial intelligence -- Industrial applications

(1)

Artificial intelligence -- Industrial applications.

(1)

Artificial intelligence -- Medical applications

(1)

Artificial intelligence -- Moral and ethical aspects

(1)

Artificial intelligence -- Moral and ethical aspects.

(1)

Artificial intelligence -- Social aspects

(1)

Artificial intelligence -- Social aspects.

(1)

Associations sans but lucratif -- Gestion.

(1)

Associations sans but lucratif -- Innovations.

(1)

BUSINESS & ECONOMICS -- Industrial Management.

(1)

BUSINESS & ECONOMICS -- Management Science.

(1)

BUSINESS & ECONOMICS -- Management.

(1)

BUSINESS & ECONOMICS -- Organizational Behavior.

(1)

Biomathematics.

(1)

Bioremediation.

(1)

Blockchains (Databases)

(1)

Business -- Technological innovations

(1)

Business -- Technological innovations.

(1)

Business Information Systems.

(1)

Business Intelligence Tools.

(1)

COMPUTERS -- Programming -- General.

(1)

COMPUTERS / Artificial Intelligence

(1)

(1)

Chaînes de blocs.

(1)

Chefs des services financiers.

(1)

Chemistry -- Data processing.

(1)

Chief financial officers.

(1)

Cloud Computing.

(1)

Collaboration Software.

(1)

Communication Studies.

(1)

Communications mobiles 5G.

(1)

Computational Chemistry.

(1)

Computational Intelligence.

(1)

Computer Modelling.

(1)

Computer Security

(1)

Computer Vision & Pattern Recognition.

(1)

Computer integrated manufacturing systems.

(1)

Computer networks -- Security measures.

(1)

Computer networks .

(1)

Computer organization.

(1)

Computer programming

(1)

Computer software -- Development.

(1)

Computer system performance.

(1)

(1)

Conception participative (Conception de systèmes)

(1)

Conscious automata

(1)

Conscious automata.

(1)

Context-aware computing

(1)

Context-aware computing.

(1)

Control theory.

(1)

Cooperating objects (Computer systems)

(1)

Corporate Finance.

(1)

Data Analysis and Big Data.

(1)

Data Warehousing.

(1)

Data and Information Security.

(1)

(1)

(1)

Desktop Applications.

(1)

Digital twins (Computer simulation) -- Industrial applications.

(1)

(1)

Edge computing.

(1)

(1)

Emergency management -- Technological innovations.

(1)

Entreprises -- Innovations.

(1)

Environmental Engineering/Biotechnology.

(1)

Environmental engineering.

(1)

Evaluation -- Methodology

(1)

Evaluation -- Methodology.

(1)

Fabrication -- Automatisation.

(1)

Field programmable gate arrays

(1)

Field programmable gate arrays.

(1)

Finance -- Technological innovations

(1)

Finance -- Technological innovations.

(1)

Finances -- Innovations.

(1)

Forecasting -- Data processing.

(1)

Git (Computer file)

(1)

Index not Present.

(1)

Industrial Engineering.

(1)

Industrial Psychology.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Industrial productivity -- Effect of technological innovations on.

(1)

Industries -- Technological innovations

(1)

Information Storage and Retrieval.

(1)

Informatique douce.

(1)

Informatique quantique.

(1)

Informatique sensible au contexte.

(1)

Ingénierie des systèmes -- Méthodes de simulation.

(1)

Ingénierie des systèmes.

(1)

Innovation and Technology Management.

(1)

(1)

Instructional Psychology.

(1)

Intelligence artificielle -- Applications en médecine.

(1)

Intelligence artificielle -- Applications industrielles.

(1)

Intelligence artificielle -- Aspect moral.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Wiley 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

121 Results Found

Subscribe to search results

1 2 3 4 5 .. 11

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 Modern Artificial Intelligence and Data Science Tools, Techniques and Systems

Modern Artificial Intelligence and Data Science Tools, Techniques and Systems

Modern Artificial Intelligence and Data Science Tools, Techniques and Systems

Author

Idrissi, Abdellah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33309-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Explainable Artificial Intelligence (XAI) in Manufacturing Methodology, Tools, and Applications

Explainable Artificial Intelligence (XAI) in Manufacturing Methodology, Tools, and Applications

Explainable Artificial Intelligence (XAI) in Manufacturing Methodology, Tools, and Applications

Author

Chen, Tin-Chih Toly. author. (orcid)0000-0002-5608-5176 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Big data analytics and machine intelligence in biomedical and health informatics : concepts, methodologies, tools and applications

Big data analytics and machine intelligence in biomedical and health informatics : concepts, methodologies, tools and applications

Big data analytics and machine intelligence in biomedical and health informatics : concepts, methodologies, tools and applications

Author

Dhal, Sunil Kumar, editor.

Preferred Shelf Number

R858 .B54 2022

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792376

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Recommender system with machine learning and artificial intelligence : practical tools and applications in medical, agricultural and other industries

Recommender system with machine learning and artificial intelligence : practical tools and applications in medical, agricultural and other industries

Recommender system with machine learning and artificial intelligence : practical tools and applications in medical, agricultural and other industries

Author

Mohanty, Sachi Nandan, editor. Chatterjee, Jyotir Moy, editor. Jain, Sarika, editor. Elngar, Ahmed A., editor. Gupta, Priya (Professor of computer science), editor.

Preferred Shelf Number

ZA3084 .R43 2020

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119711582

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17465-1

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

Author

Lops, Pasquale. author. Musto, Cataldo. author. Narducci, Fedelucio. author. Semeraro, Giovanni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05618-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Models, Methods and Tools for Product Service Design The Manutelligence Project

Models, Methods and Tools for Product Service Design The Manutelligence Project

Models, Methods and Tools for Product Service Design The Manutelligence Project

Author

Cattaneo, Laura. editor. Terzi, Sergio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95849-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Cross-Cultural Design. Methods, Tools and User Experience 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Cross-Cultural Design. Methods, Tools and User Experience 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Cross-Cultural Design. Methods, Tools and User Experience 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Author

Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22577-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Author

Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23560-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

Author

Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32216-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89963-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 11

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11