Search results

Wer Internet, PC und/oder Handy zur Kommunikation nutzen möchte, benötigt möglichst einfache und schnelle Client-Server-Programme. Diese werden Sie mit Hilfe des Buches selbst leicht programmieren können - und dabei davon profitieren, dass es mit Verwendung von Open-Source-Software sogar meist kostenlos möglich ist. Das Buch bietet einen schnellen und einfachen Einstieg in die Programmierung von Web-Browsern und Web-Servern mit Hilfe von Sockets. Die hier vorgestellten Anwendungen sind schlank,...

UNIX / Linux spielt heute in der Praxis eingesetzter Systemplattformen eine entscheidende Rolle. In diesem Buch finden Sie einen schnellen Einstieg in die Systemprogrammierung. Neben Grundlagen und Konzepten lernen Sie die wesentlichen Systemaufrufe kennen. Sie erfahren, wie UNIX / Linux aufgebaut ist und wie man die Standardbausteine verwendet, um eigene Systemprogramme zu erstellen. Hierzu gehören Script-Programmierung, UNIX-Prozesse, Interprozess-Kommunikation und Synchronisation, UNIX-Date...

Know how to use the features of Visual Studio 2019 and utilize the IDE correctly to become your one-stop solution for creating quality code. Learn what's new in VS 2019 and explore the existing features of Visual Studio so you can use them more efficiently.  Getting Started with Visual Studio 2019 begins with an overview of Visual Studio and explores new features such as Visual Studio Live Share, Visual Studio Search, Solution Filters, and Intellicode. Author Dirk Strauss teaches you how to crea...

A Programmer's Guide to ADO.NET in C# begins by taking readers through a fast-paced overview of C# and then delves into ADO.NET. Why should C# programmers use it instead of the existing technologies? What new functionality does it offer? The chapters that follow go through the details on each of the major Data Providers of the .NET platform (OleDb, SQL Server, and ODBC) that enable you to read and write data to the targeted database. These chapters also serve as a good reference for looking up d...

This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995. The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching i...

Learn how to implement design patterns in Java: each pattern in Java Design Patterns is a complete implementation and the output is generated using Eclipse, making the code accessible to all. The examples are chosen so you will be able to absorb the core concepts easily and quickly. This book presents the topic of design patterns in Java in such a way that anyone can grasp the idea. By giving easy to follow examples, you will understand the concepts with increasing depth. The examples presented...

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; securit...

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and a...

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh/PADL06.html. As is now traditional, PADL 2006 was co-located with the 33rd Annual Sym- sium on Principles of Programming Languages that was held on January 11-13, 2006. The PADL conference series is a forum for researche...

The 15th Workshop on Languages and Compilers for Parallel Computing was held in July 2002 at the University of Maryland, College Park. It was jointly sponsored by the Department of Computer Science at the University of Ma- land and the University of Maryland Institute for Advanced Computer Studies (UMIACS).LCPC2002broughttogetherover60researchersfromacademiaand research institutions from many countries. The program of 26 papers was selected from 32 submissions. Each paper was reviewed by at leas...

The10thInternationalSymposiumonDatabaseProgrammingLanguages,DBPL 2005, was held in Trondheim, Norway in August 2005. DBPL 2005 was one of 11 meetings to be co-located with VLDB (the International Conference on Very Large Data Bases). DBPLcontinuesto presentthe verybest workat the intersectionofdatabase andprogramminglanguageresearch. DBPL2005accepted17papersout ofa- talof 63submissions;anacceptancerateof27%. Everysubmissionwasreviewed by at least three members of the program committee. In additi...

IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motiv...

This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investiga...

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...

Computergrafik umfasst die Erzeugung und Darstellung von einfachen Grafikelementen und Bildern bis hin zur Virtual Reality. Die Anwendung dieser Techniken profitiert von einem soliden Verständnis der entsprechenden Grundlagen. Das erfolgreiche Buch von Prof. Klawonn, das jetzt bereits in der dritten Auflage vorliegt, vermittelt genau das - verständlich und nachvollziehbar. Prof. Klawonn erläutert die wesentlichen Konzepte an konkreten Beispielen und bedient sich dabei der einfachen Sprachmittel...

This book constitutes the refereed proceedings of the 10th International Conference on Principles and Practice of Constraint Programming, CP 2004, held in Toronto, Canada, in September 2004.The 46 revised full papers and 16 revised short papers presented together with extended abstracts of 4 invited talks and 31 abstracts of contributions to the doctoral students program were carefully reviewed and selected from 158 submissions. A wealth of recent research results on computing with constraints i...