Search Results for Machine theory

82 Results Found

1 2 3 4 5 .. 7

000000000000DEFAULT

25.

Cover image for Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Author

Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Intelligent Computing Methodologies 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part III

Intelligent Computing Methodologies 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part III

Author

Huang, De-Shuang. editor. Hussain, Abir. editor. Han, Kyungsook. editor. Gromiha, M. Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

Author

Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65000-5

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

Author

Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Author

de Moura, Leonardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63046-5

Format:

Availability

Online Library~1

Available:
Copies:

32.

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Author

Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Author

Zeume, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54314-6

Format:

Availability

Online Library~1

Available:
Copies:

34.

Mathematics and Computation in Music 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings

Author

Agustín-Aquino, Octavio A. editor. Lluis-Puebla, Emilio. editor. Montiel, Mariana. editor. (orcid)0000-0002-7859-1547 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

Author

Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6893-5

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Author

Beck, J. Christopher. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

	{displayName}	{count}
{error}