Search Results for Debugging.

37 Results Found

1 2 3 4

000000000000DEFAULT

13.

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:

14.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31476-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

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.

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:

18.

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:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

1 2 3 4

	{displayName}	{count}
{error}