» książki » Computers - Languages - General
topmenu
 |
Essential Guide to Managed Extensions for C++
ISBN: 9781893115286 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Forewords by Mark Hall and Stan Lippman, Compiler Architects, Visual C++ Team The Essential Guide to Managed Extensions for C++ provides a comprehensive guide for programmers writing code in Managed Extensions for C++ (MC++). The information in this book comes straight from the horses mouthboth authors have been key members of the Visual C++ .NET compiler development team and have spent most of their time implementing the language and educating others about managed C++. Managed Extensions for C++ are extensions added to the Visual C++ .NET compiler to allow developers access to the...
Forewords by Mark Hall and Stan Lippman, Compiler Architects, Visual C++ Team The Essential Guide to Managed Extensions for C++ provides a comprehensi...
|
cena:
157,70 |
 |
Palm Programming in Basic
ISBN: 9781893115491 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Palm Programming in Basic" is designed as a comprehensive reference for professional programmers to help get them up to speed on AppForge, NS Basic, and CASL. Jon Kilburn is President of an Internet Wireless Applications Development firm and has developed dozens of applications for the Palm OS and Windows CE platforms. Kilburn is also the editor of Pinnacle Publishing's "PDA Developer" newsletter and the senior chair for the PDA DevCon developer conference. As such, Kilburn is uniquely poised to teach developers the effective use of these languages. Kilburn explains to readers how to...
"Palm Programming in Basic" is designed as a comprehensive reference for professional programmers to help get them up to speed on AppForge, NS Basic, ...
|
cena:
121,14 |
 |
Wireless Web Development with PHP and WAP
ISBN: 9781893115934 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The enormous popularity of the World Wide Web can be attributed in large part to the fact that it is a dynamic, highly interactive medium. As Web accessibility through wireless devices becomes increasingly popular, developers are challenged to maintain the high level of interactivity and flexibility that users are accustomed to on their personal computer browsers. Fortunately, this task is not as daunting as it seems, as the language tools used to create conventional Web pages can also be implemented in the wireless arena. Rischpaters Wireless Web Development with PHP and WAP is a...
The enormous popularity of the World Wide Web can be attributed in large part to the fact that it is a dynamic, highly interactive medium. As Web acce...
|
cena:
113,21 |
 |
COBOL Programming Interview Questions: COBOL Job Interview Review Guide
ISBN: 9781933804453 / Angielski / Miękka / 88 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the direct response to demand for information that can be used right now in one's COBOL programming career. Over 150 COBOL questions, answers, and explanations are included. (Computer Books)
This book is the direct response to demand for information that can be used right now in one's COBOL programming career. Over 150 COBOL questions, ans...
|
cena:
299,52 |
 |
Data Types and Persistence
ISBN: 9783540187851 / Angielski / Twarda / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on the proceedings of a workshop held at the Appin in August 1985, this book discusses the issues of data abstraction. It introduces the concept of inheritance as a method of polymorphic modelling. It also discusses the issues of controlled access to large scale data in a concurrent and distributed persistent environment.
Based on the proceedings of a workshop held at the Appin in August 1985, this book discusses the issues of data abstraction. It introduces the concept...
|
cena:
404,42 |
 |
Programming Multi-Agent Systems: Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
ISBN: 9783540245599 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Programming Multi-Agent Systems, ProMAS 2004, held in New York, NY, USA in July 2004 as a satellite workshop of AAMAS 2004. The 10 revised full papers presented together with two invited articles were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on agent-oriented programming, agent platforms and tools, agent languages, and multi-agent systems techniques. This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Programming Multi-Agent Systems, ProMAS 2004,... |
cena:
202,19 |
 |
Static Analysis: 12th International Symposium, SAS 2005, London, Uk, September 7-9, 2005, Proceedings
ISBN: 9783540285847 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues new semantic models of programming languages and systems through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and...
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in ...
|
cena:
202,19 |
 |
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
ISBN: 9783540377566 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more. This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full ... |
cena:
222,41 |
 |
Modular Programming Languages: 7th Joint Modular Languages Conference, Jmlc 2006, Oxford, Uk, September 13-15, 2006, Proceedings
ISBN: 9783540409274 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference (JMLC), organized by Oxford Brookes University, Oxford, UK and held at Jesus College, Oxford. The mission of JMLC is to explore the concepts of well-structured programming languages and software and those of teaching good design and programming style. JMLC 2006 was the seventh in a series of successful conferences with themes including the construction of large and distributed software systems, and software en- neering aspects in new and dynamic application areas. We...
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference (JMLC), organized by Oxfo...
|
cena:
202,19 |
 |
High-Level Parallel Programming Models and Supportive Environments: 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings
ISBN: 9783540419440 / Angielski / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. On the 23rd of April, 2001, the 6th Workshop on High-Level Parallel P- gramming Models and Supportive Environments (LCTES 98) was held in San Francisco. HIPShas been held over the past six years in conjunction with IPDPS, the Internation Parallel and Distributed Processing Symposium. The HIPSworkshop focuses on high-level programming of networks of wo- stations, computing clusters and of massively-parallel machines. Its goal is to bring together researchers working in the areas of applications, language design, compilers, system architecture and programming tools to discuss new devel- ments...
On the 23rd of April, 2001, the 6th Workshop on High-Level Parallel P- gramming Models and Supportive Environments (LCTES 98) was held in San Francisc...
|
cena:
202,19 |
 |
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
ISBN: 9783540421245 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical... This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.
The SPIN model checker ... |
cena:
202,19 |
 |
Struktur und Interpretation von Computerprogrammen: Eine Informatik-Einführung
ISBN: 9783540423423 / Niemiecki / Miękka / 682 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Ubersetzung der bewahrten Einfuhrung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in der Lehre eingesetzt. Schritt fur Schritt werden Konstruktion und Abstraktion von Daten und Prozeduren dargestellt. Von der Modularisierung bis zum Problemlosen mit Registermaschinen werden verschiedene Programmierparadigmen entwikckelt und die effektive Handhabung von Komplexitat gezeigt. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung."
Die Ubersetzung der bewahrten Einfuhrung in die Informatik, entstanden am Massachusetts Institute of Technology (MIT), wird seit Jahren erfolgreich in...
|
cena:
170,08 |
 |
Principles and Practice of Constraint Programming - Cp 2002: 8th International Conference, Cp 2002, Ithaca, Ny, Usa, September 9-13, 2002, Proceedings
ISBN: 9783540441205 / Angielski / Miękka / 794 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.
The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields. This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held...
|
cena:
528,22 |
 |
Computer Safety, Reliability and Security: 21st International Conference, Safecomp 2002, Catania, Italy, September 10-13, 2002. Proceedings
ISBN: 9783540441571 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment. This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held ...
|
cena:
202,19 |
 |
Prolog: The Standard: Reference Manual
ISBN: 9783540593041 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multimedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. The book contains a comprehensible full description of the standardized language together with an executable...
This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming langua...
|
cena:
444,86 |
![Objektorientierte Softwareentwicklung Mit SmallTalk G]nther Vinek 9783540625582 Springer](/9783540625582_objektorientierte_softwareentwicklung_mit_smalltalk.jpg "Objektorientierte Softwareentwicklung Mit SmallTalk") |
Objektorientierte Softwareentwicklung Mit SmallTalk
ISBN: 9783540625582 / Niemiecki / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch gibt einen Uberblick uber objektorientierte Strukturen und Mechanismen und zeigt deren Realisierung in Smalltalk selbst und in Anwendungen durch Smalltalk. Es betont die Umsetzung konzeptueller Objektmodelle in operable Programme und zeigt deren inkrementelle Entwicklung und gegenseitige Beeinflussung an Hand konkreter Beispiele. Es prasentiert Smalltalk als Sprache, als Entwicklungssystem und als Repositorium wiederverwendbarer und erweiterbarer Konstruktionselemente fur Anwendungssoftware. Die Darstellung wird durch aufeinander aufbauende Beispiele (aus dem Bankbereich)...
Dieses Buch gibt einen Uberblick uber objektorientierte Strukturen und Mechanismen und zeigt deren Realisierung in Smalltalk selbst und in Anwendungen...
|
cena:
151,02 |
 |
Clause and Effect: PROLOG Programming for the Working Programmer
ISBN: 9783540629719 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no...
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a refer...
|
cena:
323,53 |
 |
ADA 95 Rationale: The Language - The Standard Libraries
ISBN: 9783540631439 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 95 is the advanced version of the Ada programming language. The book is divided into four parts: the introduction is a general discussion of the scope and objectives of the Ada 95 and its major technical features; the second part contains a more detailed step-by-step account of the core language; part three consists of several annexes addressing the predefined environment and specialized application areas; finally the three appendices are devoted to the upward compatibility with Ada 83 and a summary of requirements. The text aims to provide a systematic guide to the new features of the...
Ada 95 is the advanced version of the Ada programming language. The book is divided into four parts: the introduction is a general discussion of the s...
|
cena:
202,19 |
 |
ADA 95 Reference Manual: Language and Standard Libraries: International Standard Iso/Iec 8652:1995 (E)
ISBN: 9783540631446 / Angielski / Miękka / 533 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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...
This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The tho...
|
cena:
404,42 |
 |
Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July 5, 1999, Toulouse, France, Sep
ISBN: 9783540664994 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Increasing the designer s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN, is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being...
Increasing the designer s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design pr...
|
cena:
202,19 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
