This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual ...
详细信息
ISBN:
(数字)9783540691907
ISBN:
(纸本)9783540631446
This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Over 750 submitted revision requests were evaluated, and the resulting enhancements make Ada 95 an outstanding language. The flexibility of languages such as C++, modern features such as object orientation, and improved interfacing capabilities have been added to the reliable software engineering capabilities provided and proven for over a decade by the predecessor version Ada 83; furthermore, upward compatibility from Ada 83 to Ada 95 has been achieved.
ADO (Active Data Objects) is how the millions of Visual Basic programmers hitch onto Microsoft's amazing "Universal Database Access" strategy. But power breeds complexity, and using ADO isn't trivial...
详细信息
ISBN:
(数字)9781430211563
ADO (Active Data Objects) is how the millions of Visual Basic programmers hitch onto Microsoft's amazing "Universal Database Access" strategy. But power breeds complexity, and using ADO isn't trivial! This book is based on best-selling author Bill Vaughn's years of experience working with front-line data access developers and the development teams at Microsoft itself. Now, this Microsoft veteran translates his insights and collected wisdom of over a decade at Microsoft into working solutions for the common (and some not so common) data-related problems developers face every day.;focuses on addressing data problems at the root - through better designs and better ADO coding practices. These suggestions often yield far better performance - both for the developer (who is able to write better code more quickly), and for the application (it runs faster with less resources).;William R. Vaughn is currently a Developer Trainer at Microsoft. He has taught, written, lectured, sold, supported, designed, coded, managed and cried over mainframe and microcomputer systems and software for 28 years. He has been at Microsoft since 1986 and has held positions ranging from writing, teaching and managing trainers at the Microsoft University (MSU) to being Visual Basic Enterprise Product Manager. During his last two years at Microsoft he has been with the Internal Technical Education group teaching Microsoft employees themselves. While there he developed and taught courses on Visual Basic, data architectures, and ActiveX Data Objects (ADO).
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012...
详细信息
ISBN:
(数字)9783642381973
ISBN:
(纸本)9783642381966
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.;The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Diese moderne Einführung in die Informatik ist am renommierten Massachusetts Institute of Technology entstanden und repräsentiert den dortigen Ausbildungsstandard für Studenten der Informatik und der El...
详细信息
ISBN:
(数字)9783662011638
Diese moderne Einführung in die Informatik ist am renommierten Massachusetts Institute of Technology entstanden und repräsentiert den dortigen Ausbildungsstandard für Studenten der Informatik und der Elektrotechnik. Das ganzheitliche Verständnis der Informatik unter Einbeziehung der Künstlichen Intelligenz, das in diesem Buch vermittelt wird, hat es weltweit zu einer beliebten Grundlage für die Einführungsvorlesung gemacht. Zur Notation der Programme wird Scheme verwendet, ein Dialekt der Programmiersprache Lisp, der die Leistungsfähigkeit und die Eleganz von Lisp und Algol verbindet. Die Besonderheit dieser einführenden Vorlesung beruht auf zwei Grundüberzeugungen: 1. Eine Computersprache ist nicht einfach ein Weg, einen Computer zur Ausführung von Operationen zu bewegen, sondern vielmehr ein neuartiges Medium, um Vorstellungen über Verfahrensweisen auszudrücken. So müssen Programme geschrieben werden, damit Menschen sie lesen und modifizieren, und nur in zweiter Linie, damit Maschinen sie ausführen können. 2. Das Wesentliche bei einer Vorlesung auf diesem Niveau ist weder die Syntax von speziellen Sprachkonstruktionen, noch sind es raffinierte Algorithmen zur effizienten Berechnung bestimmter Funktionen oder gar die mathematische Analyse von Algorithmen oder die Grundlagen der Informatik, sondern vielmehr die Techniken, mit denen die geistige Komplexität großer Softwaresysteme unter Kontrolle gehalten werden kann.
Since its conception nearly 20 years ago, Logic programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, ...
详细信息
ISBN:
(数字)9781447135463
ISBN:
(纸本)9783540197348
Since its conception nearly 20 years ago, Logic programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.
This volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment (CD 2005), which took place from 28 to 29, November 2005 in Grenoble, France, and co-loc...
详细信息
ISBN:
(数字)9783540322818
ISBN:
(纸本)9783540305170
This volume of Lecture Notes in Computer Science contains the proceedings of the rd 3 Working Conference on Component Deployment (CD 2005), which took place from 28 to 29, November 2005 in Grenoble, France, and co-located with Middleware 2005. CD 2005 is the third international conference in the series, the first two being held in Berlin and Edinburgh in 2002 and 2004, respectively. The proceedings of both these conferences were also published by Springer in the Lecture Notes in Computer Science series and may be found in volumes 2370 and 3083. Component deployment addresses the tasks that need to be performed after components have been developed and addresses questions such as: • What do we do with components after they have been built? • How do we deploy them into their execution environment? • How can we evolve them once they have been deployed? CD 2005 brought together researchers and practitioners with the goal of deve- ping a better understanding of how deployment takes place in the wider context. The Program Committee selected 15 papers (12 long papers, three short papers) out of 29 submissions. All submissions were reviewed by at least three members of the Program Committee. Papers were selected based on originality, quality, soundness and relevance to the workshop.
Java is a new and exciting object-oriented programming language which is set to transform the world wide web. Java allows users to write applications which can be accessed across different platforms and provides an ef...
详细信息
ISBN:
(数字)9781447106296
ISBN:
(纸本)9783540760528
Java is a new and exciting object-oriented programming language which is set to transform the world wide web. Java allows users to write applications which can be accessed across different platforms and provides an effective means of building small but powerful programs that enable a huge range of new applications - such as animation, live updating, two-way interactions etc. - to be quickly and easily implemented. As with all the 'Essential Series' books;provides a highly readable and accessible introduction to the Java programming language allowing the reader to get up and running fast when developing their own programs. Software developers producing software for the Internet, those writing substantial commercial applications in a Windows environment, as well as individuals wanting to produce single versions of an application to run on any platform, should read this book from cover to cover.
暂无评论