Filter
(found 3733 products)
Book cover image
This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019. The 34 papers promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools for developing and communicating conceptual models, ...
Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings
This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019. The 34 papers promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools for developing and communicating conceptual models, techniques for transforming conceptual models into effective implementations, and the impact of conceptual modeling techniques on databases, business strategies and information systems. The following workshops are included in this volume: Workshop on Conceptual Modeling, Ontologies and Metadata Management for FAIR Data (FAIR), 6th Workshop on Conceptual Modeling in Requirements Engineering and Business Analysis (MREBA), 2nd International Workshop on Empirical Methods in Conceptual Modeling (EmpER), 8th International Workshop on Modeling and Management of Big Data (MoBiD19), and 7th International Workshop on Ontologies andConceptual Modelling (OntoCom).
https://magrudy-assets.storage.googleapis.com/9783030341459.jpg
62.990000 USD

Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI 2019, held in Madrid, Spain, in November 2019. The 37 full papers and one short paper were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on bioinformatics; data ...
Applied Informatics: Second International Conference, ICAI 2019, Madrid, Spain, November 7-9, 2019, Proceedings
This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI 2019, held in Madrid, Spain, in November 2019. The 37 full papers and one short paper were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on bioinformatics; data analysis; decision systems; health care information systems; IT Architectures; learning management systems; robotic autonomy; security services; socio-technical systems; software design engineering.
https://magrudy-assets.storage.googleapis.com/9783030324742.jpg
115.490000 USD

Applied Informatics: Second International Conference, ICAI 2019, Madrid, Spain, November 7-9, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions. The ...
Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings
This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions. The papers have been organized in the following topical sections: Service Engineering; Run-time Service Operations and Management; Services and Data; Services in the Cloud; Services on the Internet of Things; Services in Organizations, Business and Society; and Services at the Edge.
https://magrudy-assets.storage.googleapis.com/9783030337018.jpg
104.990000 USD

Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, Proceedings

Paperback / softback
Book cover image
This book contains a selection of papers from The 2019 International Conference on Software Process Improvement (CIMPS'19), held between the 23th and 25th of October in Leon, Guanajuato, Mexico. The CIMPS'19 is a global forum for researchers and practitioners that present and discuss the most recent innovations, trends, results, experiences ...
Trends and Applications in Software Engineering: Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019)
This book contains a selection of papers from The 2019 International Conference on Software Process Improvement (CIMPS'19), held between the 23th and 25th of October in Leon, Guanajuato, Mexico. The CIMPS'19 is a global forum for researchers and practitioners that present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Software Engineering with clear relationship but not limited to software processes, Security in Information and Communication Technology and Data Analysis Field. The main topics covered are: Organizational Models, Standards and Methodologies, Software Process Improvement, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies and Processes in non-software domains (Mining, automotive, aerospace, business, health care, manufacturing, etc.) with a demonstrated relationship to Software Engineering Challenges.
https://magrudy-assets.storage.googleapis.com/9783030335465.jpg
209.990000 USD

Trends and Applications in Software Engineering: Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019)

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, held in St. Kitts, St. Kitts and Nevis in February 2019.The 32 revised full papers and 7 short papers were carefully selected and reviewed from 179 submissions. The papers ...
Financial Cryptography and Data Security: 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, held in St. Kitts, St. Kitts and Nevis in February 2019.The 32 revised full papers and 7 short papers were carefully selected and reviewed from 179 submissions. The papers are grouped in the following topical sections: Cryptocurrency Cryptanalysis, Measurement, Payment Protocol Security, Multiparty Protocols, Off-Chain Mechanisms, Fraud Detection, Game Theory, IoT Security and much more.
https://magrudy-assets.storage.googleapis.com/9783030321000.jpg
94.490000 USD

Financial Cryptography and Data Security: 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019. The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers cover broad research ...
Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019. The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems.
https://magrudy-assets.storage.googleapis.com/9783030320645.jpg
83.990000 USD

Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes revised selected papers from the Australasian Symposium on Service Research and Innovation, ASSRI 2018. The conference was held in two parts on September 6, 2018, in Sydney, Australia, and on December 14, 2018, in Wollongong, Australia. The 9 full and 2 short papers included in this volume ...
Service Research and Innovation: 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers
This book constitutes revised selected papers from the Australasian Symposium on Service Research and Innovation, ASSRI 2018. The conference was held in two parts on September 6, 2018, in Sydney, Australia, and on December 14, 2018, in Wollongong, Australia. The 9 full and 2 short papers included in this volume were carefully reviewed and selected from a total of 26 submissions, covering a variety of topics related to service-oriented computing and service science. The book also includes 3 keynote papers.
https://magrudy-assets.storage.googleapis.com/9783030322410.jpg
62.990000 USD

Service Research and Innovation: 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 59 submissions. They cover topics such ...
String Processing and Information Retrieval: 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, Proceedings
This volume constitutes the refereed proceedings of the 26th International Symposium on String Processing and Information Retrieval, SPIRE 2019, held in Segovia, Spain, in October 2019. The 28 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 59 submissions. They cover topics such as: data compression; information retrieval; string algorithms; algorithms; computational biology; indexing and compression; and compressed data structures.
https://magrudy-assets.storage.googleapis.com/9783030326852.jpg
104.990000 USD

String Processing and Information Retrieval: 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 18th International Conference on Cryptology and Network Security, CANS 2019, held in Fuzhou, China, in October 2019. The 21 full papers and 8 short papers were carefully reviewed and selected from 55 submissions. The papers focus on topics such as homomorphic encryption; ...
Cryptology and Network Security: 18th International Conference, CANS 2019, Fuzhou, China, October 25-27, 2019, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Cryptology and Network Security, CANS 2019, held in Fuzhou, China, in October 2019. The 21 full papers and 8 short papers were carefully reviewed and selected from 55 submissions. The papers focus on topics such as homomorphic encryption; SIKE and Hash; lattice and post-quantum cryptography; searchable encryption; blockchains, cloud security; secret sharing and interval test, LWE; encryption, data aggregation, and revocation; and signature, ML, payment, and factorization.
https://magrudy-assets.storage.googleapis.com/9783030315771.jpg
94.490000 USD

Cryptology and Network Security: 18th International Conference, CANS 2019, Fuzhou, China, October 25-27, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of ...
Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
https://magrudy-assets.storage.googleapis.com/9783030315160.jpg
98.700000 USD

Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Paperback / softback
Book cover image
This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019. The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the ...
Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings
This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019. The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence; bioengineering; Internet of things; power applications; simulation systems; optimization.
https://magrudy-assets.storage.googleapis.com/9783030310189.jpg
136.490000 USD

Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings

Paperback / softback
Book cover image
This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect ...
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.
https://magrudy-assets.storage.googleapis.com/9783030309848.jpg
104.990000 USD

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Paperback / softback
Book cover image
This book constitutes the proceedings of the 10th International Conference on Computational Logistics, ICCL 2019, held in Barranquilla, Colombia, in September/October 2019. The 27 papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections named: freight transportation and urban logistics; maritime ...
Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 - October 2, 2019, Proceedings
This book constitutes the proceedings of the 10th International Conference on Computational Logistics, ICCL 2019, held in Barranquilla, Colombia, in September/October 2019. The 27 papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections named: freight transportation and urban logistics; maritime and port logistics; vehicle routing problems; network design and distribution problems; and selected topics in decision support systems and ICT tools.
https://magrudy-assets.storage.googleapis.com/9783030311391.jpg
94.490000 USD

Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 - October 2, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 25th International Conference on Information and Software Technologies, ICIST 2019, held in Vilnius, Lithuania, in October 2019.The 46 papers presented were carefully reviewed and selected from 121 submissions. The papers are organized in topical sections on information systems; business intelligence for information ...
Information and Software Technologies: 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings
This book constitutes the refereed proceedings of the 25th International Conference on Information and Software Technologies, ICIST 2019, held in Vilnius, Lithuania, in October 2019.The 46 papers presented were carefully reviewed and selected from 121 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; information technology applications; software engineering.
https://magrudy-assets.storage.googleapis.com/9783030302740.jpg
115.490000 USD

Information and Software Technologies: 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings

Paperback / softback
Book cover image
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in ...
Transactions on Computational Science XXXIV
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 34th issue of the Transactions on Computational Science, contains seven in-depth papers focusing on research on data analytics using machine learning and pattern recognition, with applications in wireless networks, databases, and remotely sensed data.
https://magrudy-assets.storage.googleapis.com/9783662599570.jpg
78.740000 USD

Transactions on Computational Science XXXIV

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019, held in Bled, Slovenia, in September 2019. The 19 short research papers and the 5 doctoral consortium papers were carefully reviewed and selected ...
New Trends in Databases and Information Systems: ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings
This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019, held in Bled, Slovenia, in September 2019. The 19 short research papers and the 5 doctoral consortium papers were carefully reviewed and selected from 103 submissions, and the 31 workshop papers were selected out of 67 submitted papers. The papers are organized in the following sections: Short Papers; Workshops Papers; Doctoral Consortium Papers; and cover a wide spectrum of topics related to database and information systems technologies for advanced applications.
https://magrudy-assets.storage.googleapis.com/9783030302771.jpg
115.490000 USD

New Trends in Databases and Information Systems: ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings

Paperback / softback
Book cover image
This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum ...
Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montreal, QC, Canada, May 21-25, 2019, Proceedings
This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. Research papers and talks submissions were invited for the three XP 2019 research workshops, namely, agile transformation, autonomous teams, and large scale agile. This book includes 15 related papers. In addition, a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility - agile's next frontier; and Agile - the next 20 years.
https://magrudy-assets.storage.googleapis.com/9783030301255.jpg
62.990000 USD

Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montreal, QC, Canada, May 21-25, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, held in Nieuwport, Curacao, in February/ March 2018.The 27 revised full papers and 2 short papers were carefully selected and reviewed from 110 submissions. The papers are grouped in ...
Financial Cryptography and Data Security: 22nd International Conference, FC 2018, Nieuwpoort, Curacao, February 26 - March 2, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, held in Nieuwport, Curacao, in February/ March 2018.The 27 revised full papers and 2 short papers were carefully selected and reviewed from 110 submissions. The papers are grouped in the following topical sections: Financial Cryptography and Data Security, Applied Cryptography, Mobile Systems Security and Privacy, Risk Assessment and Management, Social Networks Security and Privacy and much more.
https://magrudy-assets.storage.googleapis.com/9783662583869.jpg
104.990000 USD

Financial Cryptography and Data Security: 22nd International Conference, FC 2018, Nieuwpoort, Curacao, February 26 - March 2, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections ...
Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings
This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in Development Process, Adaptation and Design Space Exploration, and Quality Attributes. In the Industrial Track, 6 submissions were received and 3 were accepted to form part of these proceedings.
https://magrudy-assets.storage.googleapis.com/9783030299828.jpg
73.490000 USD

Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing ...
Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: technical track; application track; multi-agent and parallel CP track; testing and verification track; CP and data science track; computational sustainability; and CP and life sciences track.
https://magrudy-assets.storage.googleapis.com/9783030300470.jpg
125.990000 USD

Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all ...
Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.
https://magrudy-assets.storage.googleapis.com/9783030298517.jpg
94.490000 USD

Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings

Paperback / softback
Book cover image
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were ...
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows: Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts. Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security.
https://magrudy-assets.storage.googleapis.com/9783030299583.jpg
125.990000 USD

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I

Paperback / softback
Book cover image
This book constitutes the proceedings of the 22nd International Conference on Information Security, ISC 2019, held in New York City, NY, USA, in September 2019. The 23 full papers presented in this volume were carefully reviewed and selected from 86 submissions. The papers were organized in topical sections named: Attacks ...
Information Security: 22nd International Conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Information Security, ISC 2019, held in New York City, NY, USA, in September 2019. The 23 full papers presented in this volume were carefully reviewed and selected from 86 submissions. The papers were organized in topical sections named: Attacks and Cryptanalysis; Crypto I: Secure Computation and Storage; Machine Learning and Security; Crypto II: Zero-Knowledge Proofs; Defenses; Web Security; Side Channels; Malware Analysis; Crypto III: Signatures and Authentication.
https://magrudy-assets.storage.googleapis.com/9783030302146.jpg
94.490000 USD

Information Security: 22nd International Conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, Proceedings

Paperback / softback
Book cover image
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were ...
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows:Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts.Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security.
https://magrudy-assets.storage.googleapis.com/9783030299613.jpg
104.990000 USD

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II

Paperback / softback
Book cover image
This book constitutes the proceedings of the 16th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2019, held in Cuvu, Fiji, in August 2019.The 9 full papers and 7 short papers included in this volume were carefully reviewed and selected from 38 initial submissions. The papers cover ...
Knowledge Management and Acquisition for Intelligent Systems: 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26-27, 2019, Proceedings
This book constitutes the proceedings of the 16th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2019, held in Cuvu, Fiji, in August 2019.The 9 full papers and 7 short papers included in this volume were carefully reviewed and selected from 38 initial submissions. The papers cover advanced research work that contributes to the technical and theoretical aspects in the fields of intelligent systems/agents, natural language processing, and applications of machine learning techniques including Deep Learning to real world problems.
https://magrudy-assets.storage.googleapis.com/9783030306380.jpg
62.990000 USD

Knowledge Management and Acquisition for Intelligent Systems: 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26-27, 2019, Proceedings

Paperback / softback
Book cover image
This volume constitutes the refereed proceedings of the 26th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Edinburgh, Scotland, in September 2019. The 18 revised full papers presented were carefully reviewed and selected from 28 submissions. They are organized in topical sections: Visionary Papers, SPI ...
Systems, Software and Services Process Improvement: 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019, Proceedings
This volume constitutes the refereed proceedings of the 26th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Edinburgh, Scotland, in September 2019. The 18 revised full papers presented were carefully reviewed and selected from 28 submissions. They are organized in topical sections: Visionary Papers, SPI and Safety and Security, SPI and Assessments, SPI and Future Qualification & Team Performance, and SPI Manifesto and Culture. The selected workshop papers are also presented and organized in following topical sections: GamifySPI, Digitalisation of Industry, Infrastructure and E-Mobility. -Best Practices in Implementing Traceability. -Good and Bad Practices in Improvement. -Functional Safety and Cybersecurity. -Experiences with Agile and Lean. -Standards and Assessment Models. -Team Skills and Diversity Strategies. -Recent Innovations.
https://magrudy-assets.storage.googleapis.com/9783030280048.jpg
136.490000 USD

Systems, Software and Services Process Improvement: 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in ...
Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
https://magrudy-assets.storage.googleapis.com/9783030294359.jpg
104.990000 USD

Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and ...
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.
https://magrudy-assets.storage.googleapis.com/9783030290252.jpg
94.490000 USD

Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Paperback / softback
Book cover image
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected ...
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.
https://magrudy-assets.storage.googleapis.com/9783030290061.jpg
83.990000 USD

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Paperback / softback
Book cover image
This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ ...
Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers
This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.
https://magrudy-assets.storage.googleapis.com/9783030283452.jpg
83.990000 USD

Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers

Paperback / softback
Page 1 of 40