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 G50 Givant, S. Introduction to boolean algebras [Electronic resource] / S. Givant, P. Halmos. - Electronic text data. - New York, NY : Springer, 2009. - (Undergraduate texts in mathematics, ISSN 0172-6056). - ISBN 978-0-387-68436-9 : Б. ц.
См. : Текст издания Доп.точки доступа: Halmos, P.; SpringerLink (Online service) Свободных экз. нет |
512.563.6 S82 Steinbach, B. Logic functions and equations [Electronic resource] : examples and exercises / B. Steinbach, C. Posthoff. - Electronic text data. - Dordrecht : Springer, 2009. - ISBN 978-1-4020-9594-8 : Б. ц.
Вычислительная техника См. : Текст издания Доп.точки доступа: Posthoff, C.; SpringerLink (Online service) Свободных экз. нет |
512.563.6 S82 Steinbach, B. Logic functions and equations [Electronic resource] : examples and exercises / B. Steinbach, C. Posthoff. - Electronic text data. - Dordrecht : Springer, 2009. - ISBN 978-1-4020-9595-5 : Б. ц.
Вычислительная техника См. : Текст издания Доп.точки доступа: Posthoff, C.; 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) Свободных экз. нет |