|
|

avaa valikko

formallo | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 18 tuotetta
Haluatko tarkentaa hakukriteerejä?



Manna, Marco; Pieris, Andreas
Springer
2020
Pehmeäkantinen kirja
Reasoning Web. Declarative Artificial Intelligence : 16th International Summer School 2020, Oslo, Norway, June 24–26,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Muller, Thomas
Klostermann Vittorio GmbH
2007
Pehmeäkantinen kirja
Philosophie der Zeit
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
45,20 €
Petersen, Christer
transcript Verlag
2025
Pehmeäkantinen kirja
Terror und Propaganda
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
31,40 €
Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Springer
2018
Pehmeäkantinen kirja
Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Gabbrielli, Maurizio
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 201
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Janicki, Ryszard; Sidorova, Natalia; Chatain, Thomas
Springer
2020
Pehmeäkantinen kirja
Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lahiri, Shuvendu K.; Wang, Chao
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Pietarinen, Ahti-Veikko; Chapman, Peter; Bosveld-de Smet, Leonie; Giardino, Valeria; Corter, James; Linker, Sven
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Gutiérrez-Basulto, Víctor; Kliegr, Tomáš; Soylu, Ahmet; Giese, Martin; Roman, Dumitru
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Simonis, Helmut
Springer
2020
Pehmeäkantinen kirja
Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Pro
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Deng, Dun; Liu, Fenrong; Liu, Mingming; Westerståhl, Dag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2020
Pehmeäkantinen kirja
Monotonicity in Logic and Language - Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beiji
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
71,10 €
Peters, James F.; Skowron, Andrzej
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2020
Pehmeäkantinen kirja
Transactions on Rough Sets XXII
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lin, Shang-Wei; Hou, Zhe; Mahony, Brendan
Springer
2020
Pehmeäkantinen kirja
Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bassiliades, Nick; Chalkiadakis, Georgios; de Jonge, Dave
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Følstad, Asbjørn; Araujo, Theo; Papadopoulos, Symeon; Law, Effie L.-C.; Luger, Ewa; Goodwin, Morten; Brandtzaeg, Petter Bae
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Chatbot Research and Design - 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selec
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Cochez, Michael; Croitoru, Madalina; Marquis, Pierre; Rudolph, Sebastian
Springer
2021
Pehmeäkantinen kirja
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €

Näytä lisää...