519.85(063)/F95-522253 FSTTCS 2006: foundations of software technology and theoretical computer science [Electronic resource] : 26th international conference, Kolkata, India, December 13-15, 2006 : proceedings / eds. S. Arun-Kumar, N. Garg. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4337). - ISBN 978-3-540-49995-4 : Б. ц.
Вычислительная техника--Съезды и конференции См. : Текст издания Доп.точки доступа: Arun-Kumar, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
517 B78 Bornemann, F. Konkrete Analysis [Electronic resource] : fur Studierende der Informatik / F. Bornemann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (eXamen.press, ISSN 1614-5216). - ISBN 978-3-540-70854-4 : Б. ц.
Кл.слова (ненормированные): конкретная математика -- анализ -- теоретическая информатика См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004-027.21 M50 Meinel, C. Mathematische Grundlagen der Informatik [Electronic resource] : mathematisches Denken und Beweisen. Eine Einfuhrung / C. Meinel, M. Mundhenk. - 4., uberarbeitete Aufl. - Electronic text data. - Wiesbaden : Vieweg+Teubner, 2009. - ISBN 978-3-8348-9310-9 : Б. ц.
Кл.слова (ненормированные): информатика -- математические основы См. : Текст издания Доп.точки доступа: Mundhenk, M.; SpringerLink (Online service) Свободных экз. нет |
004-027.21 R79 Rosenberg, A. L. The pillars of computation theory [Electronic resource] : state, encoding, nondeterminism / A. L. Rosenberg. - First. - Electronic text data. - New York, NY : Springer, 2010. - (Universitext). - ISBN 978-0-387-09639-1 : Б. ц.
Кл.слова (ненормированные): вычислительная техника -- теоретические основы См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004/P93-268964 Processes, terms and cycles: steps on the road to infinity [Electronic resource] : essays dedicated to Jan Willem klopon the occasion of his 60th birthday / ed. A. Middeldorp. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3838). - ISBN 978-3-540-32425-6 : Б. ц.
См. : Текст издания Доп.точки доступа: Middeldorp, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.42/R48-847498 Rewriting, computation and proof [Electronic resource] : essays dedicated to Jean-Pierre jouannaud on the occasion of his 60th birthday / ed. H. Comon-Lundh [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4600). - ISBN 978-3-540-73147-4 : Б. ц.
См. : Текст издания Доп.точки доступа: Comon-Lundh, H. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004/T44-311244 Theoretical computer science [Electronic resource] : essays in memory of Shimon Even / ed. O. Goldreich [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3895). - ISBN 978-3-540-32880-3 : Б. ц.
См. : Текст издания Доп.точки доступа: Goldreich, O. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004-027.21 E68 Erk, K. Theoretische Informatik [Electronic resource] : eine umfassende Einfuhrung / K. Erk, L. Priese. - 3., erweiterte Aufl. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (eXamen.press, ISSN 1614-5216). - ISBN 978-3-540-76320-8 : Б. ц.
Кл.слова (ненормированные): информатика теоретическая См. : Текст издания Доп.точки доступа: Priese, L.; SpringerLink (Online service) Свободных экз. нет |