ilość książek w kategorii: 10256
Engineering Secure Future Internet Services and Systems: Current Research
ISBN: 9783319074511 / Angielski / Miękka / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESSoS project researchers. The engineering approach of the Network of Excellence NESSoS, funded by the European Commission, is based on the principle of addressing security concerns from the very beginning in all software development phases, thus contributing to reduce the amount of software vulnerabilities and enabling the systematic treatment of security needs through the engineering process. The...
This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future I...
|
|
cena:
194,97 zł |
VLSI-SoC: Forward-Looking Trends in IC and Systems Design: 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised
ISBN: 9783642441752 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains extended and revised versions of the best papers presented at the 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, held in Madrid, Spain, in September 2010. The 14 papers included in the book were carefully reviewed and selected from the 52 full papers presented at the conference. The papers cover a wide variety of excellence in VLSI technology and advanced research. They address the current trend toward increasing chip integration and technology process advancements bringing about stimulating new challenges both at the...
This book contains extended and revised versions of the best papers presented at the 18th IFIP WG 10.5/IEEE International Conference on Very Large Sca...
|
|
cena:
194,97 zł |
Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 6.1 International Conference, Forte 2014, Held as Part of the 9th Int
ISBN: 9783662436127 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Sy...
|
|
cena:
194,97 zł |
Software-Technologien und -Prozesse
ISBN: 9783110355277 / Niemiecki / Miękka / 167 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. STeP 2014 wurde von der Fakultat Informatik der Hochschule Furtwangen veranstaltet. Der Tagungsband umfasstBeitragezu den ThemenIT-Sicherheit, innovative Technologien und Softwareprojekte, Virtualisierung im Cloud Zeitalter sowieCyber Physical Systems, und Beitrage von Jungen Wissenschaftler zu den Themen Privatheit bei On-the-fly-Computing, Web Services Security, Manipulation von QR-Codes undPenetrationtesting. STeP 2014 wurde von der Fakultat Informatik der Hochschule Furtwangen veranstaltet. Der Tagungsband umfasstBeitragezu den ThemenIT-Sicherheit, inno... |
|
cena:
348,51 zł |
Oracle WebLogic Server 12c: Distinctive Recipes: Architecture, Development and Administration
ISBN: 9780980798029 / Angielski / Miękka / 554 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Imagine you need to know about a problem with your car's engine. You could plough through the 1000-page manual. Or you could chat to the mechanic over a cup of coffee.
That's WebLogic 12c Advanced Recipes. It's WebLogic for software architects, administrators and developers. For people like you who know quite a bit about WebLogic. What you don't want is the typical 'recipe book' full of screenshots. Click here. Click there. Do this. Do that. That's WebLogic by numbers. What you really want are the things you won't find in the manual, like recommendations, discussions, best... Imagine you need to know about a problem with your car's engine. You could plough through the 1000-page manual. Or you could chat to the mechanic o...
|
|
cena:
135,05 zł |
Foundations of Algebraic Specification and Formal Software Development
ISBN: 9783642440656 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this...
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, con...
|
|
cena:
311,98 zł |
Advanced Information Systems Engineering Workshops: Caise 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014, Proceedings
ISBN: 9783319078687 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of five international workshops held in Thessaloniki, Greece, in conjunction with the 26th International Conference on Advanced Information Systems Engineering, CAiSE 2014, in June 2014. The 24 full and eight short papers were carefully selected from 63 submissions. The five workshops were the First International Workshop on Advanced Probability and Statistics in Information Systems (APSIS), the First International Workshop on Advances in Services Design Based on the Notion of Capability, the Second International Workshop on...
This book constitutes the thoroughly refereed proceedings of five international workshops held in Thessaloniki, Greece, in conjunction with the 26th I...
|
|
cena:
194,97 zł |
Software and Network Engineering
ISBN: 9783642436291 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence - quickly and with a high quality. The intent is to cover the theory, applications, and design methods of computational intelligence, as embedded in the fields of engineering, computer science, physics and life science, as well as the methodologies behind them. The series contains monographs, lecture notes and edited volumes in computational intelligence spanning the areas of neural networks, connectionist systems, genetic algorithms,... The series "Studies in Computational Intelligence" (SCI) publishes new developments and advances in the various areas of computational intelligence... |
|
cena:
389,98 zł |
Enterprise, Business-Process and Information Systems Modeling: 15th International Conference, Bpmds 2014, 19th International Conference, Emmsad 2014,
ISBN: 9783662437445 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the refereed proceedings of the 15th International Conference on Business Process Modeling, Development and Support (BPMDS 2014) and the 19th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2014), held together with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014) in Thessaloniki, Greece, in June 2014. The 20 full papers accepted for BPMDS were selected from 48 submissions and cover a wide spectrum of issues related to business process development, modeling, and support. They are...
This book contains the refereed proceedings of the 15th International Conference on Business Process Modeling, Development and Support (BPMDS 2014) an...
|
|
cena:
194,97 zł |
Introduction to Software Quality
ISBN: 9783319061054 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process im-provement are discussed in detail, with a particular focus on the CMMI framework. Features: includes review questions at the end of each chapter; covers both theory and practice, and provides guidance on applying the theory in an industrial environment; examines all aspects of the software development process, including project planning and tracking, software lifecycles, software inspections and testing,...
This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality...
|
|
cena:
175,48 zł |
Future Internet Testing: First International Workshop, Fittest 2013, Istanbul, Turkey, November 12, 2013, Revised Selected Papers
ISBN: 9783319077840 / Angielski / Miękka / 111 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the First International Workshop on future Internet Testing, FITTEST 2013, held in Turkey, Istanbul, in November 2013, in conjunction with the International Conference on Testing Software and Systems (ICTSS). The volume presents a total of 7 contributions; 5 full papers which were selected from 8 submissions, as well as a paper on the Java Unit Test Competition and a summary of the achievements of the FITTEST project. This book constitutes the proceedings of the First International Workshop on future Internet Testing, FITTEST 2013, held in Turkey, Istanbul, in No... |
|
cena:
194,97 zł |
Shopify Application Development
ISBN: 9781783281053 / Angielski / Miękka / 106 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
158,68 zł |
Programming as If People Mattered: Friendly Programs, Software Engineering, and Other Noble Delusions
ISBN: 9780691607887 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Through a set of lively anecdotes and essays, Nathaniel Borenstein traces the divergence between the fields of software engineering and user-centered software design, and attempts to reconcile the needs of people in both camps. Originally published in 1991. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover... Through a set of lively anecdotes and essays, Nathaniel Borenstein traces the divergence between the fields of software engineering and user-center... |
|
cena:
202,69 zł |
Programming Google App Engine with Java: Build & Run Scalable Java Applications on Google's Infrastructure
ISBN: 9781491900208 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This practical guide shows intermediate and advanced web and mobile app developers how to build highly scalable Java applications in the cloud with Google App Engine. The flagship of Google's Cloud Platform, App Engine hosts your app on infrastructure that grows automatically with your traffic, minimizing up-front costs and accommodating unexpected visitors. You'll learn hands-on how to perform common development tasks with App Engine services and development tools, including deployment and maintenance. For Java applications, App Engine provides a J2EE standard servlet container with... This practical guide shows intermediate and advanced web and mobile app developers how to build highly scalable Java applications in the cloud with... |
|
cena:
191,97 zł |
Programming Google App Engine with Python: Build and Run Scalable Python Apps on Google's Infrastructure
ISBN: 9781491900253 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This practical guide shows intermediate and advanced web and mobile app developers how to build highly scalable Python applications in the cloud with Google App Engine. The flagship of Google's Cloud Platform, App Engine hosts your app on infrastructure that grows automatically with your traffic, minimizing up-front costs and accommodating unexpected visitors. You'll learn hands-on how to perform common development tasks with App Engine services and development tools, including deployment and maintenance. App Engine's Python support includes a fast Python 2.7 interpreter, the... This practical guide shows intermediate and advanced web and mobile app developers how to build highly scalable Python applications in the cloud wi... |
|
cena:
191,97 zł |
Web Services and Formal Methods: 10th International Workshop, Ws-FM 2013, Beijing, China, August 2013, Revised Selected Papers
ISBN: 9783319082592 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2...
|
|
cena:
156,01 zł |
Reliable Software Technologies - Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-2
ISBN: 9783319083100 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.
This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, hel...
|
|
cena:
187,22 zł |
Systems, Software and Services Process Improvement: 21st European Conference, Eurospi 2014, Luxembourg, June 25-27, 2014. Proceedings
ISBN: 9783662438954 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 21st EuroSPI conference, held in Luxembourg, in June 2014. The 18 revised papers presented together with 11 invited papers in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and very small entities; process improvement frameworks; testing and improvement issues; SPI and people issues; SPI and quality issues; software processes in various contexts. The volume also contains selected keynote papers from EuroSPI workshops and invited papers covering the topic of creating environments supporting...
This volume constitutes the refereed proceedings of the 21st EuroSPI conference, held in Luxembourg, in June 2014. The 18 revised papers presented tog...
|
|
cena:
194,97 zł |
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1
ISBN: 9783319088662 / Angielski / Miękka / 877 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination;...
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer...
|
|
cena:
389,98 zł |
Seven More Languages in Seven Weeks: Languages That Are Shaping the Future
ISBN: 9781941222157 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Great programmers aren't born--they're made. The industry is moving from object-oriented languages to functional languages, and you need to commit to radical improvement. New programming languages arm you with the tools and idioms you need to refine your craft. While other language primers take you through basic installation and -Hello, World, - we aim higher. Each language in Seven More Languages in Seven Weeks will take you on a step-by-step journey through the most important paradigms of our time. You'll learn seven exciting languages: Lua, Factor, Elixir, Elm, Julia, MiniKanren,... Great programmers aren't born--they're made. The industry is moving from object-oriented languages to functional languages, and you need to commit ... |
|
cena:
163,19 zł |