» książki » Computers - Languages - General
topmenu
 |
Introducing Fortran 95
ISBN: 9781852332761 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introducing Fortran 95 contains:
- Lots of clear and simple examples highlighting the language features - Details of a variety of internet based sources which will prove invaluable for those seeking further information and support - Key features of the latest version of Fortran, including ISO Technical Reports TR 15580 and TR 15581 This comprehensive introduction will be essential to the complete beginner who wants to learn the fundamentals of programming using a modern, powerful, expressive and safe language, and to those wanting to update their programming skills by... Introducing Fortran 95 contains:
- Lots of clear and simple examples highlighting the language features - Details of a variety of intern... |
cena:
201,72 zł |
 |
Exploring Randomness
ISBN: 9781852334178 / Angielski / Twarda / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discuss my work on incompleteness in more detail. In this book we'll use LISP to explore my theory of randomness, called algorithmic information theory (AIT). And when I say "explore" I mean it This book is full of exercises for the reader, ranging from the mathematical equivalent oftrivial "fin ger warm-ups" for pianists, to substantial programming projects, to questions I can formulate precisely but don't know how to answer, to questions that I...
In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discus...
|
cena:
403,47 zł |
 |
Bantam User Guide: Biometric and Token Technology Application Modeling Language
ISBN: 9781852335137 / Angielski / Twarda / 159 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. BANTAM is the first modeling language specifically designed for applications in Biometrics and Token Technology. It represents a significant step forward for the design and implementation of biometric and related technology applications in that:
- it is very simple to learn and use; - it offers a consistent system of documentation and a clarity of presentation which make the accurate description of user requirements much easier; - it provides a complete methodology for managing the project from original business case, through procurement and implementation, to subsequent training... BANTAM is the first modeling language specifically designed for applications in Biometrics and Token Technology. It represents a significant step forw...
|
cena:
201,72 zł |
 |
Virtual Machines
ISBN: 9781852339692 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak," so be it. I love them because they are so much fun, as well as being so useful. They have an element of original sin (writing assembly programs and being in control of an entire machine), while still being able to claim that one is being a respectable member of the community (being structured, modular, high-level, object-oriented, and so on). They also allow one to design machines of one's own, unencumbered by the restrictions of a starts optimising it for some physical particular processor...
I love virtual machines (VMs) and I have done for a long time.If that makes me "sad" or an "anorak," so be it. I love them because they are so much fu...
|
cena:
605,23 zł |
 |
Murach's Mainframe COBOL
ISBN: 9781890774240 / Angielski / Miękka / 687 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The #1 choice of professional COBOL programmers because it shows how to design, code, test, and maintain structured COBOL programs on the IBM mainframes (or enterprise systems), this book also presents the IBM products that every mainframe programmer needs to know including TSO, ISPF, OS/390 JCL, VSAM Access Method Services, CICS, and DB2.
The #1 choice of professional COBOL programmers because it shows how to design, code, test, and maintain structured COBOL programs on the IBM mainfram...
|
cena:
307,64 zł |
 |
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,33 zł |
 |
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:
120,86 zł |
 |
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:
112,95 zł |
 |
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:
301,94 zł |
 |
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:
403,47 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
201,72 zł |
 |
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:
169,68 zł |
 |
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:
403,47 zł |
 |
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:
201,72 zł |
 |
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:
443,82 zł |
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
