Search Results for Logic programming.

21 Results Found

1 2

000000000DEFAULT

13.

Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Author

Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Author

Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Author

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Author

Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Concrete Semantics With Isabelle/HOL

Author

Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Author

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Author

Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Author

Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Environmental and hydrological systems modelling

Author

Jayawardena, A W, author. CRC Press.

Preferred Shelf Number

GB656.2 .H9 J393 2013

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}