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ążki na zamówienie

Książka na prezent

Wyszukiwanie zaawansowane

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

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

Kategorie główne

• Nauka

[3095879]

• Literatura piękna

[1808839]

Kategorie szczegółowe BISAC

	Modelling Foundations and Applications: 10th European Conference, Ecmfa 2014, Held as Part of Staf 2014, York, Uk, July 21-25, 2014. Proceedings Jordi Cabot; Julia Rubin This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions. They are on all aspects of MDE, including topics such as model provenance; model transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business modeling; and usability of models. This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014...

	cena: 193,68

	Rules on the Web: From Theory to Applications: 8th International Symposium, Ruleml 2014, Co-Located with the 21st European Conference on Artificial In Antonis Bikakis; Paul Fodor; Dumitru Roman This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014. The 17 full and 6 short papers presented together with 3 keynote talks were carefully reviewed and selected from 48 submissions. The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based systems, the relation between natural language and rules, automation of business rules... This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on...

	cena: 201,72

	Software Architecture: 8th European Conference, Ecsa 2014, Vienna, Austria, August 25-29, 2014, Proceedings Paris Avgeriou; Uwe Zdun This book constitutes the proceedings of the 8th European Conference on Software Architecture, ECSA 2014, held in Vienna, Austria, in August 2014. The 16 full papers and 18 short papers presented in this volume were carefully reviewed and selected from 91 submissions. They are organized in topical sections named: architecture decisions and knowledge; architecture patterns and anti-patterns; reference architectures and metamodels; architecture description languages; enterprise architecture, SOA and cloud computing; components and connectors; quality attributes; and architecture analysis and... This book constitutes the proceedings of the 8th European Conference on Software Architecture, ECSA 2014, held in Vienna, Austria, in August 2014. The...

	cena: 201,72

	Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings Dimitra Giannakopoulou; Gwen Salaun This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014. The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems. This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Gre...

	cena: 201,72

	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: 221,90

	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: 201,72

	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: 201,72

	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: 403,47

	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: 193,68

	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: 193,68

ilość książek w kategorii: 257

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-2026 DolnySlask.com Agencja Internetowa

Przechowalnia

Przechowalnia