Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Subjects (1-2 of 2)
Computer Logic Congresses
1
E-Books/E-Docs
 

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conferen


Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil), issuing body.
Providence, Rhode Island : American Mathematical Society, 1999. 1999

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
2
E-Books/E-Docs
 

Formal logical methods for system security and correctness


NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008. 2008

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only