004.4(063) F76 Formal methods for mobile computing [Electronic resource] : 5th International school on formal methods for the designof computer, communication, and software systemsSFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005: advanced lectures / eds. M. Bernardo, A. Bogliolo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3465). - ISBN 978-35403-2021-0 : Б. ц.
Вычислительные машины портативные--Съезды и конференции См. : Текст издания Доп.точки доступа: Bernardo, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Futral, W. Intel® trusted execution technology for server platforms [Electronic resource] : a guide to more secure datacenters / W. Futral, J. Greene. - Electronic text data. - New York, NY [etc.] : Apress, 2013. - on-line. - Загл. с экрана. - ISBN 978-1-4302-6149-0 : Б. ц.
Кл.слова (ненормированные): серверные платформы -- технология доверенного выполнения Intel -- компьютерная безопасность См. : Текст издания Доп.точки доступа: Greene, J. Экземпляры всего 1: ИнТех (1) Свободны: ИнТех (1) |
004.383.73(063) M78 Mobile computing, applications, and services [Electronic resource] : first international ICST conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009 : revised selected papers / ed. T. Phan [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes of the institute for computer sciences, social informatics and telecommunications engineering, ISSN 1867-8211 ; 35). - ISBN 978-3-642-12607-9 : Б. ц.
Кл.слова (ненормированные): портативные вычислительные машины -- конференции См. : Текст издания Доп.точки доступа: Phan, T. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.383.2 A28 Aitchison, R. Pro DNS and BIND [Electronic resource] / R. Aitchison. - Electronic text data. - Berkeley, Ca : Apress, 2005. - ISBN 978-1-4302-0050-5 : Б. ц.
Кл.слова (ненормированные): серверы доменных имен См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004.383.2 D90 Dunn, M. D. Pro Microsoft Speech Server 2007 [Electronic resource] : developing speech enabled applications with .NET / M. D. Dunn. - Electronic text data. - Berkeley, Ca : Apress, 2007. - ISBN 978-1-4302-0272-1 : Б. ц.
Кл.слова (ненормированные): офисные коммуникационные серверы См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
Barrett, K. Running Mainframe Z on distributed platforms. How to create robust cost-efficient multiplatform Z environments [Electronic resource] / K. Barrett, S. Norris. - Electronic text data. - New York, NY [etc.] : Apress, 2014. - on-line. - Загл. с экрана. - ISBN 978-1-4302-6431-6 : Б. ц.
Кл.слова (ненормированные): высокопроизводительные отказоустойчивые серверы -- мейнфреймы -- распределенные платформы См. : Текст издания Доп.точки доступа: Norris, S. Экземпляры всего 1: ИнТех (1) Свободны: ИнТех (1) |
004.451.9 V98 Vugt, S. Ubuntu netbooks [Electronic resource] : the path to low-cost computing / S. Vugt. - Electronic text data. - Berkeley, Ca : Apress, 2009. - ISBN 978-1-4302-2442-6 : Б. ц.
Кл.слова (ненормированные): операционные системы ubuntu -- нетбуки -- малозатратные вычисления См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
004.451.9 K31 Kelly, J. F. Windows netbooks [Electronic resource] : the path to low-cost computing / J. F. Kelly. - Electronic text data. - Berkeley, Ca : Apress, 2009. - ISBN 978-1-4302-2400-6 : Б. ц.
Кл.слова (ненормированные): операционные системы windows -- нетбуки -- малозатратные вычисления См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |