Lecture Notes in Computer Science / Programming and Software :: Książki z zagranicy :: Ksią� w KrainaKsiazek.pl

Książka: » książki » Lecture Notes in Computer Science / Programming and Software

zaloguj się | załóż konto

topmenu

Księgarnia internetowa

Książki na zamówienie

Książka na prezent

Wyszukiwanie zaawansowane

Bezpłatna dostawa dla zamówień powyżej 20 zł

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2687494]

• Literatura piękna

[1634418]

Kategorie szczegółowe BISAC

	Search-Based Software Engineering: 6th International Symposium, Ssbse 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings Claire Le Goues; Shin Yoo This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil. The 14 revised full papers presented together with 2 keynote addresses, 1 invited talk, 1 short paper, 3 papers of the graduate track, and 4 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and... This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza,...

	cena: 211,53 zł

	Computer Safety, Reliability, and Security: 33rd International Conference, Safecom 2014, Florence, Italy, September 10-12, 2014. Proceedings Andrea Bondavalli; Felicita Di Giandomenico This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages... This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held...

	cena: 192,30 zł

	Computer Safety, Reliability, and Security: Safecomp 2014 Workshops: Ascoms, Decsos, Devvarts, Isse, Resa4ci, Sassur. Florence, Italy, September 8-9, Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmeier This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification... This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, ...

	cena: 192,30 zł

	Principles and Practice of Constraint Programming: 20th International Conference, Cp 2014, Lyon, France, September 8-12, 2014, Proceedings Barry O'Sullivan This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies. This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, C...

	cena: 384,63 zł

	Formal Methods for Industrial Critical Systems: 19th International Conference, Fmics 2014, Florence, Italy, September 11-12, 2014, Proceedings Frederic Lang; Francesco Flammini This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing. This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Flor...

	cena: 184,64 zł

	Computer Performance Engineering: 11th European Workshop, Epew 2014, Florence, Italy, September 11-12, 2014, Proceedings Andras Horvath; Katinka Wolter This book constitutes the proceedings of the 11th European Workshop on Performance Engineering, EPEW 2014, held in Florence, Italy, in September 2014. The 18 full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections named: cloud performance modelling; queueing and fluid models; performance of computation and programming; fitting; urban traffic modelling; decision making; and Markovian models, above and beyond. This book constitutes the proceedings of the 11th European Workshop on Performance Engineering, EPEW 2014, held in Florence, Italy, in September 2014....

	cena: 184,64 zł

	Runtime Verification: 5th International Conference, RV 2014, Toronto, On, Canada, September 22-25, 2014. Proceedings Borzoo Bonakdarpour; Scott A. Smolka This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning. This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in Se...

	cena: 192,30 zł

	Software Language Engineering: 7th International Conference, Sle 2014, Västerås, Sweden, September 15-16, 2014. Proceedings Benoit Combemale; David Pearce; Olivier Barais This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Vasteras, Sweden, in September 2014. The 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. The papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data,... This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Vasteras, Swede...

	cena: 192,30 zł

	Integrated Formal Methods: 11th International Conference, Ifm 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings Elvira Albert; Emil Sekerinski This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control. This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, ...

	cena: 192,30 zł

	Using and Improving Openmp for Devices, Tasks, and More: 10th International Workshop on Openmp, Iwomp 2014, Salvador, Brazil, September 28-30, 2014. P Luiz DeRose; Bronis R. de Supinski; Stephen L. Olivier This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held in Salvador, Brazil, in September 2014. The 16 technical full papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on tasking models and their optimization; understanding and verifying correctness of OpenMP programs; OpenMP memory extensions; extensions for tools and locks; experiences with OpenMP device constructs. This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held in Salvador, Brazil, in September 2014. The 16 techn...

	cena: 184,64 zł

ilość książek w kategorii: 263

Pierwsza

Podprzednia

Następna

Ostatnia

Facebook - konto krainaksiazek.pl

Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl

Zobacz:

1997-2024 DolnySlask.com Agencja Internetowa

Przechowalnia

Przechowalnia