Informatik – Bücher, CDs, LPs und mehr, Seite 8

The Practice of Formal Methods

Lecture Notes in Computer Science -Band 14780

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science -Band 15220

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*

Anja Maria Boxleitner
Plai

Visuelle Intelligenz in Design und Kunst: Ein Experimentierhandbuch mit Künstlicher Intelligenz. PLAI ist ein essenzieller Leitfaden für alle, die die zukunftsweisende Rolle der KI in der kreativen Branc…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 46,70*

Runtime Verification

Lecture Notes in Computer Science -Band 15191

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short pap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 60,23*

Euro-Par 2024: Parallel Processing

Lecture Notes in Computer Science -Band 14801

The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed Processing, Euro-Par 2024, which took place in Madrid, Spain, duri…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 65,71*

Decision and Game Theory for Security

Lecture Notes in Computer Science -Band 14908

This book constitutes the refereed proceedings of the 15th International Conference on Decision and Game Theory for Security, GameSec 2024, which took place in New York City, USA, in October 2024. The 15…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Erik Cambria
Understanding Natural Language Understanding

About half a century ago, AI pioneers like Marvin Minsky embarked on the ambitious project of emulating how the human mind encodes and decodes meaning. While today we have a better understanding of the br…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 90,66*

Artificial Neural Networks and Machine Learning ¿ ICANN 2024

Lecture Notes in Computer Science -Band 15023

The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 76,66*

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*

Cellular Automata

Lecture Notes in Computer Science -Band 14978

This book constitutes the refereed proceedings of the 16th International Conference on Cellular Automata for Research and Industry, Cellular Automata, ACRI 2024, held in Florence, Italy, in September 9 11…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

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*

Intelligence Science V

This book constitutes the refereed proceedings of the 6th IFIP TC 12 International Conference on Intelligence Science, ICIS 2024, held in Nanjing, China, in October 25-28, 2024. The 23 full papers and 2 …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 109,51*

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science -Band 15219

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 81,04*

Artificial Neural Networks and Machine Learning ¿ ICANN 2024

Lecture Notes in Computer Science -Band 15018

The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Security and Cryptography for Networks

Lecture Notes in Computer Science -Band 14973

The two-volume set LNCS 14973 and 14974 constitutes the proceedings of the 14th International Conference on Security and Cryptography for Networks, SCN 2024, which took place in Amalfai, Italy, during Sep…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artificial Neural Networks and Machine Learning ¿ ICANN 2024

Lecture Notes in Computer Science -Band 15020

The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Artificial Intelligence in Pancreatic Disease Detection and Diagnosis, and Personalized Incremental Learning in Medicine

Lecture Notes in Computer Science -Band 15197

This volume constitutes the refereed proceedings of the First International Workshop on Artificial Intelligence in Pancreatic Disease Detection and Diagnosis, AIPAD 2024 and the First International Worksh…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Computational Intelligence in Data Science

These two-volume set IFIP AICT 717 and 718 constitutes the refereed post-conference proceedings of the 7th International Conference on Computational Intelligence in Data Science, ICCIDS 2024, held in Chen…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 120,46*

Stephanie Torta
Adobe InDesign

No detailed description available for "Adobe InDesign".

lieferbar innerhalb 2-3 Wochen

Buch

EUR 53,78*

Olivier Hofmann
Was denkt die KI über die KI?

Das Buch "Was denkt die KI über die KI?" besteht aus Antworten der künstlichen Intelligenz (KI) auf menschliche Fragen über die KI. Das Werk ist in sechs Hauptteile gegliedert: 1. Grundlagen: Was bedeutet…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 12,00*

Informatik – Bücher, CDs, LPs und mehr, Seite 8

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