Search Results for Debugging.

1.

Algorithmic program debugging

Yazar

Shapiro, Ehud Y.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Debugging embedded microprocessor systems

Yazar

Ball, Stuart R., 1956-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Debugging at the Electronic System Level

Yazar

Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9255-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Debugging by thinking a multidisciplinary approach

Yazar

Metzger, Robert C.

Yer Numarası

ONLINE

Elektronik Erişim

Volltext http://www.sciencedirect.com/science/book/9781555583071

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Pro Perl Debugging From Professional to Expert

Yazar

Foley, Richard. author. Lester, Andy. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0044-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Program styl, design, efficiency, debugging, and testing

Yazar

Van Tassel, Dennie.

Yer Numarası

QA 76.6 V37 1978

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

7.

Program style, design, efficiency, debugging, and testing

Yazar

Van Tassel, Dennie, 1939-

Yer Numarası

QA 76.6 V37 1974

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

8.

Debugging Systems-on-Chip Communication-centric and Abstraction-based Techniques

Yazar

Vermeulen, Bart. author. Goossens, Kees. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

Yazar

Blunden, Bill. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-5108-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Why programs fail a guide to systematic debugging

Yazar

Zeller, Andreas.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

Yazar

Boulé, Marc. author. Zilic, Zeljko. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-8586-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Why programs fail a guide to systematic debugging

Yazar

Zeller, Andreas.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Modern multithreading implementing, testing, and debugging multithreaded Java and C++/Pthreads/Win32 programs

Yazar

Carver, Richard H., 1960- Tai, Kuo-Chung. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0624/2005045775-b.html
John Wiley http://dx.doi.org/10.1002/0471744174

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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

Yazar

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

Yer Numarası

XX(520246.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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

Yazar

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

Yer Numarası

XX(520864.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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

Yazar

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

Yer Numarası

XX(521073.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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

Yazar

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

Yer Numarası

XX(520715.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Formal Verification of Structurally Complex Multipliers

Yazar

Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-24571-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Ethics in Artificial Intelligence: Bias, Fairness and Beyond

Yazar

Mukherjee, Animesh. editor. Kulshrestha, Juhi. editor. Chakraborty, Abhijnan. editor. Kumar, Srijan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7184-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Windows performance analysis field guide

Yazar

Huffman, Clint, author.

Yer Numarası

ONLINE(355547.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Health Monitoring and Personalized Feedback using Multimedia Data

Yazar

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

Yer Numarası

XX(518500.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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

Yazar

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

Yer Numarası

XX(519157.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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

Yazar

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

Yer Numarası

XX(519163.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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

Yazar

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

Yer Numarası

XX(519293.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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

Yazar

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

Yer Numarası

XX(518833.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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

Yazar

Falaschi, Moreno. editor. SpringerLink (Online service)

Yer Numarası

XX(518861.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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

Yazar

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

Yer Numarası

XX(518953.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

Yazar

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

Yer Numarası

XX(518958.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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

Yazar

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

Yer Numarası

XX(518522.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

SVA: The Power of Assertions in SystemVerilog

Yazar

Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Debug Automation from Pre-Silicon to Post-Silicon

Yazar

Dehbashi, Mehdi. author. Fey, Görschwin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Multicore technology : architecture, reconfiguration, and modeling

Yazar

Samgwine, Stephen J., editor. Qadri, Muhammad Yasir, editor.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

OpenGL insights

Yazar

Cozzi, Patrick. Riccio, Christophe.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Game development for iOS with Unity3D

Yazar

Murray, Jeff.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Multi-core embedded systems

Yazar

Kornaros, Georgios.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Software error detection through testing and analysis

Yazar

Huang, J. C., 1935-

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Reverse engineering code with IDA Pro

Yazar

Ferguson, Justin. Kaminsky, Dan.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Patterns for performance and operability building and testing enterprise software

Yazar

Ford, Chris (Christopher B.)

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

The compiler design handbook optimizations and machine code generation

Yazar

Srikant, Y. N. Shankar, P. (Priti)

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Automated defect prevention best practices in software management

Yazar

Huizinga, Dorota. Kolawa, Adam. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

The debugger's handbook

Yazar

DiMarzio, J. F.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

The art of software testing

Yazar

Myers, Glenford J., 1946- Badgett, Tom. Thomas, Todd M. Sandler, Corey, 1950-

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=114566

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Tru64 UNIX troubleshooting diagnosing and correcting system problems

Yazar

Moore, Martin L. Hancock, Steven M.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}