Электронный каталог

Alexandru Baltag
    Johan van Benthem on Logic and Information Dynamics [Электронный ресурс] / Alexandru Baltag, Sonja Smets. - Электроные текстовые данные. - 1007/978-3-319-06025-5. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-06025-5. - (Outstanding Contributions to Logic). - ISBN 9783319060255

Кл.слова (ненормированные):
philosophy -- logic -- Mathematical Logic and Foundations -- Logic Design -- книги издательства Springer

Alexandru Baltag Johan van Benthem on Logic and Information Dynamics [Текст : Электронный ресурс] / Alexandru Baltag, Sonja Smets, 2014

Jean Krivine
    Reversible Computation [Электронный ресурс] / Jean Krivine, Jean-Bernard Stefani. - Электроные текстовые данные. - 1007/978-3-319-20860-2. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-20860-2. - (Lecture Notes in Computer Science). - ISBN 9783319208602

Кл.слова (ненормированные):
Computer science -- Logic Design -- Logics and Meanings of Programs -- Quantum Computing -- Computation by Abstract Devices -- Algorithm Analysis and Problem Complexity -- Software Engineering -- книги издательства Springer

Jean Krivine Reversible Computation [Текст : Электронный ресурс] / Jean Krivine, Jean-Bernard Stefani, 2015

    Computer Engineering and Technology [Электронный ресурс] / Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu. - Электроные текстовые данные. - 1007/978-3-662-45815-0. - [S. l.] : Springer Berlin Heidelberg, 2015. - ( час. мин.), 1007/978-3-662-45815-0. - (Communications in Computer and Information Science). - ISBN 9783662458150

Кл.слова (ненормированные):
Computer science -- Processor Architectures -- Arithmetic and Logic Structures -- Memory Structures -- Logic Design -- Performance and Reliability -- книги издательства Springer

Computer Engineering and Technology [Текст : Электронный ресурс] / Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu, 2015

Shigeru Yamashita
    Reversible Computation [Электронный ресурс] / Shigeru Yamashita, Shin-ichi Minato. - Электроные текстовые данные. - 1007/978-3-319-08494-7. - [S. l.] : Springer International Publishing, 2014. - ( час. мин.), 1007/978-3-319-08494-7. - (Lecture Notes in Computer Science). - ISBN 9783319084947

Кл.слова (ненормированные):
Computer science -- Logic Design -- Files -- Computation by Abstract Devices -- Algorithm Analysis and Problem Complexity -- Software Engineering -- Computer Science, general -- книги издательства Springer

Shigeru Yamashita Reversible Computation [Текст : Электронный ресурс] / Shigeru Yamashita, Shin-ichi Minato, 2014

Christopher Gatti
    Design of Experiments for Reinforcement Learning [Электронный ресурс] / Christopher Gatti. - Электроные текстовые данные. - 1007/978-3-319-12197-0. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-12197-0. - (Springer Theses). - ISBN 9783319121970

Кл.слова (ненормированные):
engineering -- Computational Intelligence -- Logic Design -- Artificial Intelligence (incl. Robotics) -- книги издательства Springer

Christopher Gatti Design of Experiments for Reinforcement Learning [Текст : Электронный ресурс] / Christopher Gatti, 2015

Jair Minoro Abe
    Introduction to Annotated Logics [Электронный ресурс] / Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu. - Электроные текстовые данные. - 1007/978-3-319-17912-4. - [S. l.] : Springer International Publishing, 2015. - ( час. мин.), 1007/978-3-319-17912-4. - (Intelligent Systems Reference Library). - ISBN 9783319179124

Кл.слова (ненормированные):
engineering -- Computational Intelligence -- Artificial Intelligence (incl. Robotics) -- Logic Design -- книги издательства Springer

Jair Minoro Abe Introduction to Annotated Logics [Текст : Электронный ресурс] / Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu, 2015

Guoyong Shi
    Advanced Symbolic Analysis for VLSI Systems [Электронный ресурс] / Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle. - Электроные текстовые данные. - 1007/978-1-4939-1103-5. - [S. l.] : Springer New York, 2014. - ( час. мин.), 1007/978-1-4939-1103-5. - ISBN 9781493911035

Кл.слова (ненормированные):
engineering -- Circuits and Systems -- Electronics and Microelectronics, Instrumentation -- Logic Design -- книги издательства Springer

Guoyong Shi Advanced Symbolic Analysis for VLSI Systems [Текст : Электронный ресурс] / Guoyong Shi, Sheldon X.-D. Tan, Esteban Tlelo Cuautle, 2014

    Transactions on Computational Science XXIV [Электронный ресурс] / Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan. - Электроные текстовые данные. - 1007/978-3-662-45711-5. - [S. l.] : Springer Berlin Heidelberg, 2014. - ( час. мин.), 1007/978-3-662-45711-5. - (Lecture Notes in Computer Science). - ISBN 9783662457115

Кл.слова (ненормированные):
Computer science -- Arithmetic and Logic Structures -- Logic Design -- Computation by Abstract Devices -- Quantum Computing -- книги издательства Springer

Transactions on Computational Science XXIV [Текст : Электронный ресурс] / Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan, 2014

004.7
J 76
Johnson, Howard W.
    High-speed digital design : a handbook of black magic / Howard W. Johnson, Martin Graham. - Upper Saddle River, New Jersey : Prentice Hall PTR, 1993. - XI, 447 p. : il. - Index: p. 441-447. - ISBN 0133957241
Перевод заглавия: Высокоскоростной цифровой дизайн

Johnson, Howard W. High-speed digital design [Текст] / Howard W. Johnson, Martin Graham, 1993. - XI, 447 с.

004.7(075.8)
D 85
Dueck, Robert K.
    Digital design with CPLD applications and VHDL / Robert K. Dueck. - Africa ; Australia ; Canada : Delmar/Thomson Learning, 2001. - XV, 846 p. : il. - Index: p. 839-846. - ISBN 0766811603
Перевод заглавия: Цифровой дизайн на ПЛИС приложениях и с помощью VHDL

Dueck, Robert K. Digital design with CPLD applications and VHDL [Текст] / Robert K. Dueck, 2001. - XV, 846 p.