Kategoria BISAC: Computers >> Computer Science

This book constitutes the refereed conference proceedings of the 18th Australasian Conference on Information Security and Privacy, ACISP 2013, held in Brisbane, Australia, in July 2013. The 28 revised full papers presented were carefully selected from 78 submissions. Conference papers are organized in technical sessions, covering topics of Cryptanalysis, RSA, Lattices and Security Proofs, Public Key Cryptography, Hashing, Signatures, Passwords, Mobile Security, and Secret Sharing.

The Yearbook of Corpus Linguistics and Pragmatics 2013 discusses current methodological debates on the synergy of Corpus Linguistics and Pragmatics research. The volume presents insightful pragmatic analyses of corpora in new technological domains and devotes some chapters to the pragmatic description of spoken corpora from various theoretical traditions.

The Yearbook of Corpus Linguistics and Pragmatics series will give readers insight into how pragmatics can be used to explain real corpus data, and, in addition, how corpora can explain pragmatic...

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof....

What do you get when you combine an electronics hobbyist, hacker, garage mechanic, kitchen table inventor, tinkerer, and entrepreneur? A maker, of course. Playful and creative, makers are through expertise and experimentation creating art, products, and processes that change the way we think and interact with the world.

As you ll see from the 21 interviews in Makers at Work, inquisitive makers are just as apt to pick up a laser cutter or an Arduino as a wrench to fashion something new. For example, you ll meet Jeri Ellsworth, who might provide a video lecture on magnetic...

Xcode is Apple's Integrated Development Environment (IDE), Interface Builder, and other tools for helping app developers and coders to build iPhone and iPad apps more efficiently and quickly. Beginning Xcode aims to get you up and running with Apple's latest Xcode 5 and includes a wide variety of exciting projects to build.

So, if you have some programming experience with iOS SDK and Objective-C, but want a more in depth tutorial on Xcode, then Beginning Xcode is for you. The book focuses on the new technologies, tools and features that Apple has bundled into the new...

This book constitutes the refereed conference proceedings of the 9th International Conference on Intelligent Computing, ICIC 2013, held in Nanning, China, in July 2013. The 74 revised full papers presented were carefully reviewed and selected from numerous submissions and are organized in topical sections on neural networks, nature inspired computing and optimization, cognitive science and computational neuroscience, knowledge discovery and data mining, evolutionary learning and genetic algorithms machine learning theory and methods, natural language processing and computational...

This book provides an extensive introduction to numerical computing from the viewpoint of backward error analysis. The intended audience includes students and researchers in science, engineering and mathematics. The approach taken is somewhat informal owing to the wide variety of backgrounds of the readers, but the central ideas of backward error and sensitivity (conditioning) are systematically emphasized. The book is divided into four parts: Part I provides the background preliminaries including floating-point arithmetic, polynomials and computer evaluation of functions; Part II covers...

This book deals with theoretical aspects of modelling the mechanical behaviour of manufacturing, processing, transportation or other systems in which the processed or supporting material is travelling through the system. Examples of such applications include paper making, transmission cables, band saws, printing presses, manufacturing of plastic films and sheets, and extrusion of aluminium foil, textiles and other materials.

The work focuses on out-of-plane dynamics and stability analysis for isotropic and orthotropic travelling elastic and viscoelastic materials, with and without...

Covering the years 2008-2012, this book profiles the life and work of recent winners of the Abel Prize:

- John G. Thompson and Jacques Tits, 2008
- Mikhail Gromov, 2009
- John T. Tate Jr., 2010
- John W. Milnor, 2011
- Endre Szemeredi, 2012.

The profiles feature autobiographical information as well as a description of each mathematician's work. In addition, each profile contains a complete bibliography, a curriculum vitae, as well as photos -- old and new. As an added feature, interviews with the Laureates are presented on an accompanying web site (http:...

Essential Programming Skills--Made Easy

Learn programming fundamentals quickly with help from this hands-on tutorial. No previous experience required Programming: A Beginner's Guide gets you started right away writing a simple but useful program in Visual Basic Express Edition, and then moves on to more advanced projects, including a quiz program and a protected personal diary. You'll develop real-world programming skills, like designing user interfaces and working with variables, arrays, loops, and procedures. By the end of this clear and entertaining...

Written by a Group Product Manager at Oracle, this Oracle Press guide gets you up and running quickly with your first Oracle Fusion applications. Quick Start Guide to Oracle Fusion Development provides only the essential information you need to build applications in a matter of hours. Rapidly learn the building blocks and functionality you'll use most of the time. The progression of topics closely matches the application building process, taking you through a typical developer scenario from start to completion.

Quick Start Guide to...

An Introduction to Parallel Programming is the first undergraduate text to directly address compiling and running parallel programs on the new multi-core and cluster architecture. It explains how to design, debug, and evaluate the performance of distributed and shared-memory programs. The author Peter Pacheco uses a tutorial approach to show students how to develop effective parallel programs with MPI, Pthreads, and OpenMP, starting with small programming examples and building progressively to more challenging ones. The text is written for students in undergraduate parallel...

The world of smart shoes, appliances, and phones is already here, but the practice of user experience (UX) design for ubiquitous computing is still relatively new. Design companies like IDEO and frogdesign are regularly asked to design products that unify software interaction, device design and service design -- which are all the key components of ubiquitous computing UX -- and practicing designers need a way to tackle practical challenges of design. Theory is not enough for them -- luckily the industry is now mature enough to have tried and tested best practices and case studies from the...

Information technology supports efficient operations, enterprise integration, and seamless value delivery, yet itself is too often inefficient, un-integrated, and of unclear value. This completely rewritten version of the bestselling Architecture and Patterns for IT Service Management, Resource Planning and Governance retains the original (and still unique) approach: apply the discipline of enterprise architecture to the business of large scale IT management itself. Author Charles Betz applies his deep practitioner experience to a critical reading of ITIL 2011, COBIT version 4, the CMMI...

Numerical Linear Algebra with Applications is designed for those who want to gain a practical knowledge of modern computational techniques for the numerical solution of linear algebra problems, using MATLAB as the vehicle for computation. The book contains all the material necessary for a first year graduate or advanced undergraduate course on numerical linear algebra with numerous applications to engineering and science. With a unified presentation of computation, basic algorithm analysis, and numerical methods to compute solutions, this book is ideal for solving real-world...

Assessing vendors is a tricky process. Large and regulated organizations are forced to demonstrate due diligence in vendor assessment, but often do not know how to do this. This results in a great deal of busywork being required by both the vendors and the organizations. Smaller organizations don't know what to look for and, as a result, often wind up selecting based on price instead of value. This results in service failures and vendors that just milk their customers for as long as they can.

Assessing Vendors shows you how to walk the line between under- and over-assessing,...