Search All

About this search tool

    Articles

    1. Software systems reliability and security 2007

      https://ncsu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwbZ1NSwMxEIYHSy-e_GhBrZYcvHgIbL52k2O3tHgSoXouiTsLgvTQHsR_b2Y3WSv0mEAYJkwmZMj7DMCjJIS3_gjcNRY5EbC4s17ymBa8xyK0ZTD_izlQZC1MxjYef2IfVNwvy827ICWodiMYKUVxLRdDfMaXhROZzdJlYqmt6PrLCVNpbox1pO0ytixUpYRJyKc8JsAp2Ty6YNaXMP2T3rHX4VK5gjPcXcNF7r3A0lGcwNMm5s9vv0fWs5gPbI9fnz10-4f5XcMOqTPdFGbr1dvymZPRbXJymxyUN8B0aE0Zd8srRG2wsU1bhfjiIGw6FsbcwuTU0rvT0zM47wuTVD-4h3Eb4xsfepfn3UbOYVzXi3r1C9E8dqI

      Vol. 9..

      Conference Proceeding

    2. Communicating sequential processes 2005

      https://ncsu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwbV1NC8IwDA2KCJ78mKBOpYjXwuxW3Y4iiicR1PNYXeZFRPD_g03bTQUvhRZKSUmTJs17BZgLovCOrooneYycGLB4EmeCa7OQZRioYqnkbzIHghILU9I2fhexVyjuw-Z00RFJsiKO7XoYkl6L9aLKqQQE66bwwlliIsezrwiC63tz6LAdQsY6BmtWaQ_TJwg9LWjLII132XWg_8HdsWPlUbpQw0cP2uXHC8ydQw9mX7COx43Zcmh9VO_saev-8dUHf7c9b_acVkudaKkTSwyARaqQS71HWYgYSczjvFgpHWcQWToGUg7B-zd19H_Yh5ZhGzVZgzE0Cq3VOLGyTs32UbtfvwGv0HJ8

      Abdallah, Ali E., 1957; Jones, C. B. 1944- (Cliff B.); Sanders, Jeff W...

      Vol. 3525..

      Conference Proceeding

    3. VDM '90 1990

      https://ncsu.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQMQId4W2SnKRrmWKRqgs6AUvX0iLRSBdYLCQmphokpZklmaIO5jDow_bCwI5tRF7EDt_F7eccHAps3wLTHTMDs7ExKFkbORrCh1QMjI3MTU2MoXOypsCa29gAup0DxgEfuAOTNGOHj3yA-aADTkF2Qk6LAlcwboIMooitdwoB8EpFiIEpNU-YQQB294ICNCuKMLCHufgqqFsaiDJIubmGOHvogoyMh3ohHuJ8IwkGBZOkNFMzYFAkGqemmpimplikpJknAbsToDPRUw1MTSUZhLHolMIqKs3AZQisViBDAzIMrGnApJsqC_GNHDiQQKSHIwBUD2Wv

      Bjr̜ner, D. 1937- (Dines); Hoare, C. A. R. 1934- (Charles Antony Richard)...

      Vol. 428..

      Conference Proceeding

    See all 4 article results

    Books & Media

    1. Communicating sequential processes

      https://catalog.lib.ncsu.edu/catalog/NCSU636527

      C.A.R. Hoare.

      Hunt QA76.6 .H57 1985 | Book

    2. Essays in computing science

      https://catalog.lib.ncsu.edu/catalog/NCSU727697

      C.A.R. Hoare ; C.B. Jones, editor.

      Hunt QA76 .H56 1989 | Book

    3. Reflections on the work of C.A.R. Hoare

      https://catalog.lib.ncsu.edu/catalog/NCSU2409701

      Cliff B. Jones, A.W. Roscoe, Kenneth R. Wood, editors.

      Access via Springer Nature

      Online Resources QA76 ebook | Book

    See all 14 books & media results

    Other Ways to Find Articles

    Journals

    1. Veterans C.A.R.E : newsletter of Veterans C.A.R.E

      https://www.lib.ncsu.edu/journals/more_info.php?id=628748

    2. I.C.A.R. research reports series

      https://www.lib.ncsu.edu/journals/more_info.php?id=4964

    3. P.C. Richard & Son LLC MarketLine Company Profile

      https://www.lib.ncsu.edu/journals/more_info.php?id=578234

    See all 8,164 journal results

    Databases

    1. VizieR Service

      http://vizier.u-strasbg.fr/viz-bin/VizieR

    2. A&A ePortal

      https://proxying.lib.ncsu.edu/index.php?url=https://www.aaeportal.com

    3. Jewish life in America, c1654-1954

      https://proxying.lib.ncsu.edu/index.php?url=http://www.jewishlife.amdigital.co.uk

    Browse databases by name or subject

    Databases by Subject

    1. Textile & Apparel Management

      http://www.lib.ncsu.edu/subjects/content.php?subject=90

    2. Environmental Science

      http://www.lib.ncsu.edu/subjects/content.php?subject=34

    3. Natural Resources

      http://www.lib.ncsu.edu/subjects/content.php?subject=65

    Browse databases by name or subject

    1. Complete Your First Project in R

      https://www.linkedin.com/checkpoint/enterprise/login/53565897?pathWildcard=53565897&application=learning&dApp=45717204&redirect=https%3A%2F%2Fwww%2Elinkedin%2Ecom%2Flearning%2Fcomplete-your-first-project-in-r%3FdApp%3D45717204%26leis%3DLAA%26u%3D53565897

      This course will provide a life-like application R programmers can utilize to enhance their learning along with providing them a project they can add to their coding portfolios.

      This course will provide a life-like application R programmers can utilize to enhance their learning along with providing them a project they can add to their coding portfolios. Read less

    2. Data Pipeline Automation with GitHub Actions Using R and Python

      https://www.linkedin.com/checkpoint/enterprise/login/53565897?pathWildcard=53565897&application=learning&dApp=45717204&redirect=https%3A%2F%2Fwww%2Elinkedin%2Ecom%2Flearning%2Fdata-pipeline-automation-with-github-actions-using-r-and-python%3FdApp%3D45717204%26leis%3DLAA%26u%3D53565897

      Learn how to set up workflows on GitHub Actions to automate processes with both R and Python.

      Learn how to set up workflows on GitHub Actions to automate processes with both R and Python. Read less

    3. C Programming for Embedded Applications

      https://www.linkedin.com/checkpoint/enterprise/login/53565897?pathWildcard=53565897&application=learning&dApp=45717204&redirect=https%3A%2F%2Fwww%2Elinkedin%2Ecom%2Flearning%2Fc-programming-for-embedded-applications-14537235%3FdApp%3D45717204%26leis%3DLAA%26u%3D53565897

      Learn to write embedded software in the top programming language paying attention to what matters most in this field: size and energy consumption.

      Learn to write embedded software in the top programming language paying attention to what matters most in this field: size and energy consumption. Read less

    See all LinkedIn Learning results

    Get Help

    We didn't find any staff who match your query, but know that we're here to help.

    Ask Us (chat, text, email)

    Search the Libraries' Staff Directory

    Information About the Libraries

    Our Website

    1. Academy of Internal Medicine for Veterinary Technicians (AIMVT)

      https://www.lib.ncsu.edu/vetmed/boards/aimvt

      Medicine Secrets Michael R. Lappin 1st ed. 2001 Reviews of Veterinary Physiology Larry R. Engelking 1st ed. 2002 Canine and Feline Endocrinology   ( Print book ) Edward C

      Medicine Secrets Michael R. Lappin 1st ed. 2001 Reviews of Veterinary Physiology Larry R. Engelking 1st ed. 2002 Canine and Feline Endocrinology   ( Print book ) Edward C Read less

    2. NC State University Libraries Collection Guides | Search results

      https://www.lib.ncsu.edu/findingaids/resources

      , Elliot B. (Elliot Brown) Gregg Museum of Art & Design Fund for Animals Fuller, R. Buckminster (Richard Buckminster), 1895-1983 Friday, William C. (William Clyde) Flournoy

      , Elliot B. (Elliot Brown) Gregg Museum of Art & Design Fund for Animals Fuller, R. Buckminster (Richard Buckminster), 1895-1983 Friday, William C. (William Clyde) Flournoy Read less

    3. Theodore B. Mitchell Papers, 1918-2008

      https://www.lib.ncsu.edu/findingaids/mc00183

      . Mitchell married Miss Olivia Gowan of Raleigh in 1924, and they had one son, Richard. Theodore B. Mitchell died on February 10, 1983. Scope/content The Theodore B. Mitchell

      . Mitchell married Miss Olivia Gowan of Raleigh in 1924, and they had one son, Richard. Theodore B. Mitchell died on February 10, 1983. Scope/content The Theodore B. Mitchell Read less

    See all 344 website results

      Discover other services at the Libraries

    Patent and Trademark

    Check out the Patent and Trademark Resource Center (PTRC) for all of your patent and trademark needs.