Wir konnten keine exakten Treffer zu Ihrer Suche nach "symphosius" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: Formal Methods, Buch

Formal Methods

Lecture Notes in Computer Science -Band 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
: Explorations in the History and Heritage of Machines and Mechanisms, Buch

Explorations in the History and Heritage of Machines and Mechanisms

History of Mechanism and Machine Science -Band 47

This book gathers the latest advances in the field of history of science and technology, as presented by leading international researchers at the 8th International Symposium on History of Machines and Mec…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
: New Achievements in Unmanned Systems, Buch

New Achievements in Unmanned Systems

Sustainable Aviation

Unmanned systems are one of the fastest-growing and widely developing technologies in the world, offering many possibilities for a variety of research fields. This book comprises the proceedings of the 20…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
: Mechanobiology, Buch

Mechanobiology

Springer Series in Biophysics -Band 25

The 4th International Symposium on Mechanobiology (ISMB) organized by the Australian Society for Mechanobiology (AuSMB) took place at the Sydney Nanoscience Hub at the University of Sydney, Australia, fro…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
National Academies of Sciences Engineering and Medicine: Global Pathways to Net-Zero, Buch

National Academies of Sciences Engineering and Medicine, Transportation Research Board, Consensus and Advisory Studies Division
Global Pathways to Net-Zero

The climate crisis poses a threat to life on the planet, with human health, ecosystem, and economic impacts globally. These impacts are projected to worsen in the future, as greenhouse gas emissions conti…

Erscheint bald
Buch
: Mechanobiology, Buch

Mechanobiology

Springer Series in Biophysics -Band 25

The 4th International Symposium on Mechanobiology (ISMB) organized by the Australian Society for Mechanobiology (AuSMB) took place at the Sydney Nanoscience Hub at the University of Sydney, Australia, fro…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
: Service-Oriented Computing, Buch

Service-Oriented Computing

Communications in Computer and Information Science -Band 2221

This book constitutes the refereed proceedings of the 18th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2024, held in Crete, Greece, during June 24 29, 2024. The 8 revised full pa…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 65,71*
: Combinatorial Optimization, Buch

Combinatorial Optimization

Lecture Notes in Computer Science -Band 14594

This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22 24, 2024. The 30 full papers …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: Foundations of Intelligent Systems, Buch

Foundations of Intelligent Systems

Lecture Notes in Artificial Intelligence -Band 14670

This book constitutes the proceedings of the 27th International Symposium on Methodologies for Intelligent Systems, ISMIS 2024, held in Poitiers, France, in June 2024. The 18 full papers, 6 short papers …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
: Research Developments in Sustainable Aviation, Buch

Research Developments in Sustainable Aviation

Sustainable aviation is a long-term strategy aimed at providing innovative solutions to the challenges facing the aviation industry. The International Symposium on Sustainable Aviation is a multi-discipli…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
: Human Aspects of Information Security and Assurance, Buch

Human Aspects of Information Security and Assurance

IFIP Advances in Information and Communication Technology -Band 674

This book constitutes the proceedings of the 17th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance, HAISA 2023, held in Kent, United Kingdom, in July 2023. The…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 120,46*
: String Processing and Information Retrieval, Buch

String Processing and Information Retrieval

Lecture Notes in Computer Science -Band 14899

This book constitutes the refereed proceedings of the 31st International Symposium on String Processing and Information Retrieval, SPIRE 2024, held in Puerto Vallarta, Mexico, during September 23 25, 2024…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 71,19*
: Advances in Artificial Intelligence in Manufacturing, Buch

Advances in Artificial Intelligence in Manufacturing

Lecture Notes in Mechanical Engineering

This book reports on recent developments of artificial intelligence applications in the manufacturing industry. Gathering contributions to the first European Symposium on Artificial Intelligence in Manufa…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 175,23*
: Management, Innovation and Entrepreneurship in Challenging Global Times, Buch

Management, Innovation and Entrepreneurship in Challenging Global Times

Lecture Notes in Management and Industrial Engineering

Management, Innovation and Entrepreneurship in Challenging Global Times begins to address the need for a response to unprecedented global situations that require large-scale cooperation as well as individ…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 219,03*
: Smart & Sustainable Infrastructure: Building a Greener Tomorrow, Buch,Buch

Smart & Sustainable Infrastructure: Building a Greener Tomorrow

RILEM Bookseries -Band 48

This book gathers peer-reviewed contributions presented at the 1st Interdisciplinary Symposium on Smart & Sustainable Infrastructure (ISSSI), held in Vancouver, BC, Canada, on September 4 8, 2023, and aff…

lieferbar innerhalb 2-3 Wochen
2 Bücher
EUR 328,56*
: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science -Band 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: Advances in Digital Human Modeling, Buch

Advances in Digital Human Modeling

Lecture Notes in Networks and Systems -Band 744

This book reports on advances in human modeling techniques, covering cutting-edge algorithms and their practical implementation in health and medicine, automotive, clothing, virtual reality simulations, r…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 306,65*
: Graph Drawing and Network Visualization, Buch

Graph Drawing and Network Visualization

Lecture Notes in Computer Science -Band 14466

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in Se…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,51*
: Computer Methods in Biomechanics and Biomedical Engineering II, Buch

Computer Methods in Biomechanics and Biomedical Engineering II

Lecture Notes in Computational Vision and Biomechanics -Band 39

This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 164,28*
: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science -Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.