Arama Sonuçları Electronic - Daraltılmış: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dElectronic$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-10-19T13:38:55Z
Electronic Engineering and Computing Technology
ent://SD_ILS/0/SD_ILS:205313
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Ao, Sio-Iong. editor. Gelman, Len. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-8776-8">http://dx.doi.org/10.1007/978-90-481-8776-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400326
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Véronique. editor. Goré, Rajeev. editor. Hapsara, Manik. editor. (orcid)0000-0002-8653-063X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00419-4">https://doi.org/10.1007/978-3-030-00419-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
ent://SD_ILS/0/SD_ILS:189109
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
ent://SD_ILS/0/SD_ILS:175378
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Roussos, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-321-3">http://dx.doi.org/10.1007/1-84628-321-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
ent://SD_ILS/0/SD_ILS:169385
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484045
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485164
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485304
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485265
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485680
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485968
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482859
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483905
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484889
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
ent://SD_ILS/0/SD_ILS:482889
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482746
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483547
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484184
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484225
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485980
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486836
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
ent://SD_ILS/0/SD_ILS:486716
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Russinoff, David M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-95513-1">https://doi.org/10.1007/978-3-319-95513-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486718
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:482916
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483418
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:483506
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483739
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483767
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486031
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486285
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Software Design with Java
ent://SD_ILS/0/SD_ILS:486330
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Robillard, Martin P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399297
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400087
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01722-4">https://doi.org/10.1007/978-3-030-01722-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400118
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Lirkov, Ivan. editor. Margenov, Svetozar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73441-5">https://doi.org/10.1007/978-3-319-73441-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401755
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399852
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simple statistical methods for software engineering : data and patterns
ent://SD_ILS/0/SD_ILS:380133
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439816622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification
ent://SD_ILS/0/SD_ILS:342171
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Larrieu, Nicolas, author. Varet, Antoine, author.<br/>Yer Numarası ONLINE(342171.1)<br/>Elektronik Erişim ebrary <a href="http://alltitles.ebrary.com/Doc?id=10954089">An electronic book accessible through the World Wide Web; click to view</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781119050643">http://dx.doi.org/10.1002/9781119050643</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485492
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485603
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485624
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485644
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485645
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485667
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485668
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485693
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485724
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485725
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485731
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487419
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487484
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487540
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:487545
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487763
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Beginner's Guide to Scala, Object Orientation and Functional Programming
ent://SD_ILS/0/SD_ILS:487859
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
ent://SD_ILS/0/SD_ILS:487938
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54118-6">https://doi.org/10.1007/978-3-642-54118-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488425
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489059
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489251
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489400
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489402
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:489416
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:483100
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487246
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Aspect-Oriented Software Development XI
ent://SD_ILS/0/SD_ILS:489082
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489434
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Shao, Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489622
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Yahav, Eran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486822
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488914
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cohen, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
ent://SD_ILS/0/SD_ILS:488919
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488926
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488936
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:488980
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489013
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:489017
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
ent://SD_ILS/0/SD_ILS:489035
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489041
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488965
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488976
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489081
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489089
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489137
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Jones, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484531
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Operational Semantics A Concise Overview
ent://SD_ILS/0/SD_ILS:484561
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Fernández, Maribel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485597
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
ent://SD_ILS/0/SD_ILS:335821
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335821.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4786-9">http://dx.doi.org/10.1007/978-94-007-4786-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334871
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334871.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334882
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334882.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335114
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335114.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41501-2">http://dx.doi.org/10.1007/978-3-642-41501-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
ent://SD_ILS/0/SD_ILS:333688
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer, network, software, and hardware engineering with applications
ent://SD_ILS/0/SD_ILS:249355
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Schneidewind, Norman.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEEXplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantic web and model-driven engineering
ent://SD_ILS/0/SD_ILS:249367
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Parreiras, Fernando Silva. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883">http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197255
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32677-6">http://dx.doi.org/10.1007/978-3-642-32677-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:196875
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30397-5">http://dx.doi.org/10.1007/978-3-642-30397-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197282
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32820-6">http://dx.doi.org/10.1007/978-3-642-32820-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
ent://SD_ILS/0/SD_ILS:168462
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-233-9">http://dx.doi.org/10.1007/978-0-85729-233-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:173468
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2736-9">http://dx.doi.org/10.1007/978-1-4471-2736-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192780
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hsu, Ching-Hsien. editor. Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14822-4">http://dx.doi.org/10.1007/978-3-642-14822-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logistics Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195584
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Böse, Jürgen W. editor. Hu, Hao. editor. Jahn, Carlos. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24264-9">http://dx.doi.org/10.1007/978-3-642-24264-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195627
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Altman, Erik. editor. Shi, Weisong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24403-2">http://dx.doi.org/10.1007/978-3-642-24403-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Driven SOA Anwendungsorientierte Methodik und Vorgehen in der Praxis
ent://SD_ILS/0/SD_ILS:192665
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Rempp, Gerhard. author. Akermann, Mark. author. Löffler, Martin. author. Lehmann, Jens. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14470-7">http://dx.doi.org/10.1007/978-3-642-14470-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:193229
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-16233-6">http://dx.doi.org/10.1007/978-3-642-16233-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194144
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195333
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23397-5">http://dx.doi.org/10.1007/978-3-642-23397-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:195334
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23400-2">http://dx.doi.org/10.1007/978-3-642-23400-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
ent://SD_ILS/0/SD_ILS:195190
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22947-3">http://dx.doi.org/10.1007/978-3-642-22947-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195262
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23178-0">http://dx.doi.org/10.1007/978-3-642-23178-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Making sense of agile project management balancing control and agility
ent://SD_ILS/0/SD_ILS:298936
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cobb, Charles G., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118085950">An electronic book accessible through the World Wide Web; click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=40741">http://www.books24x7.com/marc.asp?bookid=40741</a>
Wiley InterScience - Full Text Online <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118085950">http://onlinelibrary.wiley.com/book/10.1002/9781118085950</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470943366.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470943366.jpg</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10447802">http://site.ebrary.com/lib/alltitles/Doc?id=10447802</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Composing Software Components A Software-testing Perspective
ent://SD_ILS/0/SD_ILS:172786
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hamlet, Dick. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agent-Based Service-Oriented Computing
ent://SD_ILS/0/SD_ILS:176136
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Griffiths, Nathan. editor. Chao, Kuo-Ming. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-041-0">http://dx.doi.org/10.1007/978-1-84996-041-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
ent://SD_ILS/0/SD_ILS:192794
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14866-8">http://dx.doi.org/10.1007/978-3-642-14866-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193047
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Ding, Chen. editor. Shao, Zhiyuan. editor. Zheng, Ran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15672-4">http://dx.doi.org/10.1007/978-3-642-15672-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193016
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Specification and Verification of Multi-agent Systems
ent://SD_ILS/0/SD_ILS:172741
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Managing and leading software projects
ent://SD_ILS/0/SD_ILS:249314
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381789">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Systems and software engineering with applications
ent://SD_ILS/0/SD_ILS:249813
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Schneidewind, Norman.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539">http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189839
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00955-6">http://dx.doi.org/10.1007/978-3-642-00955-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190573
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03275-2">http://dx.doi.org/10.1007/978-3-642-03275-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190633
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantic Web Services Challenge Results from the First Year
ent://SD_ILS/0/SD_ILS:166951
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Petrie, Charles. editor. Margaria, Tiziana. editor. Lausen, Holger. editor. Zaremba, Michal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-72496-6">http://dx.doi.org/10.1007/978-0-387-72496-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190081
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Abdennadher, Nabil. editor. Petcu, Dana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01671-4">http://dx.doi.org/10.1007/978-3-642-01671-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190177
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190178
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190325
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190326
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190714
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03715-3">http://dx.doi.org/10.1007/978-3-642-03715-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190930
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Godo, Lluís. editor. Pugliese, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04388-8">http://dx.doi.org/10.1007/978-3-642-04388-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190949
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04441-0">http://dx.doi.org/10.1007/978-3-642-04441-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependability benchmarking for computer systems
ent://SD_ILS/0/SD_ILS:249772
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kanoun, Karama. Spainhower, Lisa.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical support for lean six sigma software process definition using IEEE software engineering standards
ent://SD_ILS/0/SD_ILS:249325
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
ent://SD_ILS/0/SD_ILS:175672
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Simon, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185805
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185806
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69387-1">http://dx.doi.org/10.1007/978-3-540-69387-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185995
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185998
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188702
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85451-7">http://dx.doi.org/10.1007/978-3-540-85451-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188141
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78474-6">http://dx.doi.org/10.1007/978-3-540-78474-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantic Service Provisioning
ent://SD_ILS/0/SD_ILS:188186
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kuropka, Dominik. editor. Staab, Steffen. editor. Tröger, Peter. editor. Weske, Mathias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78617-7">http://dx.doi.org/10.1007/978-3-540-78617-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Systems and e-Business Technologies 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188284
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kaschek, Roland. editor. Kop, Christian. editor. Steinberger, Claudia. editor. Fliedl, Günther. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78942-0">http://dx.doi.org/10.1007/978-3-540-78942-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:185807
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69389-5">http://dx.doi.org/10.1007/978-3-540-69389-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185905
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69839-5">http://dx.doi.org/10.1007/978-3-540-69839-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185908
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-69848-7">http://dx.doi.org/10.1007/978-3-540-69848-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Die Softwareindustrie Ökonomische Prinzipien, Strategien, Perspektiven
ent://SD_ILS/0/SD_ILS:186368
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71830-7">http://dx.doi.org/10.1007/978-3-540-71830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Data Management in Grid and Peer-to-Peer Systems First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188625
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Hameurlain, Abdelkader. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85176-9">http://dx.doi.org/10.1007/978-3-540-85176-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enabling Semantic Web Services The Web Service Modeling Ontology
ent://SD_ILS/0/SD_ILS:184092
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-34520-6">http://dx.doi.org/10.1007/978-3-540-34520-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Services Computing
ent://SD_ILS/0/SD_ILS:184671
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Zhang, Liang-Jie. author. Zhang, Jia. author. Cai, Hong. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-38284-3">http://dx.doi.org/10.1007/978-3-540-38284-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186508
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72337-0">http://dx.doi.org/10.1007/978-3-540-72337-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:186593
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72590-9">http://dx.doi.org/10.1007/978-3-540-72590-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186845
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187167
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74466-5">http://dx.doi.org/10.1007/978-3-540-74466-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187170
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74472-6">http://dx.doi.org/10.1007/978-3-540-74472-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:186590
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72584-8">http://dx.doi.org/10.1007/978-3-540-72584-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186591
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72586-2">http://dx.doi.org/10.1007/978-3-540-72586-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:186592
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72588-6">http://dx.doi.org/10.1007/978-3-540-72588-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187172
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74477-1">http://dx.doi.org/10.1007/978-3-540-74477-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
ent://SD_ILS/0/SD_ILS:187175
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74484-9">http://dx.doi.org/10.1007/978-3-540-74484-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business Process Management Concepts, Languages, Architectures
ent://SD_ILS/0/SD_ILS:186879
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Weske, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73522-9">http://dx.doi.org/10.1007/978-3-540-73522-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187697
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76837-1">http://dx.doi.org/10.1007/978-3-540-76837-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Java Methods for Financial Engineering Applications in Finance and Investment
ent://SD_ILS/0/SD_ILS:175539
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Barker, Philip. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-741-1">http://dx.doi.org/10.1007/978-1-84628-741-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software measurement and estimation a practical approach
ent://SD_ILS/0/SD_ILS:249472
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The cognitive dynamics of computer science cost-effective large scale software development
ent://SD_ILS/0/SD_ILS:249473
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional
ent://SD_ILS/0/SD_ILS:249830
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Naveda, J. Fernando. Seidman, Stephen B.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366">http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183927
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751540">http://dx.doi.org/10.1007/11751540</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183928
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751588">http://dx.doi.org/10.1007/11751588</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183929
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751595">http://dx.doi.org/10.1007/11751595</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183930
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751632">http://dx.doi.org/10.1007/11751632</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:183931
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11751649">http://dx.doi.org/10.1007/11751649</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:184034
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11758501">http://dx.doi.org/10.1007/11758501</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:184035
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11758525">http://dx.doi.org/10.1007/11758525</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:184036
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11758532">http://dx.doi.org/10.1007/11758532</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:184037
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11758549">http://dx.doi.org/10.1007/11758549</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184634
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11823285">http://dx.doi.org/10.1007/11823285</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185009
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11902140">http://dx.doi.org/10.1007/11902140</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software-Architekturen für das E-Business Enterprise-Application-Integration mit verteilten Systemen
ent://SD_ILS/0/SD_ILS:182592
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Herden, Sebastian. author. Marx Gómez, Jorge. author. Rautenstrauch, Claus. author. Zwanziger, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-31300-1">http://dx.doi.org/10.1007/3-540-31300-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Erfolgsfaktor Unternehmenssteuerung Kennzahlen, Instrumente, Praxistipps
ent://SD_ILS/0/SD_ILS:184179
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Walter, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-34841-7">http://dx.doi.org/10.1007/3-540-34841-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:184320
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:184321
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trustworthy systems through quantitative software engineering
ent://SD_ILS/0/SD_ILS:249437
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
E-Business @ Print Internet-Based Services and Processes
ent://SD_ILS/0/SD_ILS:181467
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar König, Anne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27529-0">http://dx.doi.org/10.1007/3-540-27529-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183173
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183169
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11573937">http://dx.doi.org/10.1007/11573937</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
JDF Process Integration, Technology, Product Description
ent://SD_ILS/0/SD_ILS:181466
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27528-2">http://dx.doi.org/10.1007/3-540-27528-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183175
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183179
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183108
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136266">http://dx.doi.org/10.1007/b136266</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183109
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136269">http://dx.doi.org/10.1007/b136269</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183110
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136271">http://dx.doi.org/10.1007/b136271</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183148
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11569596">http://dx.doi.org/10.1007/11569596</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183286
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136278">http://dx.doi.org/10.1007/b136278</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182834
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182998
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11549468">http://dx.doi.org/10.1007/11549468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agent Intelligence Through Data Mining
ent://SD_ILS/0/SD_ILS:165180
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b136000">http://dx.doi.org/10.1007/b136000</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Security Systems
ent://SD_ILS/0/SD_ILS:165266
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Saeed, Khalid. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137371">http://dx.doi.org/10.1007/b137371</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Programming Languages, Platforms and Applications
ent://SD_ILS/0/SD_ILS:165269
2024-10-19T13:38:55Z
2024-10-19T13:38:55Z
Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>