Search Results for IEEE Computer Society. - Narrowed by: English

Discovering knowledge in data : an introduction to data mining

2026-03-29T12:42:23Z

Author Larose, Daniel T., author. Larose, Chantal D., author. IEEE Computer Society.
Preferred Shelf Number ONLINE(341929.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1699137 John Wiley http://dx.doi.org/10.1002/9781118874059 Books24x7 http://www.books24x7.com/marc.asp?bookid=63521
Format: Electronic Resources
Availability Online Library~1

Proceedings : IEEE 2001 Symposium on Parallel and Large-Data Visualization and Graphics : San Diego, California, October 22-23, 2001

2026-03-29T12:42:23Z

Author Symposium on Parallel and Large-Data Visualization and Graphics (2001 : San Diego, Calif.) Breen, David. Heirich, Alan. Koning, Anton. Spencer, Stephen N., ed.
Preferred Shelf Number T 385 S977 2001
Format: Books
Availability Beytepe Library~1

SLIP 2001 : 2001 International Workshop on System-Level Interconnect Prediction ; Sonoma, California, USA March 31-April 1, 2001

2026-03-29T12:42:23Z

Author International Workshop on System-Level Interconnect Prediction (2001 : Sonoma, Calif.) ACM Special Interest Group on Design Automation. IEEE Computer Society. Technical Committee on VLSI. Philips Research.
Preferred Shelf Number QA 76.9.A73 I58 2001
Format: Books
Availability Beytepe Library~1

Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada

2026-03-29T12:42:23Z

Author International Conference on Software Engineering (23rd : 2001 : Toronto, Ont.) ACM Sigsoft. IEEE Computer Society. Technical Council on Software Engineering.
Preferred Shelf Number QA 76.6 P941 2001
Format: Books
Availability Beytepe Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-03-29T12:42:23Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75775-4
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-03-29T12:42:23Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75783-9
Format: Electronic Resources
Availability Online Library~1

Data Science and Big Data Analytics Proceedings of IDBA 2024

2026-03-29T12:42:23Z

Author Mishra, Durgesh. editor. Yang, Xin-She. editor. Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-9855-1
Format: Electronic Resources
Availability Online Library~1

Data Science and Big Data Analytics Proceedings of IDBA 2025, Volume 2

2026-03-29T12:42:23Z

Author Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-05373-2
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-03-29T12:42:23Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75778-5
Format: Electronic Resources
Availability Online Library~1

Data Science and Big Data Analytics Proceedings of IDBA 2023

2026-03-29T12:42:23Z

Author Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9179-2
Format: Electronic Resources
Availability Online Library~1

Software technology : 10 years of innovation in IEEE Computer

2026-03-29T12:42:23Z

Author Hinchey, Michael G. (Michael Gerard), 1969- editor.
Preferred Shelf Number QA76.758
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119174240
Format: Electronic Resources
Availability Online Library~1

Assured cloud computing

2026-03-29T12:42:23Z

Author Campbell, Roy Harold, editor. Kamhoua, Charles A., editor. Kwiat, Kevin A., editor.
Preferred Shelf Number QA76.585 .A87 2018 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428497
Format: Electronic Resources
Availability Online Library~1

Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 2

2026-03-29T12:42:23Z

Author Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18416-6
Format: Electronic Resources
Availability Online Library~1

Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 1

2026-03-29T12:42:23Z

Author Balas, Valentina Emilia. editor. C. Jain, Lakhmi. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18296-4
Format: Electronic Resources
Availability Online Library~1

Computing handbook : computer science and software engineering

2026-03-29T12:42:23Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number QA76 .C57315 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The principles of electronic and electromechanic power conversion : a systems approach

2026-03-29T12:42:23Z

Author Ferreira, Braham, 1958- Van der Merwe, Wim, 1977-
Preferred Shelf Number TK7881.15 F47 2014
Format: Books
Availability Beytepe Library~1

The death of the Internet

2026-03-29T12:42:23Z

Author Jakobsson, Markus.
Preferred Shelf Number TK5105.875.I57 D43 2012
Format: Books
Availability Beytepe Library~1

Quantum computing explained

2026-03-29T12:42:23Z

Author McMahon, David (David M.)
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9780470181386 MyiLibrary, Table of contents http://www.myilibrary.com?id=122156&ref=toc
Format: Electronic Resources
Availability Online Library~1

Emerging methods, technologies, and process management in software engineering

2026-03-29T12:42:23Z

Author De Lucia, Andrea. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032135-b.html John Wiley http://dx.doi.org/10.1002/9780470238103
Format: Electronic Resources
Availability Online Library~1

Domain-specific modeling enabling full code generation

2026-03-29T12:42:23Z

Author Kelly, Steven. Tolvanen, Juha-Pekka.
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html John Wiley http://dx.doi.org/10.1002/9780470249260 http://swb.eblib.com/patron/FullRecord.aspx?p=331608
Format: Electronic Resources
Availability Online Library~1

Software safety and reliability : techniques, approaches, and standards of key industrial sectors

2026-03-29T12:42:23Z

Author Herrmann, Debra S.
Preferred Shelf Number QA76.76.R44 H39 1999
Format: Books
Availability Beytepe Library~1

Software engineering standards : a user's road map

2026-03-29T12:42:23Z

Author Moore, James W., 1948-
Preferred Shelf Number QA 76.758 M66 1998
Format: Books
Availability Beytepe Library~2

Real-time systems design and analysis : an engineer's handbook

2026-03-29T12:42:23Z

Author Laplante, Phillip A.
Preferred Shelf Number QA 76.54 L37 1997
Format: Books
Availability Health Sciences Library~1

Tutorial : object-oriented computing

2026-03-29T12:42:23Z

Author Peterson, G. E., ort. yaz.
Preferred Shelf Number QA 76.6 T875 1987
Format: Books
Availability Beytepe Library~2

Fault-Tolerant computing : digests of papers

2026-03-29T12:42:23Z

Author International Symposium on Fault-Tolerant Computing (17th : 1987 : Pittsburg)
Preferred Shelf Number QA 76.5 I58 1987
Format: Books
Availability Beytepe Library~1

Tutariol : reduced instruction set computers

2026-03-29T12:42:23Z

Author Stallings, William.
Preferred Shelf Number QA 76.5 S18 1986
Format: Books
Availability Beytepe Library~1