Arama Sonuçları Series. - Daraltılmış: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSeries.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?
2026-05-15T07:39:59Z
Applied Time Series Analysis and Innovative Computing
ent://SD_ILS/0/SD_ILS:205310
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Ao, Sio-Iong. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-8768-3">http://dx.doi.org/10.1007/978-90-481-8768-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
GNSS for Rail Transportation Challenges and Opportunities
ent://SD_ILS/0/SD_ILS:400745
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Lo Presti, Letizia. editor. Sabina, Salvatore. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-79084-8">https://doi.org/10.1007/978-3-319-79084-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cloud Broker and Cloudlet for Workflow Scheduling
ent://SD_ILS/0/SD_ILS:617265
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-5071-8">https://doi.org/10.1007/978-981-10-5071-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software engineering : principles and practice
ent://SD_ILS/0/SD_ILS:365523
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Jawadekar, W. S. (Waman S.)<br/>Yer Numarası QA76.758 J39 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Architectural Coordination of Enterprise Transformation
ent://SD_ILS/0/SD_ILS:611660
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Winter, Robert. editor. (orcid)0000-0001-9383-2276 Aier, Stephan. editor. de Kinderen, Sybren. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69584-6">https://doi.org/10.1007/978-3-319-69584-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise Architecture at Work Modelling, Communication and Analysis
ent://SD_ILS/0/SD_ILS:614629
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Handbook of Formal Methods in Human-Computer Interaction
ent://SD_ILS/0/SD_ILS:618485
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51838-1">https://doi.org/10.1007/978-3-319-51838-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human Centered Software Product Lines
ent://SD_ILS/0/SD_ILS:618153
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Sottet, Jean-Sébastien. editor. García Frey, Alfonso. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60947-8">https://doi.org/10.1007/978-3-319-60947-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tangible Interactive Systems Grasping the Real World with Computers
ent://SD_ILS/0/SD_ILS:618466
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Boy, Guy André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30270-6">https://doi.org/10.1007/978-3-319-30270-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrating User-Centred Design in Agile Development
ent://SD_ILS/0/SD_ILS:618467
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-32165-3">https://doi.org/10.1007/978-3-319-32165-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise Information Systems Engineering The MERODE Approach
ent://SD_ILS/0/SD_ILS:487701
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Snoeck, Monique. author. (orcid)0000-0002-3824-3214 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10145-3">https://doi.org/10.1007/978-3-319-10145-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Signal processing with free software practical experiments
ent://SD_ILS/0/SD_ILS:341600
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Auger, François.<br/>Yer Numarası ONLINE(341600.1)<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657">http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657</a>
John Wiley <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118579619">http://onlinelibrary.wiley.com/book/10.1002/9781118579619</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118579619">http://dx.doi.org/10.1002/9781118579619</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise Architecture at Work Modelling, Communication and Analysis
ent://SD_ILS/0/SD_ILS:333251
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333251.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29651-2">http://dx.doi.org/10.1007/978-3-642-29651-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Creativity and Rationale Enhancing Human Experience by Design
ent://SD_ILS/0/SD_ILS:330908
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Carroll, John M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330908.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4111-2">http://dx.doi.org/10.1007/978-1-4471-4111-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantic Models for Adaptive Interactive Systems
ent://SD_ILS/0/SD_ILS:331188
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.<br/>Yer Numarası ONLINE(331188.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5301-6">http://dx.doi.org/10.1007/978-1-4471-5301-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Agile Service Development Combining Adaptive Methods and Flexible Solutions
ent://SD_ILS/0/SD_ILS:196377
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Lankhorst, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28188-4">http://dx.doi.org/10.1007/978-3-642-28188-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Doing Design Ethnography
ent://SD_ILS/0/SD_ILS:173465
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2726-0">http://dx.doi.org/10.1007/978-1-4471-2726-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Real-Time Systems Design Principles for Distributed Embedded Applications
ent://SD_ILS/0/SD_ILS:173097
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kopetz, Hermann. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-8237-7">http://dx.doi.org/10.1007/978-1-4419-8237-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications
ent://SD_ILS/0/SD_ILS:173752
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Buttazzo, Giorgio C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-0676-1">http://dx.doi.org/10.1007/978-1-4614-0676-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Migratory Interactive Applications for Ubiquitous Environments
ent://SD_ILS/0/SD_ILS:168467
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Paternò, Fabio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-250-6">http://dx.doi.org/10.1007/978-0-85729-250-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Architecture Principles The Cornerstones of Enterprise Architecture
ent://SD_ILS/0/SD_ILS:194316
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Greefhorst, Danny. author. Proper, Erik. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20279-7">http://dx.doi.org/10.1007/978-3-642-20279-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Engineering of Mixed Reality Systems
ent://SD_ILS/0/SD_ILS:176053
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-733-2">http://dx.doi.org/10.1007/978-1-84882-733-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tabletops - Horizontal Interactive Displays
ent://SD_ILS/0/SD_ILS:176160
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Müller-Tomfelde, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-113-4">http://dx.doi.org/10.1007/978-1-84996-113-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise Architecture Creating Value by Informed Governance
ent://SD_ILS/0/SD_ILS:188646
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Op ’t Land, Martin. author. Proper, Erik. author. Waage, Maarten. author. Cloo, Jeroen. author. Steghuis, Claudia. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85232-2">http://dx.doi.org/10.1007/978-3-540-85232-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise Architecture at Work Modelling, Communication and Analysis
ent://SD_ILS/0/SD_ILS:189950
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01310-2">http://dx.doi.org/10.1007/978-3-642-01310-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Maturing Usability Quality in Software, Interaction and Value
ent://SD_ILS/0/SD_ILS:175638
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-941-5">http://dx.doi.org/10.1007/978-1-84628-941-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software engineering
ent://SD_ILS/0/SD_ILS:110885
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Sommerville, Ian, 1951-<br/>Yer Numarası QA76.6 S66 2007<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
End User Development
ent://SD_ILS/0/SD_ILS:169458
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Lieberman, Henry. editor. Paternò, Fabio. editor. Wulf, Volker. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5386-X">http://dx.doi.org/10.1007/1-4020-5386-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
ent://SD_ILS/0/SD_ILS:169085
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-4113-6">http://dx.doi.org/10.1007/1-4020-4113-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Soft Real-Time Systems Predictability vs. Efficiency
ent://SD_ILS/0/SD_ILS:165478
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Python packages
ent://SD_ILS/0/SD_ILS:558680
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Beuzen, Tomas, author. Timbers, Tiffany-Anne, author.<br/>Yer Numarası QA76.73 .P98<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003189251">https://www.taylorfrancis.com/books/9781003189251</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
OSS Reliability Measurement and Assessment
ent://SD_ILS/0/SD_ILS:612396
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Yamada, Shigeru. author. Tamura, Yoshinobu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-31818-9">https://doi.org/10.1007/978-3-319-31818-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Real-World Decision Support Systems Case Studies
ent://SD_ILS/0/SD_ILS:614627
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Papathanasiou, Jason. editor. Ploskas, Nikolaos. editor. Linden, Isabelle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43916-7">https://doi.org/10.1007/978-3-319-43916-7</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
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
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/>
Cloud Manufacturing Distributed Computing Technologies for Global and Sustainable Manufacturing
ent://SD_ILS/0/SD_ILS:331102
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Li, Weidong. editor. Mehnen, Jörn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331102.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4935-4">http://dx.doi.org/10.1007/978-1-4471-4935-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Music and Human-Computer Interaction
ent://SD_ILS/0/SD_ILS:330896
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330896.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2990-5">http://dx.doi.org/10.1007/978-1-4471-2990-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Reliability Assessment with OR Applications
ent://SD_ILS/0/SD_ILS:168454
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-204-9">http://dx.doi.org/10.1007/978-0-85729-204-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Design for Manufacturability and Yield for Nano-Scale CMOS
ent://SD_ILS/0/SD_ILS:169402
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Software Reliability
ent://SD_ILS/0/SD_ILS:175367
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Pham, Hoang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-295-0">http://dx.doi.org/10.1007/1-84628-295-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Field-Based Coordination for Pervasive Multiagent Systems
ent://SD_ILS/0/SD_ILS:181611
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Mamei, Marco. author. Zambonelli, Franco. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27969-5">http://dx.doi.org/10.1007/3-540-27969-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Agent-Based Applications, Platforms and Development Kits
ent://SD_ILS/0/SD_ILS:197862
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137512">http://dx.doi.org/10.1007/b137512</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ontologies for Agents: Theory and Experiences
ent://SD_ILS/0/SD_ILS:197869
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-7643-7361-X">http://dx.doi.org/10.1007/3-7643-7361-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Domain Decomposition Methods — Algorithms and Theory
ent://SD_ILS/0/SD_ILS:180874
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137868">http://dx.doi.org/10.1007/b137868</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Process Modeling
ent://SD_ILS/0/SD_ILS:165037
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software engineering for image processing systems
ent://SD_ILS/0/SD_ILS:545262
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Laplante, Phillip A., author.<br/>Yer Numarası TA1637 .L34 2004<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781135510749">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
Schaum's outline of theory and problems of software engineering
ent://SD_ILS/0/SD_ILS:313304
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Gustafson, David A.<br/>Yer Numarası QA76.758 G88 2002<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
A discipline for software engineering
ent://SD_ILS/0/SD_ILS:88808
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Humphrey, Watts S., 1927-<br/>Yer Numarası QA 76.758 H857 1995<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Time-frequency domain for segmentation and classification of non-stationary signals : the Stockwell Transform applied on bio-signals and electric signals
ent://SD_ILS/0/SD_ILS:341996
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Moukadem, Ali, author. Abdeslam, Djaffar Ould, author. Dieterlen, Alain, author.<br/>Yer Numarası ONLINE(341996.1)<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1650849">http://public.eblib.com/choice/publicfullrecord.aspx?p=1650849</a>
ebrary <a href="http://site.ebrary.com/id/10849270">http://site.ebrary.com/id/10849270</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118908686">http://dx.doi.org/10.1002/9781118908686</a>
MyiLibrary <a href="http://www.myilibrary.com?id=584586">http://www.myilibrary.com?id=584586</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A pragmatic programmer for machine learning : engineering analytics and data science solutions
ent://SD_ILS/0/SD_ILS:560321
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Scutari, Marco, author. Malvestio, Mauro, author.<br/>Yer Numarası Q325.5<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429292835">https://www.taylorfrancis.com/books/9780429292835</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
ent://SD_ILS/0/SD_ILS:615659
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:615175
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pragmatic Evaluation of Software Architectures
ent://SD_ILS/0/SD_ILS:618505
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Knodel, Jens. author. Naab, Matthias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-34177-4">https://doi.org/10.1007/978-3-319-34177-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Aligning Organizations Through Measurement The GQM+Strategies Approach
ent://SD_ILS/0/SD_ILS:485471
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05047-8">https://doi.org/10.1007/978-3-319-05047-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes
ent://SD_ILS/0/SD_ILS:333878
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Filippini, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333878.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34648-4">http://dx.doi.org/10.1007/978-3-642-34648-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
ent://SD_ILS/0/SD_ILS:333358
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Trendowicz, Adam. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30764-5">http://dx.doi.org/10.1007/978-3-642-30764-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Process Definition and Management
ent://SD_ILS/0/SD_ILS:195592
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Issues in Multi-Agent Systems The AgentCities.ES Experience
ent://SD_ILS/0/SD_ILS:198089
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8543-9">http://dx.doi.org/10.1007/978-3-7643-8543-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Autonomic Networking and Communication
ent://SD_ILS/0/SD_ILS:198097
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Calisti, Monique. editor. Meer, Sven. editor. Strassner, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8569-9">http://dx.doi.org/10.1007/978-3-7643-8569-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:198098
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7643-8571-2">http://dx.doi.org/10.1007/978-3-7643-8571-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Temporal Logic and State Systems
ent://SD_ILS/0/SD_ILS:185537
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics of Specification Languages
ent://SD_ILS/0/SD_ILS:187056
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finite Model Theory and Its Applications
ent://SD_ILS/0/SD_ILS:185593
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Fokkink, Wan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering 1 Abstraction and Modelling
ent://SD_ILS/0/SD_ILS:182582
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Bjørner, Dines. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering 3 Domains, Requirements, and Software Design
ent://SD_ILS/0/SD_ILS:183791
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Bjøner, Dines. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering 2 Specification of Systems and Languages
ent://SD_ILS/0/SD_ILS:183656
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Bjørner, Dines. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</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
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
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/>
Agent Intelligence Through Data Mining
ent://SD_ILS/0/SD_ILS:165180
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
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/>
Multi-Agent Programming Languages, Platforms and Applications
ent://SD_ILS/0/SD_ILS:165269
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
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/>
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ent://SD_ILS/0/SD_ILS:181352
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kurki-Suonio, Reino. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</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
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
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/>
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
ent://SD_ILS/0/SD_ILS:168920
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
ent://SD_ILS/0/SD_ILS:168883
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3381-8">http://dx.doi.org/10.1007/1-4020-3381-8</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
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
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/>
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
ent://SD_ILS/0/SD_ILS:605837
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-67695-6">https://doi.org/10.1007/978-3-031-67695-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606177
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0602-3">https://doi.org/10.1007/978-981-96-0602-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Pattern Languages of Programming V
ent://SD_ILS/0/SD_ILS:607718
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Petri Nets and Other Models of Concurrency XVII
ent://SD_ILS/0/SD_ILS:602326
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter
ent://SD_ILS/0/SD_ILS:526961
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Lee, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26135-0">https://doi.org/10.1007/978-3-031-26135-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Official Google Cloud Certified Professional Data Engineer study guide
ent://SD_ILS/0/SD_ILS:596021
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Sullivan, Dan, 1962-<br/>Yer Numarası QA76.3<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Green IT Engineering: Concepts, Models, Complex Systems Architectures
ent://SD_ILS/0/SD_ILS:611372
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613621
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:613659
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74183-3">https://doi.org/10.1007/978-3-319-74183-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Representing Scientific Knowledge The Role of Uncertainty
ent://SD_ILS/0/SD_ILS:611757
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Chen, Chaomei. author. Song, Min. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62543-0">https://doi.org/10.1007/978-3-319-62543-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rapid Mashup Development Tools Second International Rapid Mashup Challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615776
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Daniel, Florian. editor. Gaedke, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53174-8">https://doi.org/10.1007/978-3-319-53174-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616217
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Failure-Modes-Based Software Reading
ent://SD_ILS/0/SD_ILS:617952
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Zhu, Yang-Ming. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65103-3">https://doi.org/10.1007/978-3-319-65103-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Petri Nets and Other Models of Concurrency XII
ent://SD_ILS/0/SD_ILS:613861
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55862-1">https://doi.org/10.1007/978-3-662-55862-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616234
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</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:617561
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616761
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61994-1">https://doi.org/10.1007/978-3-319-61994-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618149
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58187-3">https://doi.org/10.1007/978-3-319-58187-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
ent://SD_ILS/0/SD_ILS:611796
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27896-4">https://doi.org/10.1007/978-3-319-27896-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611889
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Daniel, Florian. editor. Pautasso, Cesare. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28727-0">https://doi.org/10.1007/978-3-319-28727-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Petri Nets and Other Models of Concurrency XI
ent://SD_ILS/0/SD_ILS:617813
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53401-4">https://doi.org/10.1007/978-3-662-53401-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Foundations for Mastering Change I
ent://SD_ILS/0/SD_ILS:617815
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Frontier Computing Theory, Technologies and Applications
ent://SD_ILS/0/SD_ILS:614931
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
PHP Solutions Dynamic Web Design Made Easy
ent://SD_ILS/0/SD_ILS:618666
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Powers, David. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0635-5">https://doi.org/10.1007/978-1-4842-0635-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions
ent://SD_ILS/0/SD_ILS:618678
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Sharan, Kishori. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6653-2">https://doi.org/10.1007/978-1-4302-6653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Building JavaScript Games for Phones, Tablets, and Desktop
ent://SD_ILS/0/SD_ILS:618579
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Egges, Arjan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6539-9">https://doi.org/10.1007/978-1-4302-6539-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
HTML5 Game Development Insights
ent://SD_ILS/0/SD_ILS:618561
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar McAnlis, Colt. author. Lubbers, Peter. author. Jones, Brandon. author. Mazur, Andrzej. author. Bennett, Sean. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6698-3">https://doi.org/10.1007/978-1-4302-6698-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
JavaFX 8: Introduction by Example
ent://SD_ILS/0/SD_ILS:618673
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Heckler, Mark. author. Grunwald, Gerrit. author. Pereda, José. author. Phillips, Sean. author. Dea, Carl. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6461-3">https://doi.org/10.1007/978-1-4302-6461-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Running Mainframe z on Distributed Platforms How to Create Robust Cost-Efficient Multiplatform z Environments
ent://SD_ILS/0/SD_ILS:618535
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Barrett, Kenneth. author. Norris, Stephen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6431-6">https://doi.org/10.1007/978-1-4302-6431-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pro Express.js Master Express.js: The Node.js Framework For Your Web Development
ent://SD_ILS/0/SD_ILS:618604
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Mardan, Azat. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0037-7">https://doi.org/10.1007/978-1-4842-0037-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams
ent://SD_ILS/0/SD_ILS:618705
2026-05-15T07:39:59Z
2026-05-15T07:39:59Z
Yazar Sharan, Kishori. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6659-4">https://doi.org/10.1007/978-1-4302-6659-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>