Search Results for Artificial Intelligence

339 Results Found

1 .. 3 4 5 6 7 .. 29

000000000000DEFAULT

49.

Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Author

Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13651-2

Format:

Availability

Online Library~1

Available:
Copies:

50.

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:

51.

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Author

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71734-0

Format:

Availability

Online Library~1

Available:
Copies:

54.

Automatic Tuning of Compilers Using Machine Learning

Author

Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71489-9

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74718-7

Format:

Availability

Online Library~1

Available:
Copies:

56.

Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings

Author

Sun, Guanglu. editor. Liu, Shuai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

Author

Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

Author

Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2853-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Author

Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94779-2

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Author

Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02852-7

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 29

	{displayName}	{count}
{error}