Del 16375
Del 16088 i serien Lecture Notes in Computer Science
Superposition for Higher-Order Logic
Häftad, Engelska, 2027
2 109 kr
Kommande
Produktinformation
- Utgivningsdatum2027-06-07
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- FörlagSpringer Nature Switzerland AG
- ISBN9783032016690
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 179 kr
Del 11340
Distributed Computing by Mobile Entities
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro
Häftad, 2019
1 579 kr
- Nyhet
Attacks and Defenses for the Internet-of-Things
Weizhi Meng, Moti Yung, Georgios Kambourakis
Häftad, 2026
809 kr
- Nyhet
Del 16456
Del 12556
Persuasive Technology
Yvonne de Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B.J. Fogg
Häftad, 2007
679 kr
Serious Games Development and Applications
Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge
Häftad, 2013
679 kr
Hoppa över listan
Du kanske också är intresserad av
Rare and Infectious Diseases: AI-Supported Predict ion and Diagnosis
Sailesh Iyer, Farah Jameli
Inbunden, 2027
3 329 kr
Artificial Super Intelligence
Anitha T, Malathy Sathyamoorthy, Pavan Nutalapati, Rajesh Kumar Dhanaraj, S. Aanjan Kumar
Inbunden, 2027
3 009 kr
- Nyhet
Del 2
- Nyhet
- Nyhet
Del 1
- Nyhet
- Nyhet
- Nyhet
Del 7