» książki » Computers - Languages - General
topmenu
 |
Languages, Compilers and Run-Time Systems for Scalable Computers
ISBN: 9781461359791 / Angielski / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session.
Starting with new developments in classical problems of parallel compiler design, such as dependence analysis and an exploration of loop parallelism, the book goes on to address the issues of compiler strategy for specific architectures and programming environments. Several chapters investigate support for multi-threading, object orientation, irregular computation, locality... Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of th...
|
cena:
610,90 |
 |
Implementations of Logic Programming Systems
ISBN: 9781461361572 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In conjunction with the 1993 International Conference on Logic Programming (ICLP'93), held in Budapest Hungary, two workshops were held concerning the implementations of logic programming systems: Practical Implementations and Sys- tems Experience in Logic Programming Systems, and Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems. This collection presents 16 research papers in the area of the implementation of logic programming systems. The two workshops aimed to bring together sys- tems implementors for discussing real problems coming from their direct...
In conjunction with the 1993 International Conference on Logic Programming (ICLP'93), held in Budapest Hungary, two workshops were held concerning the...
|
cena:
407,25 |
 |
Fundamentals of Information Systems
ISBN: 9781461373384 / Angielski / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory:
Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and...
|
cena:
407,25 |
 |
The Object-Z Specification Language
ISBN: 9781461374015 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It... Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and poly...
|
cena:
814,55 |
 |
Non-Functional Requirements in Software Engineering
ISBN: 9781461374039 / Angielski / Miękka / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Non-Functional Requirements in Software Engineering presents a systematic and pragmatic approach to building quality into' software systems. Systems must exhibit software quality attributes, such as accuracy, performance, security and modifiability. However, such non-functional requirements (NFRs) are difficult to address in many projects, even though there are many techniques to meet functional requirements in order to provide desired functionality. This is particularly true since the NFRs for each system typically interact with each other, have a broad impact on the system and may...
Non-Functional Requirements in Software Engineering presents a systematic and pragmatic approach to building quality into' software systems. ...
|
cena:
2443,73 |
 |
Variational Object-Oriented Programming Beyond Classes and Inheritance
ISBN: 9781461375746 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Purpose of the Book This book presents an approach to improve the standard object-oriented pro- gramming model. The proposal is aimed at supporting a larger range of incre- mental behavior variations and thus promises to be more effective in mastering the complexity of today's software. The ability of dealing with the evolutionary nature of software is one of main merits of object-oriented data abstraction and inheritance. Object-orientation allows to organize software in a structured way by separating the description of different kinds of an abstract data type into different classes and...
Purpose of the Book This book presents an approach to improve the standard object-oriented pro- gramming model. The proposal is aimed at supporting a ...
|
cena:
610,90 |
 |
Logic Programming New Frontiers
ISBN: 9789401051316 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the sec ond UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four head ings: Theory supporting practice motivating...
In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in...
|
cena:
407,25 |
 |
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
ISBN: 9783642380877 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in...
|
cena:
203,61 |
 |
XML and Web Technologies for Data Sciences with R
ISBN: 9781461478997 / Angielski / Miękka / 663 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Web technologies are increasingly relevant to scientists working with data, for both accessing data and creating rich dynamic and interactive displays. The XML and JSON data formats are widely used in Web services, regular Web pages and JavaScript code, and visualization formats such as SVG and KML for Google Earth and Google Maps. In addition, scientists use HTTP and other network protocols to scrape data from Web pages, access REST and SOAP Web Services, and interact with NoSQL databases and text search applications. This book provides a practical hands-on introduction to these... Web technologies are increasingly relevant to scientists working with data, for both accessing data and creating rich dynamic and interactive displ... |
cena:
407,25 |
 |
Sass and Compass for Designers
ISBN: 9781849694544 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The CSS preprocessor, Sass, is becoming the de-facto standard for producing cross-browser CSS more maintainable and with more ease. It supercharges CSS with features that make previously difficult and time-consuming tasks trivial. This book concentrates on distilling the techniques in a straightforward manner making it accessible to all, even to those that only know HTML and CSS. Written by the author of the bestselling "Responsive Web Design with HTML5 and CSS3", Sass and Compass for Designers will explain everything you need to get Sass and Compass installed, mastered, and making your life...
The CSS preprocessor, Sass, is becoming the de-facto standard for producing cross-browser CSS more maintainable and with more ease. It supercharges CS...
|
cena:
215,47 |
 |
Static Analysis: 20th International Symposium, SAS 2013, Seattle, Wa, Usa, June 20-22, 2012, Proceedings
ISBN: 9783642388552 / Angielski / Miękka / 499 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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 verification, security analysis, theoretical frameworks, and type checking.
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, ...
|
cena:
203,61 |
 |
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
ISBN: 9783642388828 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
This text constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in...
|
cena:
187,35 |
 |
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ISBN: 9783642389153 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions.
This text constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 20...
|
cena:
187,35 |
 |
Safe and Secure Software Reuse: 13th International Conference on Software Reuse, Icsr 2013, Pisa, Italy, June 18-20, 2013, Proceedings
ISBN: 9783642389764 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on feature modeling and variability analysis; reuse and testing; architecture and reuse; analysis for reuse; reuse and patterns, short papers, emerging ideas and trends.
This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy,...
|
cena:
203,61 |
 |
Software Architecture: 7th European Conference, Ecsa 2013, Montpellier, France, July 1-5, 2013, Proceedings
ISBN: 9783642390302 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 7th European Conference on Software Architecture, ECSA 2013, held in Montpellier, France, in July 2013. The 25 full papers and 11 poster papers presented in this volume were carefully reviewed and selected from a total of 82 submissions. The contributions are organized in topical sections named: architectural and design patterns and models; ADLs and architectural MetaModels; architectural design decision-making; software architecture conformance and quality; and architectural repair and adaptation.
This book constitutes the proceedings of the 7th European Conference on Software Architecture, ECSA 2013, held in Montpellier, France, in July 2013. T...
|
cena:
203,61 |
 |
Phonegap Build: Developing Cross Platform Mobile Applications in the Cloud
ISBN: 9781466589742 / Angielski / Twarda / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. PhoneGap is a standards-based, open-source development framework that can be deployed to any mobile device without losing the features of the native app-allowing for access to device contacts, the local file system, camera, and media on multiple platforms without requiring users to write a single line of code. Ideal for intermediate to advanced users, PhoneGap Build: Developing Cross Platform Mobile Applications in the Cloud offers the comprehensive coverage you need to harness the power of this dynamic tool. It provides complete coverage of the cloud computing...PhoneGap is a standards-based, open-source development framework that can be deployed to any mobile device without losing the features of the nativ... |
cena:
383,99 |
 |
Structured Object-Oriented Formal Language and Method: Second International Workshop, Sofl 2012, Kyoto, Japan, November 13, 2012. Revised Selected Pap
ISBN: 9783642392764 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal La...
|
cena:
187,35 |
 |
Joe Celko's Data, Measurements and Standards in SQL
ISBN: 9780123747228 / Angielski / Miękka / 291 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Joe Celko has looked deep into the code of SQL programmers and found a consistent and troubling pattern - a frightening lack of consistency between their individual encoding schemes and those of the industries in which they operate. This translates into a series of incompatible databases, each one an island unto itself that is unable to share information with others in an age of internationalization and business interdependence. Such incompatibility severely hinders information flow and the quality of company data. Data, Measurements and Standards in SQL reveals the shift these...
Joe Celko has looked deep into the code of SQL programmers and found a consistent and troubling pattern - a frightening lack of consistency between th...
|
cena:
194,46 |
 |
API Design for C++
ISBN: 9780123850034 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. API Design for C++ provides a comprehensive discussion of Application Programming Interface (API) development, from initial design through implementation, testing, documentation, release, versioning, maintenance, and deprecation. It is the only book that teaches the strategies of C++ API development, including interface design, versioning, scripting, and plug-in extensibility. Drawing from the author's experience on large scale, collaborative software projects, the text offers practical techniques of API design that produce robust code for the long term. It presents patterns and... API Design for C++ provides a comprehensive discussion of Application Programming Interface (API) development, from initial design through i... |
cena:
249,32 |
 |
Lambda-Calculus, Combinators and Functional Programming
ISBN: 9780521114295 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text...
Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematica...
|
cena:
317,77 |
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
