Search Results for Machine Theory.

82 Results Found

1 2 3 4 5 .. 7

000000000000DEFAULT

25.

Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

Cover image for Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Author

Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

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:

29.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Author

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

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:

31.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Author

Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57288-8

Format:

Availability

Online Library~1

Available:
Copies:

32.

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Author

Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66167-4

Format:

Availability

Online Library~1

Available:
Copies:

33.

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Author

Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Author

Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

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:

36.

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:

1 2 3 4 5 .. 7

	{displayName}	{count}
{error}