Arama Sonuçları Model theory. - Daraltılmış: 2015

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Yer Numarası XX(519006.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21155-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical logic : A course with exercises

2024-12-27T10:34:41Z

Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası QA 9 C742513 2000 PT.1
Format: Kitap
Durum Beytepe Kütüphanesi~2

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

2024-12-27T10:34:41Z

Yazar Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Yer Numarası XX(518503.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19578-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Creativity Research: Towards Creative Machines

2024-12-27T10:34:41Z

Yazar Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)
Yer Numarası XX(518589.1)
Elektronik Erişim https://doi.org/10.2991/978-94-6239-085-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

2024-12-27T10:34:41Z

Yazar Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Yer Numarası XX(519034.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22053-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-12-27T10:34:41Z

Yazar Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Yer Numarası XX(519043.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22102-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Yer Numarası XX(519168.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21042-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

2024-12-27T10:34:41Z

Yazar Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası XX(519065.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28475-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası XX(519198.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24132-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2024-12-27T10:34:41Z

Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası XX(519299.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19369-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings

2024-12-27T10:34:41Z

Yazar Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)
Yer Numarası XX(518831.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21837-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings

2024-12-27T10:34:41Z

Yazar Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Yer Numarası XX(518684.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18467-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası XX(519137.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48561-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2024-12-27T10:34:41Z

Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası XX(519188.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15702-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers

2024-12-27T10:34:41Z

Yazar Leung, Victor C.M. editor. Lai, Roy Xiaorong. editor. Chen, Min. editor. Wan, Jiafu. editor. SpringerLink (Online service)
Yer Numarası XX(518343.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16050-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Audio, Image and Video Analysis Theory and Applications

2024-12-27T10:34:41Z

Yazar Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)
Yer Numarası XX(518369.1)
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6735-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Outlooks and Insights on Group Decision and Negotiation 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings

2024-12-27T10:34:41Z

Yazar Kamiński, Bogumił. editor. Kersten, Gregory E. editor. Szapiro, Tomasz. editor. SpringerLink (Online service)
Yer Numarası XX(518370.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19515-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph and Model Transformation General Framework and Applications

2024-12-27T10:34:41Z

Yazar Ehrig, Hartmut. author. Ermel, Claudia. author. Golas, Ulrike. author. Hermann, Frank. author. SpringerLink (Online service)
Yer Numarası XX(518444.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-47980-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Immersed in Media Telepresence Theory, Measurement & Technology

2024-12-27T10:34:41Z

Yazar Lombard, Matthew. editor. Biocca, Frank. editor. Freeman, Jonathan. editor. IJsselsteijn, Wijnand. editor. Schaevitz, Rachel J. editor.
Yer Numarası XX(518472.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-10190-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings

2024-12-27T10:34:41Z

Yazar Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Yer Numarası XX(518497.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17957-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Diffusion in Social Networks

2024-12-27T10:34:41Z

Yazar Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.
Yer Numarası XX(518499.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23105-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası XX(518840.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Yer Numarası XX(518763.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23485-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

2024-12-27T10:34:41Z

Yazar Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Yer Numarası XX(518913.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46803-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2024-12-27T10:34:41Z

Yazar Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası XX(519146.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46823-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings

2024-12-27T10:34:41Z

Yazar Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)
Yer Numarası XX(518983.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20603-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

2024-12-27T10:34:41Z

Yazar Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Yer Numarası XX(518985.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15934-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2024-12-27T10:34:41Z

Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası XX(519007.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21690-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Yer Numarası XX(519087.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23540-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-12-27T10:34:41Z

Yazar Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Yer Numarası XX(519118.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-45824-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1