Search Results for Debugging.

37 Results Found

1 2 3 4

000000000000DEFAULT

13.

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Author

Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521073.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40132-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520246.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2449-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

Author

Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520715.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47014-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Windows performance analysis field guide

Author

Huffman, Clint, author.

Preferred Shelf Number

ONLINE(355547.1)

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780124167018

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers

Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers

Author

Supnithi, Thepchai. editor. Yamaguchi, Takahira. editor. Pan, Jeff Z. editor. Wuwongse, Vilas. editor. Buranarach, Marut. editor.

Preferred Shelf Number

XX(518833.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15615-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Author

Falaschi, Moreno. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518861.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Health Monitoring and Personalized Feedback using Multimedia Data

Author

Briassouli, Alexia. editor. Benois-Pineau, Jenny. editor. Hauptmann, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518500.1)

Electronic Access

https://doi.org/10.1007/978-3-319-17963-6

Format:

Availability

Online Library~1

Available:
Copies:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

1 2 3 4

	{displayName}	{count}
{error}