Search

Your search returned 5 results.

Results
		Hardware and software : verification and testing : 6th international Haifa verification conference, HVC, Haifa, Israel, Oct. 4-7, 2010 (e-book) by Barner, Sharon ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6504 \| LNCS Sublibrary: SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Model checking and artificial intelligence : 6th international workshop, MoChArt, Atlanta, GA, USA, July 11, 2010 (e-book) by Meyden, Ron van der [Editor] \| Smaus, Jan-Georg [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6572 \| Lecture Notes in Artificial Intelligence (LNAI) Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Reachability problems : 5th international workshop : proceedings, RP, Genoa, Italy, Sept. 28-30, 2011 (e-book) by Delzanno, Giorgio [Editor] \| Potapov, Igor [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6945 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Not for loan (1) . Add to cart (remove)
		Reachability problems : 9th international workshop, RP, proceedings, Warsaw, Poland, Sep. 21-23, 2015 (e-book) by Bojanczyk, Mikolai [Editor] \| Lasota, Slawomir [Editor] \| Potapov, Igor [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9328 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Reachability problems : 10th international workshop, RP, proceedings, Aalborg, Denmark, Sept. 19-21, 2016 (e-book) by Larsen, Kim Guldstrand [Editor] \| Potapov, Igor [Editor] \| Potapov, Igor [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9899 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha