Название: NASA Formal Methods Автор: Clark Barrett and Misty Davies Издательство: Springer Год: 2017 Формат: PDF Размер: 20 Мб Язык: английский / English
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
Название: Computer Communication, Networking and Internet Security: Proceedings of IC3T 2016 Автор: Suresh Chandra Satapathy and Vikrant Bhateja Издательство: Springer Год: 2017 Формат: PDF Размер: 19 Мб Язык: английский / English
The book is a compilation of high-quality scientific papers presented at the 3rd International Conference on Computer & Communication Technologies (IC3T 2016). The individual papers address cutting-edge technologies and applications of soft computing, artificial intelligence and communication. In addition, a variety of further topics are discussed, which include data mining, machine intelligence, fuzzy computing, sensor networks, signal and image processing, human-computer interaction, web intelligence, etc. As such, it offers readers a valuable and unique resource.
Название: Mobile Developer's Guide To The Galaxy: 17th edition Автор: Robert Virkus, Ruadhan O'Donoghue Издательство: PE Press Год: 2017 Формат: PDF Размер: 10 Мб Язык: английский / English
A community publication about all things mobile. This project was initiated in 2009 with the aim to spread knowledge about mobile technologies and to encourage people to enter our community or deepen their existing knowledge. More than 20 writers from the mobile community share their know-how in dealing with topics such as accessibility in mobile apps, UX design, mobile analytics, prototyping, cross-platform development, native Android and iOS development, mobile web and app marketing.
Название: Введение в разработку приложений для смартфонов на ОС Android Автор: Семакова А. Издательство: М.: НОУ "Интуит" Год: 2016 Страниц: 102 Формат: PDF Размер: 10.4 Мб Язык: русский
Android - открытая операционная система для мобильных телефонов, смартфонов, коммуникаторов, планшетных компьютеров, электронных книг, цифровых проигрывателей, наручных часов, нетбуков и смартбуков, основанная на ядре Liпux и поддерживающая различные аппаратные платформы, такие как ARМ, MIPS, POWER, х86.
Название: Algorithms and Architectures for Parallel Processing: ICA3PP International Workshops and Symposiums Автор: Guojin Wang and Albert Zomaya Издательство: Springer Год: 2017 Формат: PDF Размер: 37 Мб Язык: английский / English
This book constitutes the refereed proceedings of the Workshops and Symposiums of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015. The program of this year consists of 6 symposiums/workshops that cover a wide range of research topics on parallel processing technology: the Sixth International Workshop on Trust, Security and Privacy for Big Data, TrustData 2015; the Fifth International Symposium on Trust, Security and Privacy for Emerging Applications, TSP 2015;
Название: Designing Evolvable Web APIs with ASP.NET Автор: Glenn Block, Pablo Cibraro, Pedro Felix, Darrel Miller Издательство: O'Reilly Год: 2014 Формат: PDF Размер: 16 Мб Язык: английский / English
Design and build Web APIs for a broad range of clients—including browsers and mobile devices—that can adapt to change over time. This practical, hands-on guide takes you through the theory and tools you need to build evolvable HTTP services with Microsoft’s ASP.NET Web API framework. In the process, you’ll learn how design and implement a real-world Web API.
Название: Network Security Through Data Analysis: Building Situational Awareness Автор: Michael Collins Издательство: O'Reilly Media Год: 2014 Формат: PDF Размер: 14 Мб Язык: английский / English
Traditional intrusion detection and logfile analysis are no longer enough to protect today’s complex networks. In this practical guide, security researcher Michael Collins shows you several techniques and tools for collecting and analyzing network traffic datasets. You’ll understand how your network is used, and what actions are necessary to protect and improve it.
Название: Selected Areas in Cryptography - SAC 2014 Автор: Antoine Joux and Amr Youssef Издательство: Springer Год: 2014 Формат: PDF Размер: 12 Мб Язык: английский / English
This book constitutes the proceedings of the 21st International Conference on Selected Areas in Cryptography, SAC 2014, held in Montreal, QC, Canada, in August 2014. The 22 papers presented in this volume were carefully reviewed and selected from 103 submissions. There are four areas covered at each SAC conference. The three permanent areas are: design and analysis of symmetric key primitives and cryptosystems, including block and stream ciphers, hash function, MAC algorithms, cryptographic permutations, and authenticated encryption schemes; efficient implementations of symmetric and public key algorithms; mathematical and algorithmic aspects of applied cryptology. This year, the fourth area for SAC 2014 is: algorithms for cryptography, cryptanalysis and their complexity analysis.
Название: Write Great Code, Volume 2 Автор: Randall Hyde Издательство: No Starch Press Год: 2006 Формат: EPUB Размер: 10 Мб Язык: английский / English
The second volume in the Write Great Code series supplies the critical information that today's computer science students don't often get from college and university courses: How to carefully choose their high-level language statements to produce efficient code. Write Great Code, Volume 2: Thinking Low-Level, Writing High-Level, teaches software engineers how compilers translate high-level language statements and data structures into machine code. Armed with this knowledge, a software engineer can make an informed choice concerning the use of those high-level structures to help the compiler produce far better machine code--all without having to give up the productivity and portability benefits of using a high-level language.
Название: Write Great Code, Volume 1 Автор: Randall Hyde Издательство: No Starch Press Год: 2004 Формат: EPUB Размер: 10 Мб Язык: английский / English
If you've asked someone the secret to writing efficient, well-written software, the answer that you've probably gotten is "learn assembly language programming." By learning assembly language programming, you learn how the machine really operates and that knowledge will help you write better high-level language code. A dirty little secret assembly language programmers rarely admit to, however, is that what you really need to learn is machine organization, not assembly language programming.
Разделы сайта
Авторизация
Реклама
