512.563 A35 Algebra, meaning, and computation [Electronic resource] : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / ed. K. Futatsugi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4060). - ISBN 978-3-540-35464-2 : Б. ц.
Вычислительная техника См. : Текст издания Доп.точки доступа: Futatsugi, K. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563 M81 Monk, J. D. Cardinal invariants on boolean algebras [Electronic resource] / J. D. Monk. - Electronic text data. - Basel : Birkhauser, 2010. - (Modern birkhauser classics). - ISBN 978-3-0346-0334-8 : Б. ц.
Кл.слова (ненормированные): булевы алгебры -- кардинальные инварианты См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
512.56 G74 Gratzer, G. The congruences of a finite lattice [Electronic resource] : a proof-by-picture approach / G. Gratzer. - Electronic text data. - Boston, Ma : Birkhauser, 2006. - ISBN 978-0-817-64462-8 : Б. ц.
Кл.слова (ненормированные): конечные решетки -- конгруэнции См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
512.562 C29 Caspard, N. Ensembles ordonnes finis : concepts, resultats et usages [Electronic resource] / N. Caspard, B. Monjardet, B. Leclerc. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Mathematiques and applications, ISSN 1154-483X ; 60). - ISBN 978-3-540-73756-8 : Б. ц.
Кл.слова (ненормированные): упорядоченные множества См. : Текст издания Доп.точки доступа: Monjardet, B.; Leclerc, B.; SpringerLink (Online service) Свободных экз. нет |
512.56 B68 Blyth, T. Lattices and ordered algebraic structures [Electronic resource] / T. Blyth. - Electronic text data. - London : Springer-Verlag, 2005. - (Universitext). - ISBN 978-1-846-28127-3 : Б. ц.
См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
512.562 R75 Roman, S. Lattices and ordered sets [Electronic resource] / S. Roman. - Electronic text data. - New York, NY : Springer-Verlag, 2008. - ISBN 978-0-387-78901-9 : Б. ц.
Кл.слова (ненормированные): множества упорядоченные -- множества частично упорядоченные -- решетки См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
512.562 H32 Harzheim, E. Ordered sets [Electronic resource] / E. Harzheim. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2005. - (Advances in mathematics ; 7). - ISBN 978-0-387-24222-4 : Б. ц.
См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510/S24-860296 SAT 2005 [Electronic resource] : satisfiability research in the year 2005 / ed.: E. Giunchiglia, T. Walsh. - Electronic text data. - Dordrecht : Springer, 2006. - ISBN 978-1-4020-5571-3 : Б. ц.
См. : Текст издания Доп.точки доступа: Giunchiglia, E. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563(063) T44 Theory and applications of satisfiability testing [Electronic resource] : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings / eds. F. Bacchus, T. Walsh. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3569). - ISBN 978-3-540-31679-4 : Б. ц.
См. : Текст издания Доп.точки доступа: Bacchus, F. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563(063) T44 Theory and applications of satisfiability testing [Electronic resource] : 7th international conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / eds. H. Hoos, D. Mitchell. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3542). - ISBN 978-3-540-31580-3 : Б. ц.
См. : Текст издания Доп.точки доступа: Hoos, H. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563(063) T44 Theory and applications of satisfiability testing - SAT 2006 [Electronic resource] : 9th international conference, Seattle, Wa, USA, August 12-15, 2006 : proceedings / ed. A. Biere, C. Gomes. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4121). - ISBN 978-3-54037-207-3 : Б. ц.
См. : Текст издания Доп.точки доступа: Biere, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563(063) T44 Theory and applications of satisfiability testing - SAT 2007 [Electronic resource] : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / eds.: J. Marques-Silva, K. A. Sakallah. - Electronic text data. - Berlin ; Heidelberg : [s. n.], 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4501). - ISBN 978-3-540-72788-0 : Б. ц.
См. : Текст издания Доп.точки доступа: Marques-Silva, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563(063) T44 Theory and applications of satisfiability testing - SAT 2008 [Electronic resource] : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / ed. H. Kleine Buning [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4996). - ISBN 978-3-540-79719-7 : Б. ц.
См. : Текст издания Доп.точки доступа: Kleine Buning, H. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563(063) T44 Theory and applications of satisfiability testing - SAT 2009 [Electronic resource] : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 : proceedings / ed. O. Kullmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5584). - ISBN 978-3-642-02777-2 : Б. ц.
Кл.слова (ненормированные): алгебра логики -- выполнимость -- конференции См. : Текст издания Доп.точки доступа: Kullmann, O. \ed.\; SpringerLink (Online service) Свободных экз. нет |
512.563(063) T44 Theory and applications of satisfiability testing – SAT 2010 [Electronic resource] : 13th International conference, SAT 2010, Edinburgh, UK, July 11-14, 2010: proceedings / eds. O. Strichman, S. Szeider. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6175). - ISBN 978-3-642-14186-7 : Б. ц.
Кл.слова (ненормированные): алгебра логики -- выполнимость -- конференции См. : Текст издания Доп.точки доступа: Strichman, O. \ed.\; SpringerLink (Online service) Свободных экз. нет |