510 A35 Algebraic and proof-theoretic aspects of non-classical logics [Electronic resource] : papers in honor of Daniele Mundici on the occasion of his 60th birthday / ed. S. Aguzzoli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4460). - ISBN 978-3-540-75939-3 : Б. ц.
См. : Текст издания Доп.точки доступа: Aguzzoli, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004 M44 Mazzola, G. Comprehensive mathematics for computer scientists 2 [Electronic resource] : calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus / G. Mazzola, G. Milmeister, J. Weissmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 3-540-20861-5 : Б. ц.
Математическая логика Конечная математика См. : Текст издания Доп.точки доступа: Milmeister, G.; Weissmann, J.; SpringerLink (Online service) Свободных экз. нет |
519.713 G64 Gopalakrishnan, G. Computation engineering [Electronic resource] : applied automata theory and logic / G. Gopalakrishnan. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - ISBN 0-387-32520-4 : Б. ц.
Математическая логика Программы для ЭВМ--Верификация См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510 K84 Kroening, D. Decision procedures [Electronic resource] : an algorithmic point of view / D. Kroening, O. Strichman. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Texts in theoretical computer science, an EATCS series, ISSN 1862-4499). - ISBN 978-3-540-74105-3 : Б. ц.
Программы для ЭВМ--Верификация См. : Текст издания Доп.точки доступа: Strichman, O.; SpringerLink (Online service) Свободных экз. нет |
510 W46 Weinstein, S. Finite model theory and its applications [Electronic resource] / S. Weinstein. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Texts in theoretical computer science an eatcs series, ISSN 1862-4499). - ISBN 978-3-540-68804-4 : Б. ц.
Вычислительная техника См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510 W69 Williams, H. P. Logic and integer programming [Electronic resource] / H. P. Williams. - Electronic text data. - Boston, Ma : Springer, 2009. - (International series in operations research & management science, ISSN 0884-8289 ; 130). - ISBN 978-0-387-92279-9 : Б. ц.
Программирование целочисленное См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510 K18 Kamareddine, F. A modern perspective on type theory [Electronic resource] : from its origins until today / F. Kamareddine, R. Nederpelt, T. Laan. - Electronic text data. - Dordrecht : Springer Science + Business Media Inc., 2005. - (Applied logic series, ISSN 1386-2790 ; 29). - ISBN 978-1-4020-2335-4 : Б. ц.
Теория типов Программирования языки--Теория См. : Текст издания Доп.точки доступа: Nederpelt, R.; Laan, T.; SpringerLink (Online service) Свободных экз. нет |
510 G60 Goldrei, D. Propositional and predicate calculus [Electronic resource] : a model of argument / D. Goldrei. - Electronic text data. - London : Springer-Verlag, 2005. - ISBN 978-1-846-28229-4 : Б. ц.
См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
510 K84 Kroger, F. Temporal logic and state systems [Electronic resource] / F. Kroger, S. Merz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Texts in theoretical computer science, an EATCS series, ISSN 1862-4499). - ISBN 978-3-540-68635-4 : Б. ц.
Программы для ЭВМ--Верификация Программы для ЭВМ--Спецификация См. : Текст издания Доп.точки доступа: Merz, S.; SpringerLink (Online service) Свободных экз. нет |