Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
13 sonuç bulundu Arama sonuçlarına abone ol
0000000000000DEFAULT_TR
Yazdır
1. 
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots için kapak resmi
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
Yazar 
Hartanto, Ronny. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22580-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings için kapak resmi
Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings
Yazar 
Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87601-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers için kapak resmi
Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers
Yazar 
Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75666-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers için kapak resmi
Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
Yazar 
Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106616
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Modeling and use of context in action için kapak resmi
Modeling and use of context in action
Yazar 
Brézillon, Patrick, editor. Turner, Roy M., editor.
Yer Numarası 
Q180.55 .M4 M63 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163960
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings için kapak resmi
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Yazar 
Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62075-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Yazar 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Behavioural Models From Modelling Finite Automata to Analysing Business Processes için kapak resmi
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Yazar 
Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44960-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings için kapak resmi
Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
Yazar 
Link, Sebastian. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47717-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Transactions on Modularity and Composition I için kapak resmi
Transactions on Modularity and Composition I
Yazar 
Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46969-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers için kapak resmi
Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers
Yazar 
Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-0356-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: