Search Results for Debugging.

18 Results Found

1 2

000000DEFAULT

13.

Cover image for Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518522.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Author

ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519157.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

Author

Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519163.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Author

Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518953.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Natural Language Processing and Information Systems 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings

Natural Language Processing and Information Systems 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings

Author

Biemann, Chris. editor. Handschuh, Siegfried. editor. Freitas, André. editor. Meziane, Farid. editor. Métais, Elisabeth. editor.

Preferred Shelf Number

XX(518958.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519293.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}