Jump to main content

yr 〜
yr

Search results 12

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)
Paper図書
Springerc2010.<M154-B107>
National Diet Library
  • Subject HeadingParallel programming (Computer science) Computer programs -- Correctness. Computer science.

Artificial unintelligence : how computers misunderstand the world : pbk

Artificial unintelligence : how computers misunderstand the world : pbk
Paper図書
Meredith BroussardThe MIT Press2019
Other Libraries in Japan

Artificial unintelligence : how computers misunderstand the world : hbk

Artificial unintelligence : how computers misunderstand the world : hbk
Paper図書
Meredith BroussardThe MIT Pressc2018
Other Libraries in Japan

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.
Paper図書
IEEE Computer Societyc2007.<M17-08-1709>
National Diet Library

Automated defect prevention : best practices in software management : cloth

Automated defect prevention : best practices in software management : cloth
Paper図書
Dorota Huizinga, Adam KolawaWiley-Intersciencec2007
Other Libraries in Japan

Accuracy and reliability in scientific computing pbk.

Accuracy and reliability in scientific computing pbk.
Paper図書
edited by Bo EinarssonSociety for Industrial and Applied Mathematicsc2005
Other Libraries in Japan

The Correctness problem in computer science

The Correctness problem in computer science
Paper図書
edited by R.S. Boyer and J. Strother MooreAcademic Press1981
Other Libraries in Japan

On reductions and livelocks in asynchronous parallel computation

On reductions and livelocks in asynchronous parallel computation
Paper図書
by Yat-Sang KwongUMI Research Pressc1982
Other Libraries in Japan

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994
Paper図書
editors, R.J. Wieringa & R.B. FeenstraWorld Scientificc1995
Other Libraries in Japan

Mathematical theory of program correctness

Mathematical theory of program correctness
Paper図書
Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery ZuckerPrentice-Hall Internationalc1980
Other Libraries in Japan

A parallel software infrastructure for dynamic block-irregular scientific calculations

A parallel software infrastructure for dynamic block-irregular scientific calculations
Paper図書
by Scott R. KohnUMIc1995
Other Libraries in Japan

On reductions and livelocks in asynchronous parallel computation

On reductions and livelocks in asynchronous parallel computation
Paper図書
by Yat-Sang KwongUniversity Microfilms International1978
Other Libraries in Japan

Reached to the end of result.

RSS