Theory and Applications of Satisfiability Testing - SAT 2009
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Theory and Applications of Satisfiability Testing - SAT 2009
Siūlyti šią knygą
Pridėti į norimas
Leidėjas:
Springer Berlin Heidelberg
2009
556 psl.
ISBN 9783642027765
Viršelis: Minkštas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Kompiuterija ir informacinės technologijos
Redaguoti informaciją
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra