Search Results for Model theory. - Narrowed by: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModel$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300$0026isd$003dtrue?
2025-12-11T01:16:14Z
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
ent://SD_ILS/0/SD_ILS:519006
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21155-8">https://doi.org/10.1007/978-3-319-21155-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Graph and Model Transformation General Framework and Applications
ent://SD_ILS/0/SD_ILS:518444
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Ehrig, Hartmut. author. Ermel, Claudia. author. Golas, Ulrike. author. Hermann, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47980-3">https://doi.org/10.1007/978-3-662-47980-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Diffusion in Social Networks
ent://SD_ILS/0/SD_ILS:518499
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23105-1">https://doi.org/10.1007/978-3-319-23105-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518503
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19578-0">https://doi.org/10.1007/978-3-319-19578-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518840
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22969-0">https://doi.org/10.1007/978-3-319-22969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518831
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21837-3">https://doi.org/10.1007/978-3-319-21837-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2
ent://SD_ILS/0/SD_ILS:529390
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Suresh, L Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2135-7">https://doi.org/10.1007/978-81-322-2135-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transmitting and Gaining Data Rudolf Ahlswede's Lectures on Information Theory 2
ent://SD_ILS/0/SD_ILS:529686
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12523-7">https://doi.org/10.1007/978-3-319-12523-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Control of Distributed Systems
ent://SD_ILS/0/SD_ILS:529702
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author van Schuppen, Jan H. editor. Villa, Tiziano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10407-2">https://doi.org/10.1007/978-3-319-10407-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Computing and Cognition '14
ent://SD_ILS/0/SD_ILS:529710
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Gero, John S. editor. Hanna, Sean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14956-1">https://doi.org/10.1007/978-3-319-14956-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Filtering and Control for Classes of Two-Dimensional Systems
ent://SD_ILS/0/SD_ILS:530117
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Wu, Ligang. author. Wang, Zidong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13698-1">https://doi.org/10.1007/978-3-319-13698-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Control Theory I Nonlinear and Hybrid Control Systems
ent://SD_ILS/0/SD_ILS:530220
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Camlibel, M. Kanat. editor. Julius, A. Agung. editor. Pasumarthy, Ramkrishna. editor. Scherpen, Jacquelien M.A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20988-3">https://doi.org/10.1007/978-3-319-20988-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principia Designae － Pre-Design, Design, and Post-Design Social Motive for the Highly Advanced Technological Society
ent://SD_ILS/0/SD_ILS:530222
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Taura, Toshiharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-54403-6">https://doi.org/10.1007/978-4-431-54403-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
ent://SD_ILS/0/SD_ILS:530244
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Wong, W. Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11104-9">https://doi.org/10.1007/978-3-319-11104-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis of Deterministic Cyclic Gene Regulatory Network Models with Delays
ent://SD_ILS/0/SD_ILS:530261
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Ahsen, Mehmet Eren. author. Özbay, Hitay. author. Niculescu, Silviu-Iulian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15606-4">https://doi.org/10.1007/978-3-319-15606-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONTROLO'2014 - Proceedings of the 11th Portuguese Conference on Automatic Control
ent://SD_ILS/0/SD_ILS:530616
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Moreira, António Paulo. editor. Matos, Aníbal. editor. Veiga, Germano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10380-8">https://doi.org/10.1007/978-3-319-10380-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518343
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Leung, Victor C.M. editor. Lai, Roy Xiaorong. editor. Chen, Min. editor. Wan, Jiafu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16050-4">https://doi.org/10.1007/978-3-319-16050-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Audio, Image and Video Analysis Theory and Applications
ent://SD_ILS/0/SD_ILS:518369
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6735-8">https://doi.org/10.1007/978-1-4471-6735-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Outlooks and Insights on Group Decision and Negotiation 15th International Conference, GDN 2015, Warsaw, Poland, June 22-26, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518370
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Kamiński, Bogumił. editor. Kersten, Gregory E. editor. Szapiro, Tomasz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19515-5">https://doi.org/10.1007/978-3-319-19515-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Immersed in Media Telepresence Theory, Measurement & Technology
ent://SD_ILS/0/SD_ILS:518472
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Lombard, Matthew. editor. Biocca, Frank. editor. Freeman, Jonathan. editor. IJsselsteijn, Wijnand. editor. Schaevitz, Rachel J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10190-3">https://doi.org/10.1007/978-3-319-10190-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518497
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17957-5">https://doi.org/10.1007/978-3-319-17957-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Creativity Research: Towards Creative Machines
ent://SD_ILS/0/SD_ILS:518589
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.2991/978-94-6239-085-0">https://doi.org/10.2991/978-94-6239-085-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518684
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18467-8">https://doi.org/10.1007/978-3-319-18467-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518763
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23485-4">https://doi.org/10.1007/978-3-319-23485-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:518913
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46803-6">https://doi.org/10.1007/978-3-662-46803-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519043
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22102-1">https://doi.org/10.1007/978-3-319-22102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519087
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23540-0">https://doi.org/10.1007/978-3-319-23540-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519299
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19369-4">https://doi.org/10.1007/978-3-319-19369-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529201
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Opera House Acoustics Based on Subjective Preference Theory
ent://SD_ILS/0/SD_ILS:529907
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Ando, Yoichi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-55423-3">https://doi.org/10.1007/978-4-431-55423-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physics of Semiconductor Devices
ent://SD_ILS/0/SD_ILS:530316
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Rudan, Massimo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-1151-6">https://doi.org/10.1007/978-1-4939-1151-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Techniques, Rotating Machinery, and Acoustics, Volume 8 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
ent://SD_ILS/0/SD_ILS:530464
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author De Clerck, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15236-3">https://doi.org/10.1007/978-3-319-15236-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Computational Neuroscience
ent://SD_ILS/0/SD_ILS:530284
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-6675-8">https://doi.org/10.1007/978-1-4614-6675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Control Theory II Behavioral Systems and Robust Control
ent://SD_ILS/0/SD_ILS:530588
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Belur, Madhu N. editor. Camlibel, M. Kanat. editor. Rapisarda, Paolo. editor. Scherpen, Jacquelien M.A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21003-2">https://doi.org/10.1007/978-3-319-21003-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biotechnology, agriculture, environment and energy
ent://SD_ILS/0/SD_ILS:542361
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Zheng, Fangli, editor. International Conference on Biotechnology, Agriculture, Environment and Energy (2014 :Beijing, China)<br/>Preferred Shelf Number TP248.2 .B56 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315752280">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Geomechanics from micro to macro : proceedings of the TC105 ISSMGE International Symposium on Geomechanics from Micro to Macro, Cambridge, UK, 1-3 September 2014
ent://SD_ILS/0/SD_ILS:547834
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author TC105 ISSMGE International Symposium on Geomechanics from Micro to Macro (2014 : Cambridge, UK). Author. Biscontin, Giovanna, editor. Kumar, Krishna Dev, editor. Kuo, Matthew, editor. Soga, Kenichi, editor.<br/>Preferred Shelf Number TA703.5 .T3 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315737324">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Mathematical Progress in Expressive Image Synthesis II Extended and Selected Results from the Symposium MEIS2014
ent://SD_ILS/0/SD_ILS:529208
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Ochiai, Hiroyuki. editor. Anjyo, Ken. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-55483-7">https://doi.org/10.1007/978-4-431-55483-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Immunology and Psychiatry From Basic Research to Therapeutic Interventions
ent://SD_ILS/0/SD_ILS:529286
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Müller, Norbert. editor. Myint, Aye-Mu. editor. Schwarz, Markus J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13602-8">https://doi.org/10.1007/978-3-319-13602-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Partial Stabilization and Control of Distributed Parameter Systems with Elastic Elements
ent://SD_ILS/0/SD_ILS:529288
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Zuyev, Alexander L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11532-0">https://doi.org/10.1007/978-3-319-11532-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Optimization and Game Strategies for Advanced Multi-Disciplinary Design Applications to Aeronautics and UAV Design
ent://SD_ILS/0/SD_ILS:529353
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Periaux, Jacques. author. Gonzalez, Felipe. author. Lee, Dong Seop Chris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9520-3">https://doi.org/10.1007/978-94-017-9520-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014
ent://SD_ILS/0/SD_ILS:529740
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Natarajan, R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-1931-6">https://doi.org/10.1007/978-81-322-1931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the Second International Conference on Mechatronics and Automatic Control
ent://SD_ILS/0/SD_ILS:529829
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Wang, Wego. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13707-0">https://doi.org/10.1007/978-3-319-13707-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cognitive Neurodynamics (IV) Proceedings of the Fourth International Conference on Cognitive Neurodynamics - 2013
ent://SD_ILS/0/SD_ILS:529847
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Liljenström, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9548-7">https://doi.org/10.1007/978-94-017-9548-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518983
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20603-5">https://doi.org/10.1007/978-3-319-20603-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:518985
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15934-8">https://doi.org/10.1007/978-3-319-15934-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519007
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519065
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28475-0">https://doi.org/10.1007/978-3-319-28475-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:519034
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22053-6">https://doi.org/10.1007/978-3-319-22053-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519118
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45824-2">https://doi.org/10.1007/978-3-662-45824-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:519146
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519168
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21042-1">https://doi.org/10.1007/978-3-319-21042-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519188
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15702-3">https://doi.org/10.1007/978-3-319-15702-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519198
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24132-6">https://doi.org/10.1007/978-3-319-24132-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic techniques for the polymer sciences
ent://SD_ILS/0/SD_ILS:546738
2025-12-11T01:16:14Z
2025-12-11T01:16:14Z
Author Tice, Bradley S., editor.<br/>Preferred Shelf Number TP1087 .A44 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466577930">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>