Analytical and stochastic modeling techniques and applications [Electronic resource] : 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / eds. K. Al-Begain [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6751). - ISBN 978-3-642-21713-5 : Б. ц. Рубрики: Computer science Computer communication networks Computer system performance Software engineering Operating systems (computers) Computer science Software engineering Operating systems Computer communication networks Computation by abstract devices System performance and evaluation Probability and statistics in computer science См. : Текст издания Доп.точки доступа: Al-Begain, K. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Architecture of computing systems - ARCS 2011 [Electronic resource] : 24th international conference, Como, Italy, February 24-25, 2011 : proceedings / ed. M. Berekovic [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6566). - ISBN 978-3-642-19137-4 : Б. ц. Рубрики: Computer science Computer communication networks Computer network architectures Software engineering Operating systems (computers) Information storage and retrieval systems Information systems Computer science Computer communication networks Computer system implementation Operating systems Software engineering Information systems applications (incl.internet) Information storage and retrieval См. : Текст издания Доп.точки доступа: Berekovic, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Katz, A. Beginning microsoft excel 2010 [Electronic resource] / A. Katz. - Electronic text data. - Berkeley, Ca : Abbott Katz, 2010. - ISBN 978-1-4302-2956-8 : Б. ц. Рубрики: Computer science Operating systems (computers) Computer science Operating systems См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
Beginning ubuntu linux [Electronic resource] / E. Raggi [et al.]. - 5th ed. - Electronic text data. - Berkeley, Ca : Apress, 2010. - ISBN 978-1-4302-3040-3 : Б. ц. Рубрики: Computer science Operating systems (computers) Computer science Operating systems См. : Текст издания Доп.точки доступа: Raggi, E.; Thomas, K.; Parsons, T.; Channelle, A.; Vugt, S.; SpringerLink (Online service) Свободных экз. нет |
Vugt, S. Beginning ubuntu lTS server administration [Electronic resource] : from novice to professional / S. Vugt. - 2nd ed. - Electronic text data. - Berkeley, Ca : Apress, 2008. - ISBN 978-1-430-21081-8 : Б. ц. Рубрики: Computer science Operating systems (computers) Computer science Operating systems См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
Bioinspired models of network, information, and computing systems [Electronic resource] : 4th international conference, BIONETICS 2009, Avignon, France, December 9-11, 2009: revised selected papers / ed. E. Altman [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 ; 39). - ISBN 978-3-642-12808-0 : Б. ц. Рубрики: Computer science Computer communication networks Software engineering Operating systems (computers) Computer software Information systems Computer science Computer communication networks Software engineering Information systems applications (incl.internet) Programming techniques Algorithm analysis and problem complexity Operating systems См. : Текст издания Доп.точки доступа: Altman, E. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Data privacy management and autonomous spontaneous security [Electronic resource] : 5th international workshop, DPM 2010 and 3rd international workshop, SETOP 2010, Athens, Greece, September 23, 2010 : revised selected papers / ed. J. Garcia-Alfaro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6514). - ISBN 978-3-642-19348-4 : Б. ц. Рубрики: Computer science Computer communication networks Operating systems (computers) Data encryption (computer science) Information systems Information systems Computer science Management of computing and information systems Data encryption Computers and society Computer communication networks Operating systems Information systems applications (incl.internet) См. : Текст издания Доп.точки доступа: Garcia-Alfaro, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Formal methods for components and objects [Electronic resource] : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers / ed. F. S. Boer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6286). - ISBN 978-3-642-17071-3 : Б. ц. Рубрики: Computer science Software engineering Operating systems (computers) Logic design Computer science Software engineering Programming languages, compilers, interpreters Operating systems Logics and meanings of programs Software engineering/programming and operating systems Programming techniques См. : Текст издания Доп.точки доступа: Boer, F.S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Cachin, C. Introduction to reliable and secure distributed programming [Electronic resource] / C. Cachin, R. Guerraoui, L. Rodrigues. - 2nd ed. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - ISBN 978-3-642-15260-3 : Б. ц. Рубрики: Computer science Computer communication networks Operating systems (computers) Computer software Computer science Algorithm analysis and problem complexity Computer communication networks Operating systems См. : Текст издания Доп.точки доступа: Guerraoui, R.; Rodrigues, L.; SpringerLink (Online service) Свободных экз. нет |
Job scheduling strategies for parallel processing [Electronic resource] : 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / ed. E. Frachtenberg, U. Schwiegelshohn. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6253). - ISBN 978-3-642-16505-4 : Б. ц. Рубрики: Computer science Computer communication networks Software engineering Operating systems (computers) Computer software Computer simulation Computer science Software engineering Operating systems Computer communication networks Algorithm analysis and problem complexity Software engineering/programming and operating systems Simulation and modeling См. : Текст издания Доп.точки доступа: Frachtenberg, E. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Steidler-Dennison, T. Mac for linux geeks [Electronic resource] / T. Steidler-Dennison. - Electronic text data. - Berkeley, Ca : Apress, 2009. - ISBN 978-1-4302-1651-3 : Б. ц. Рубрики: Computer science Operating systems (computers) Computer science Operating systems См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
Managing the dynamics of networks and services [Electronic resource] : 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 2011: proceedings / ed. I. Chrisment [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6734). - ISBN 978-3-642-21484-4 : Б. ц. Рубрики: Computer science Computer communication networks Software engineering Operating systems (computers) Computer software Information systems Computer science Computer communication networks Software engineering Information systems applications (incl.internet) Algorithm analysis and problem complexity Operating systems Programming techniques См. : Текст издания Доп.точки доступа: Chrisment, I. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Cortellessa, V. Model-Based software performance analysis [Electronic resource] / V. Cortellessa, A. Di Marco, P. Inverardi. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - ISBN 978-3-642-13621-4 : Б. ц. Рубрики: Computer science Computer system performance Software engineering Operating systems (computers) Computer simulation Computer science Software engineering System performance and evaluation Simulation and modeling Operating systems См. : Текст издания Доп.точки доступа: Di Marco, A.; Inverardi, P.; SpringerLink (Online service) Свободных экз. нет |
NASA formal methods [Electronic resource] : third international symposium, NFM 2011, Pasadena, Ca, USA, April 18-20, 2011 : proceedings / ed. M. Bobaru [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6617). - ISBN 978-3-642-20398-5 : Б. ц. Рубрики: Computer science Software engineering Operating systems (computers) Logic design Computer science Software engineering Programming languages, compilers, interpreters Operating systems Logics and meanings of programs Software engineering/programming and operating systems Programming techniques См. : Текст издания Доп.точки доступа: Bobaru, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Network and parallel computing [Electronic resource] : international conference, NPC 2010, Zhengzhou, China, September 13-15, 2010 : proceedings / eds. C. Ding [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6289). - ISBN 978-3-642-15672-4 : Б. ц. Рубрики: Computer science Software engineering Operating systems (computers) Computer software Electronic data processing Computer science Programming techniques Computing methodologies Algorithm analysis and problem complexity Software engineering Software engineering/programming and operating systems Operating systems См. : Текст издания Доп.точки доступа: Ding, C. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Progress in cryptology – AFRICACRYPT 2011 [Electronic resource] : 4th intern. conf. on cryptology in Africa, Dakar, Senegal, July 5-7, 2011: proc. / eds A. Nitaj, D. Pointcheval. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6737). - ISBN 978-3-642-21969-6 : Б. ц. Рубрики: Computer science Computer communication networks Operating systems (computers) Data protection Data encryption (computer science) Computer software Information systems Computer science Data encryption Computer communication networks Management of computing and information systems Algorithm analysis and problem complexity Systems and data security Operating systems См. : Текст издания Доп.точки доступа: Nitaj, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Provenance and annotation of data and processes [Electronic resource] : third international provenance and annotation workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010 : revised selected papers / ed. D. L. McGuinness [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6378). - ISBN 978-3-642-17819-1 : Б. ц. Рубрики: Computer science Computer communication networks Operating systems (computers) Information storage and retrieval systems Information systems Information systems Computer science Information storage and retrieval Information systems applications (incl.internet) Operating systems Computers and society Management of computing and information systems Computer communication networks См. : Текст издания Доп.точки доступа: McGuinness, D.L. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Security and privacy in communication networks [Electronic resource] : 6th iternational ICST conference, SecureComm 2010, Singapore, September 7-9, 2010 : proceedings / eds.: S. Jajodia, J. Zhou. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes of the institute for computer sciences, social informatics and telecommunications engineering, ISSN 1867-8211 ; 50). - ISBN 978-3-642-16161-2 : Б. ц. Рубрики: Computer science Computer communication networks Software engineering Operating systems (computers) Data encryption (computer science) Computer software Information systems Computer science Computer communication networks Management of computing and information systems Data encryption Software engineering Algorithm analysis and problem complexity Operating systems См. : Текст издания Доп.точки доступа: Jajodia, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Selected areas in cryptography [Electronic resource] : 17th international workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers / ed. A. Biryukov [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6544). - ISBN 978-3-642-19574-7 : Б. ц. Рубрики: Computer science Computer communication networks Operating systems (computers) Data encryption (computer science) Computer software Information systems Computer science Data encryption Operating systems Algorithm analysis and problem complexity Computer communication networks Information systems applications (incl.internet) См. : Текст издания Доп.точки доступа: Biryukov, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
Roscoe, A. Understanding concurrent systems [Electronic resource] / A. Roscoe. - Electronic text data. - London : Springer, 2011. - (Texts in computer science, ISSN 1868-0941). - ISBN 978-1-84882-258-0 : Б. ц. Рубрики: Computer science Operating systems (computers) Logic design Computer science Operating systems Logics and meanings of programs См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |