Search results

"Internationalization and Localization Using Microsoft .NET" shows how to localize code using Visual Studio .NET. Author Nick Symonds is an experienced developer and project manager of Windows applications intended for use worldwide. Symmonds knows the advantages of localization in the design stage and the disadvantages of localizing a project after the fact. Both methods of localizing code are discussed in this book. VS .NET has quite a few tools available for the developer to aid in the local...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2005, the third...

For programmers interested in programming in C++ and the future of C. This fourth edition of the bestselling C reference covers two important developments: the ISO C Amendment 1 (1994), which specifies new facilities for writing portable, international programs in C; and a discussion of how to write C programs that are compatible with C++.

Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance.  Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book explains how the app industry works, how it is evolving, and what the key trends are.  Rather than...

Master functions and discover how to write functional programs in R. In this concise book, you'll make your functions pure by avoiding side-effects; you’ll write functions that manipulate other functions, and you’ll construct complex functions using simpler functions as building blocks. In Functional Programming in R, you’ll see how we can replace loops, which can have side-effects, with recursive functions that can more easily avoid them. In addition, the book covers why you shouldn't use recur...

Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library presents ARCH, a library built as an extension to MPI. ARCH relies on a small set of programming abstractions that allow the writing of well-structured multi-threaded parallel codes according to the object-oriented programming style. ARCH has been written with C++. The book describes the built-in classes, and illustrates their use through several template application cases in several fields of interest: D...

This is an introductory textbook for those who want to learn Java 3D fast. It is packed with numerous examples and illustrations, including an 8-page colour section. The author takes readers through the different stages of writing a simple program in Java 3D and then shows how to modify and add features to the program. Indeed, one of the best way to learn any programming language is by writing programs. The examples in this book assume a working knowledge of Java and some background in 3D graphi...

This book provides programmers with all the information they need to learn the latest release of Java 2 fast. Readers will learn how to create substantial Java programs, as well as how to use Java 2's new Abstract Windowing Toolkit, JavaBeans, Java Database Connectivity, and other significant enhancements in the programming environment. The book's quick no-nonsense approach will appeal to software developers, programmers, and web administrators who need to produce platform independent applicatio...

This book will enable readers to become proficient in dBase programming, using the Clipper compiler from Nantucket. Most other titles cover the old versions of Clipper - this one is completely up-to-date. It assumes some knowledge of dBase and a little familiarity with BASIC or C. After a background to Clipper usage, the author shows how to design complete applications and, for more advanced users, how to add functions written in C or assembler, to include interrupts and graphs. Limitations and...

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed a...

The second half of the 1970s was marked with impressive advances in array/vector architectures and vectorization techniques and compilers. This progress continued with a particular focus on vector machines until the middle of the 1980s. The major­ ity of supercomputers during this period were register-to-register (Cray 1) or memory-to-memory (CDC Cyber 205) vector (pipelined) machines. However, the increasing demand for higher computational rates lead naturally to parallel comput­ ers and softwa...

Der erfolgreiche "Grundkurs Java" in der 6. Auflage. Das Buch f hrt Sie schrittweise durch die wichtigsten Aspekte von Java, von den elementaren Grundlagen ber generische Klassen und Methoden, Dateiverarbeitung, grafische Benutzungsoberfl chen bis zu Datenbankzugriffen und zur Netzwerkkommunikation ber TCP/IP. Zahlreiche erg nzende Erl uterungen zu den behandelten Themen wurden aufgenommen sowie neue Themen hinzugef gt: u. a. eine Einf hrung in das Persistenz-API zur Speicherung von Objekten in...

Das Wegweiser-Buch weist Wege zum erfolgreichen Einsatz der IBM Personal- computer PC, PC XT, Portable PC und PCjr, sofern sie in BASIC program- miert werden. Das Wegweiser-Buch vermittelt aktuelles Grundlagenwissen zur Datenverar- beitung: - Was ist Hardware, Software und Firmware? - Was sind GroBcomputer und Mikrocomputer? - Was sind Datenstrukturen und Programmstrukturen? - Was sind Betriebssysteme und Anwenderprogramme? - Was heiBt, fertige Programm-Pakete einsetzen'? - Was umfaBt das eigene...

This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occasion of his 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages, IFL 2013, held in Nijmegen, The Netherlands, in August 2013. Rinus Plasmeijer was the main designer of the lazy functional programming language "Clean" and has always been the leader of the associated research team. He has played a decisive role in making the Radboud University of Nijmegen an im...

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven develop...

This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verificatio...

This book constitutes the refereed proceedings of the 9th International Workshop on OpenMP, held in Canberra, Australia, in September 2013. The 14 technical full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on proposed extensions to OpenMP, applications, accelerators, scheduling, and tools.

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with researchers from other regions. The previous four conferences were held, respectively, in Bangkok, Singapore, Ka- mandu, and Manila. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year's conference (ASIAN'99) attracted 114 submissions from which 28 p...

This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 80 submissions. They are organized in topical sections named: models and synthesis; testing and fault localization; modeling; verifi...

"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Many projects in which algebraic specifications have been used as a design tool have been carried out. What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. On the one hand. interest from industry will stimulate people to mak...

This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different abstract models are also considered: a graph reduction based model and a more imperative approach. The design of a specialized instruction set is presented that is general enough to be used for the whole family of concurrent logic programming languages. In particular the language Parlog is concentrate...

More than a quarter of a million copies sold in previous editions! Freedom is a feature. With Fedora's new Online Desktop, you are free to shape your desktop environment to include the services, applications, and online friends you desire. As always, Fedora's total dedication to freedom lets you draw on thousands of free software packages to create the exact desktop or server computer you need. Fedora puts together the software (provided here on CD and DVD).This book acts as a guide to everythin...