» książki » Computers - Languages - General
 |
Wireless Sensor Networks: Design Principles for Scattered Systems
ISBN: 9783486707984 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
279,24 |
 |
Requirements Engineering
ISBN: 9783486588934 / Niemiecki / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hans Schwinn verfolgt konsequent das Ziel, ein ganzheitliches Verstandnis zu vermitteln und einen reflexiven Ansatz beim Problembereich "Requirements Engineering" einzufuhren. Im Mittelpunkt der Projektplanung sind nicht die technischen Moglichkeiten, die die Software-Entwicklung bereithalt, sondern die Nutzerbedurfnisse und die Reduktion auf das unbedingt Notwendige bei gleichzeitiger Skalierbarkeit.
Hans Schwinn verfolgt konsequent das Ziel, ein ganzheitliches Verstandnis zu vermitteln und einen reflexiven Ansatz beim Problembereich "Requirements ...
|
cena:
322,22 |
 |
Programming GPS and OpenStreetMap Applications with Java : The RealObject Application Framework
ISBN: 9781466507180 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written by an expert in the development of GPS systems with digital maps and navigation, Programming GPS and OpenStreetMap Applications with Java: The RealObject Application Framework provides a concrete paradigm for object-oriented modeling and programming. It presents a thorough introduction to the use of available global positioning data for the development of applications involving digital maps. The author first describes the different formats of GPS data and digital maps and shows how to use recorded GPS traces to replay and display this data on a digital map. Then, he works through in...
Written by an expert in the development of GPS systems with digital maps and navigation, Programming GPS and OpenStreetMap Applications with Java: The...
|
cena:
329,12 |
 |
Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
ISBN: 9783642229404 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010.
Constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, hel...
|
cena:
203,61 |
 |
Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings
ISBN: 9783642244841 / Angielski / Miękka / 730 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track...
This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, he...
|
cena:
203,61 |
 |
Developing Enterprise IOS Applications: iPhone and iPad Apps for Companies and Organizations
ISBN: 9781449311483 / Angielski / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you plan to develop iOS applications in a corporate setting for internal consumption or for sale to end users you need to read this book. Veteran developer James Turner shares best practices and lessons learned from his recent on-the-ground experience planning, building, and shipping an iOS application in an enterprise environment. With lots of examples and solid advice, you ll learn how to use Xcode, Objective-C, and other Apple development tools within the confines of enterprise software methodologies. Don t be deterred by Apple s development philosophy. If you re familiar with... If you plan to develop iOS applications in a corporate setting for internal consumption or for sale to end users you need to read this book. Vetera... |
cena:
104,95 |
 |
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
ISBN: 9783642252303 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software engineering, is widely recognized as one of today's most This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering,... Software engineering, is widely recognized as one of today's most |
cena:
203,61 |
 |
Bmc Control-M 7: A Journey from Traditional Batch Scheduling to Workload Automation
ISBN: 9781849682565 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Control-M is one of the most widely used enterprise class batch workload automation platform. With a strong knowledge of Control-M, you will be able to use the tool to meet ever growing batch needs. There has been no book that can guide you to implement and manage this powerful tool successfully...until now. With this book you will quickly master Control-M and be able to call yourself "a Control-M" specialist! BMC Control-M 7: A Journey from Traditional Batch Scheduling to Workload Automation will lead you into the world of Control-M and guide you to implement and maintain a Control-M...
Control-M is one of the most widely used enterprise class batch workload automation platform. With a strong knowledge of Control-M, you will be able t...
|
cena:
365,01 |
 |
Guide to Ildjit
ISBN: 9781447121930 / Angielski / Miękka / 97 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within this framework, it is possible to build a tool-chain by customizing ILDJIT for specific purposes. Customizations can be used within both static and dynamic compilers already included in the framework without adaptations. Moreover, customizations allow modification of both the behaviors and the characteristics of these compilers to better satisfy the particular need. Currently, ILDJIT is able to translate bytecode programs to generate machine... This book is a guide to getting started with ILDJIT, a compilation framework designed to be both easily extensible and easily configurable. Within ... |
cena:
203,61 |
 |
Patterns, Programming and Everything
ISBN: 9781447123491 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? this book reflects on Dr Bishop's outstandingcontribution to computer science. Havingworked at three different universities she now holds a leadership position in the research division of a major software company. The topics covered reflect some of the transitions in her career. The dominant theme is programming languages, with chapters on... With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith B... |
cena:
407,25 |
 |
Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings
ISBN: 9783642223051 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. This book features the papers that are organized in topical sections on abstractions and state-space reductions; PROMELA encodings and extensions; and, applications of model checking.
Constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July...
|
cena:
203,61 |
 |
Conceptual Modeling - Er 2011: 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
ISBN: 9783642246050 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011, held in Brussels, Belgium, in October/November 2011. The 25 revised full papers presented together with 14 short papers and three keynotes were carefully reviewed and selected from 157 submissions. The papers are organized in topical sections on modeling goals and compliance; human and socio-technical factors; ontologies; data model theory; model development and maintainability; user interfaces and software classification; evolution, propagation and refinement; UML and...
This book constitutes the refereed proceedings of the 30th International Conference on Conceptual Modeling, ER 2011, held in Brussels, Belgium, in Oct...
|
cena:
203,61 |
 |
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
ISBN: 9783642252709 / Angielski / Miękka / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers.
This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in Novembe...
|
cena:
203,61 |
 |
Programming Languages and Systems: 9th Asian Symposium, Aplas 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
ISBN: 9783642253171 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. This book features the papers that are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as, certification and logic.
Constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December...
|
cena:
203,61 |
 |
Formal Aspects of Component Software: 7th International Workshop, Facs 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
ISBN: 9783642272684 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes,...
|
cena:
203,61 |
 |
Compiler Construction: 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 201
ISBN: 9783642286513 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support.
This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Confe...
|
cena:
203,61 |
 |
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
ISBN: 9783642288906 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault...
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in Ap...
|
cena:
203,61 |
 |
Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Pape
ISBN: 9783642291128 / Angielski / Miękka / 153 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT...
|
cena:
203,61 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Confe
ISBN: 9783642287558 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model...
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS...
|
cena:
203,61 |
 |
Models in Software Engineering: Workshops and Symposia at Models 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Pape
ISBN: 9783642296444 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers from the following workshops are included: variability for you; multi-paradigm modeling; experiences and empirical studies in software modelling; models@run.time; model-driven engineering, verification and validation; comparing modeling approaches;...
This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driv...
|
cena:
203,61 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
