Arama Sonuçları spécification. - Daraltılmış: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dsp$0025C3$0025A9cification.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list
2025-01-02T16:03:47Z
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518497
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518497.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Aspect-Oriented Security Hardening of UML Design Models
ent://SD_ILS/0/SD_ILS:518722
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.<br/>Yer Numarası XX(518722.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16106-8">https://doi.org/10.1007/978-3-319-16106-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518763.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518787
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518787.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16354-3">https://doi.org/10.1007/978-3-319-16354-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518891
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518891.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19069-3">https://doi.org/10.1007/978-3-319-19069-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519007.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
ent://SD_ILS/0/SD_ILS:518340
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Yilmaz, Levent. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518340.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15096-3">https://doi.org/10.1007/978-3-319-15096-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice
ent://SD_ILS/0/SD_ILS:518399
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Śmiałek, Michał. author. Nowakowski, Wiktor. author. SpringerLink (Online service)<br/>Yer Numarası XX(518399.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12838-2">https://doi.org/10.1007/978-3-319-12838-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518583
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.<br/>Yer Numarası XX(518583.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21783-3">https://doi.org/10.1007/978-3-319-21783-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation
ent://SD_ILS/0/SD_ILS:518658
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Štuikys, Vytautas. author. SpringerLink (Online service)<br/>Yer Numarası XX(518658.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16913-2">https://doi.org/10.1007/978-3-319-16913-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518840.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518798
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518798.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17404-4">https://doi.org/10.1007/978-3-319-17404-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
ent://SD_ILS/0/SD_ILS:518977
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518977.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19458-5">https://doi.org/10.1007/978-3-319-19458-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:519297
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519297.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518525
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518525.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27218-4">https://doi.org/10.1007/978-3-319-27218-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
ent://SD_ILS/0/SD_ILS:518528
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518528.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-09994-7">https://doi.org/10.1007/978-3-658-09994-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise Information Systems 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518382
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Hammoudi, Slimane. editor. Maciaszek, Leszek. editor. Teniente, Ernest. editor. Camp, Olivier. editor. Cordeiro, José. editor.<br/>Yer Numarası XX(518382.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29133-8">https://doi.org/10.1007/978-3-319-29133-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519136
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519136.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46675-9">https://doi.org/10.1007/978-3-662-46675-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519139
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519139.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519019
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519019.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19584-1">https://doi.org/10.1007/978-3-319-19584-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519028
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519028.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519344
2025-01-02T16:03:47Z
2025-01-02T16:03:47Z
Yazar Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası XX(519344.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16501-1">https://doi.org/10.1007/978-3-319-16501-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>