Arama Sonuçları Design. - Daraltılmış: Software engineering.

Doing Design Ethnography

2026-03-27T22:13:48Z

Yazar Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2726-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality-Driven SystemC Design

2026-03-27T22:13:48Z

Yazar Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3631-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UML for SOC Design

2026-03-27T22:13:48Z

Yazar Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135980
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Web Ecosystem Design

2026-03-27T22:13:48Z

Yazar O'Toole, Greg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332331.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Design for Resilient Computer Systems

2026-03-27T22:13:48Z

Yazar Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55139-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Software Design with Java

2026-03-27T22:13:48Z

Yazar Robillard, Martin P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24094-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low Earth Orbit Satellite Design

2026-03-27T22:13:48Z

Yazar Sebestyen, George. author. Fujikawa, Steve. author. Galassi, Nicholas. author. Chuchra, Alex. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68315-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Design for Resilient Computer Systems

2026-03-27T22:13:48Z

Yazar Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29465-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Design Science

2026-03-27T22:13:48Z

Yazar Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10632-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook on Agent-Oriented Design Processes

2026-03-27T22:13:48Z

Yazar Cossentino, Massimo. editor. Hilaire, Vincent. editor. Molesini, Ambra. editor. Seidita, Valeria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-39975-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GUI Design for Android Apps

2026-03-27T22:13:48Z

Yazar Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4842-0382-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Computing Principles, Design and Implementation

2026-03-27T22:13:48Z

Yazar Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası ONLINE(331115.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Design of Cloud Workflow Systems

2026-03-27T22:13:48Z

Yazar Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Analysis and Design

2026-03-27T22:13:48Z

Yazar Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84996-522-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Design of Advice

2026-03-27T22:13:48Z

Yazar Jureta, Ivan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18059-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and Use of Serious Games

2026-03-27T22:13:48Z

Yazar Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Patterns for e-Science

2026-03-27T22:13:48Z

Yazar Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-68090-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Anti-Spam Measures Analysis and Design

2026-03-27T22:13:48Z

Yazar Schryen, Guido. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71750-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Techniques: Design for Quality

2026-03-27T22:13:48Z

Yazar Sacha, Krzysztof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-39388-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Design Using Business Patterns

2026-03-27T22:13:48Z

Yazar Hruby, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-30327-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software design for engineers and scientists

2026-03-27T22:13:48Z

Yazar Robinson, John A. (John Allen), 1958-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Design and Process Science

2026-03-27T22:13:48Z

Yazar Suh, Sang C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67886-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and Development of Web Information Systems

2026-03-27T22:13:48Z

Yazar Schewe, Klaus-Dieter. author. Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58824-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power Design and Power-Aware Verification

2026-03-27T22:13:48Z

Yazar Khondkar, Progyna. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66619-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrating User-Centred Design in Agile Development

2026-03-27T22:13:48Z

Yazar Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32165-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Socio-technical Design of Ubiquitous Computing Systems

2026-03-27T22:13:48Z

Yazar David, Klaus. editor. Geihs, Kurt. editor. Leimeister, Jan Marco. editor. Roßnagel, Alexander. editor. Schmidt, Ludger. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05044-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PHP Solutions Dynamic Web Design Made Easy

2026-03-27T22:13:48Z

Yazar Powers, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4842-0635-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

User-Level Workflow Design A Bioinformatics Perspective

2026-03-27T22:13:48Z

Yazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335213.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45389-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanism Design for Sustainability Techniques and Cases

2026-03-27T22:13:48Z

Yazar Luo, Zongwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336131.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5995-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Moderne C++ Programmierung Klassen, Templates, Design Patterns

2026-03-27T22:13:48Z

Yazar Schneeweiß, Ralf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21429-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Harnessing VLSI System Design with EDA Tools

2026-03-27T22:13:48Z

Yazar Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1864-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Software Design The Object-Oriented Way

2026-03-27T22:13:48Z

Yazar Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Objective-C Design Patterns for iOS

2026-03-27T22:13:48Z

Yazar Chung, Carlo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-3331-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture-Based Design of Multi-Agent Systems

2026-03-27T22:13:48Z

Yazar Weyns, Danny. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01064-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design Modeling, Synthesis and Verification

2026-03-27T22:13:48Z

Yazar Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ingredients for Successful System Level Design Methodology

2026-03-27T22:13:48Z

Yazar Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided Design of User Interfaces V

2026-03-27T22:13:48Z

Yazar Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Moderne C++ Programmierung Klassen, Templates, Design Patterns

2026-03-27T22:13:48Z

Yazar Schneeweiß, Ralf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-45954-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biometric Systems Technology, Design and Performance Evaluation

2026-03-27T22:13:48Z

Yazar Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138151
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Design, Operations, and Computing. EDOC 2024 Workshops iRESEARCH, MIDas4CS, Doctoral Consortium, Joint CBI-EDOC Forum and Other Joint CBI-EDOC Events, Vienna, Austria, September 10-13, 2024, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Kaczmarek-Heß, Monika. editor. (orcid)0000-0002-1621-2775 Rosenthal, Kristina. editor. (orcid)0000-0002-7698-2130 Suchánek, Marek. editor. (orcid)0000-0001-7525-9218 Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-79059-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

2026-03-27T22:13:48Z

Yazar Langer, Arthur M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76212-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93739-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-03-27T22:13:48Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96798-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

2026-03-27T22:13:48Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96380-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93221-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-03-27T22:13:48Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93230-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V

2026-03-27T22:13:48Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93233-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI

2026-03-27T22:13:48Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93236-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93224-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93733-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-03-27T22:13:48Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93736-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93730-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93227-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

2026-03-27T22:13:48Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96775-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

2026-03-27T22:13:48Z

Yazar Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42202-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

2026-03-27T22:13:48Z

Yazar Morazán, Marco T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43973-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61362-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Feature Models AI-Driven Design, Analysis and Applications

2026-03-27T22:13:48Z

Yazar Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61874-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Software Aspects of Theory and System Design

2026-03-27T22:13:48Z

Yazar Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64136-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61356-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3

2026-03-27T22:13:48Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70518-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

2026-03-27T22:13:48Z

Yazar Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51399-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61353-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61351-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64073-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1

2026-03-27T22:13:48Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70285-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

2026-03-27T22:13:48Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21435-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

2026-03-27T22:13:48Z

Yazar Russinoff, David M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95513-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

2026-03-27T22:13:48Z

Yazar Lee, Ji-Hyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-8410-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30949-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

2026-03-27T22:13:48Z

Yazar Gol Mohammadi, Nazila. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-27488-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17910-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22646-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23535-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22636-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23570-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00560-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

2026-03-27T22:13:48Z

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

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92141-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

2026-03-27T22:13:48Z

Yazar Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90059-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2026-03-27T22:13:48Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94214-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91803-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91797-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91806-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design

2026-03-27T22:13:48Z

Yazar Vaziri, Daryoush Daniel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-22875-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

2026-03-27T22:13:48Z

Yazar Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89641-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation

2026-03-27T22:13:48Z

Yazar Roberts, Jonathan C. author. Headleand, Christopher J. author. Ritsos, Panagiotis D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55627-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings

2026-03-27T22:13:48Z

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

Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58637-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

2026-03-27T22:13:48Z

Yazar Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90023-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

2026-03-27T22:13:48Z

Yazar Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4436-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58640-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2026-03-27T22:13:48Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57931-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Essence of Systems Analysis and Design A Workbook Approach

2026-03-27T22:13:48Z

Yazar Sajja, Priti Srinivas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5128-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51738-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Modeling and Simulation in Business System Design

2026-03-27T22:13:48Z

Yazar Roubtsova, Ella. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15102-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40355-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Kurosu, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39510-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34096-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Marcus, Aaron. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40409-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III

2026-03-27T22:13:48Z

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

Architectural Design Conception and Specification of Interactive Systems

2026-03-27T22:13:48Z

Yazar Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43298-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings

2026-03-27T22:13:48Z

Yazar Parsons, Jeffrey. editor. Tuunanen, Tuure. editor. Venable, John. editor. Donnellan, Brian. editor. Helfert, Markus. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39294-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07317-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

2026-03-27T22:13:48Z

Yazar Biedermann, Alexander. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-08047-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science Methodology for Information Systems and Software Engineering

2026-03-27T22:13:48Z

Yazar Wieringa, Roel J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43839-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

2026-03-27T22:13:48Z

Yazar Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54118-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2026-03-27T22:13:48Z

Yazar Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45006-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning Responsive Web Design with HTML5 and CSS3

2026-03-27T22:13:48Z

Yazar Fielding, Jonathan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6695-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Irresistible Apps Motivational Design Patterns for Apps, Games, and Web-based Communities

2026-03-27T22:13:48Z

Yazar Lewis, Chris. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6422-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scala Design Patterns Patterns for Practical Reuse and Design

2026-03-27T22:13:48Z

Yazar Hunt, John. author. SpringerLink (Online service)
Yer Numarası ONLINE(332904.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

2026-03-27T22:13:48Z

Yazar Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38827-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2026-03-27T22:13:48Z

Yazar Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE(334682.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334688.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity and Rationale Enhancing Human Experience by Design

2026-03-27T22:13:48Z

Yazar Carroll, John M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330908.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4111-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334438.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37478-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

2026-03-27T22:13:48Z

Yazar Moser, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13363-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Thinking Research Studying Co-Creation in Practice

2026-03-27T22:13:48Z

Yazar Plattner, Hasso. editor. Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28566-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29788-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2026-03-27T22:13:48Z

Yazar Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

2026-03-27T22:13:48Z

Yazar Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31494-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

2026-03-27T22:13:48Z

Yazar Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1926-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings

2026-03-27T22:13:48Z

Yazar Bang, Magnus. editor. Ragnemalm, Eva L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31037-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33681-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arduino and Kinect Projects Design, Build, Blow Their Minds

2026-03-27T22:13:48Z

Yazar Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4168-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling, Design, and Simulation of Systems with Uncertainties

2026-03-27T22:13:48Z

Yazar Rauh, Andreas. editor. Auer, Ekaterina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15956-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17752-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2026-03-27T22:13:48Z

Yazar Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Systems Analysis and Design: Models and Methods 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Wrycza, Stanisław. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25676-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

2026-03-27T22:13:48Z

Yazar Marwedel, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0257-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents for Games and Simulations II Trends in Techniques, Concepts and Design

2026-03-27T22:13:48Z

Yazar Dignum, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18181-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-Time Systems Design Principles for Distributed Embedded Applications

2026-03-27T22:13:48Z

Yazar Kopetz, Hermann. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8237-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

2026-03-27T22:13:48Z

Yazar Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16767-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings

2026-03-27T22:13:48Z

Yazar Jain, Hemant. editor. Sinha, Atish P. editor. Vitharana, Padmal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20633-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23734-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Design Based on Formal Models of Computation

2026-03-27T22:13:48Z

Yazar Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1594-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The design and implementation of multimedia software with examples in Java

2026-03-27T22:13:48Z

Yazar Bernstein, David, 1960 June 9-
Yer Numarası QA76.76.I59 B47 2011
Format: Kitap
Durum Beytepe Kütüphanesi~1

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings

2026-03-27T22:13:48Z

Yazar Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12113-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12267-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

2026-03-27T22:13:48Z

Yazar Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13335-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2026-03-27T22:13:48Z

Yazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16066-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Process Algebraic Approach to Software Architecture Design

2026-03-27T22:13:48Z

Yazar Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-223-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11797-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

2026-03-27T22:13:48Z

Yazar Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15228-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T22:13:48Z

Yazar Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88713-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

2026-03-27T22:13:48Z

Yazar Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92966-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04265-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronics System Design Techniques for Safety Critical Applications

2026-03-27T22:13:48Z

Yazar Sterpone, Luca. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8979-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems

2026-03-27T22:13:48Z

Yazar Ashford, Colin. author. Gauthier, Pierre. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01396-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Software Co-Design of a Multimedia SOC Platform

2026-03-27T22:13:48Z

Yazar Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2026-03-27T22:13:48Z

Yazar Radetzki, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings

2026-03-27T22:13:48Z

Yazar Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04076-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

2026-03-27T22:13:48Z

Yazar Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

2026-03-27T22:13:48Z

Yazar Villar, Eugenio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2026-03-27T22:13:48Z

Yazar Bräunl, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70534-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

2026-03-27T22:13:48Z

Yazar Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70552-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2026-03-27T22:13:48Z

Yazar Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE

2026-03-27T22:13:48Z

Yazar Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Design of Information Systems Third Edition

2026-03-27T22:13:48Z

Yazar Langer, Arthur M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-655-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88011-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74780-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2026-03-27T22:13:48Z

Yazar Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2026-03-27T22:13:48Z

Yazar Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2026-03-27T22:13:48Z

Yazar Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2026-03-27T22:13:48Z

Yazar Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2026-03-27T22:13:48Z

Yazar Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-Time Object Uniform Design Methodology with UML

2026-03-27T22:13:48Z

Yazar Duc, Bui Minh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2026-03-27T22:13:48Z

Yazar Huss, Sorin A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2026-03-27T22:13:48Z

Yazar Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2026-03-27T22:13:48Z

Yazar Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Jacko, Julie A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73105-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for Manufacturability and Yield for Nano-Scale CMOS

2026-03-27T22:13:48Z

Yazar Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Processor Design System-on-Chip Computing for ASICs and FPGAs

2026-03-27T22:13:48Z

Yazar Nurmi, Jari. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility

2026-03-27T22:13:48Z

Yazar Pernici, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-31008-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering 3 Domains, Requirements, and Software Design

2026-03-27T22:13:48Z

Yazar Bjøner, Dines. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-33653-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11863649
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Availability and Disaster Recovery Concepts, Design, Implementation

2026-03-27T22:13:48Z

Yazar Schmidt, Klaus. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-34582-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2026-03-27T22:13:48Z

Yazar Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752707
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2026-03-27T22:13:48Z

Yazar Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-39538-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2026-03-27T22:13:48Z

Yazar Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5138-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11686699
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11757283
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2026-03-27T22:13:48Z

Yazar Bräunl, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-34319-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

2026-03-27T22:13:48Z

Yazar Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138692
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning Design A Handbook on Modelling and Delivering Networked Education and Training

2026-03-27T22:13:48Z

Yazar Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138966
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen

2026-03-27T22:13:48Z

Yazar Zeeck, Achim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28086-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11568421
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2026-03-27T22:13:48Z

Yazar Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135888
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2026-03-27T22:13:48Z

Yazar Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11560548
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Level Design of Reconfigurable Systems-on-Chip

2026-03-27T22:13:48Z

Yazar Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136832
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

2026-03-27T22:13:48Z

Yazar Boulet, Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136935
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interconnect-Centric Design for Advanced SoC and NoC

2026-03-27T22:13:48Z

Yazar Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b117241
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

2026-03-27T22:13:48Z

Yazar Wietzke, Joachim. author. Tran, Manh Tien. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28305-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Design The ARTIST Roadmap for Research and Development

2026-03-27T22:13:48Z

Yazar Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106761
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11555223
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies

2026-03-27T22:13:48Z

Yazar Zhuk, Jeff.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Kosmatov, Nikolai. editor. Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76554-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82065-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7752-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0792-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0777-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Protection for Software Development and IT A Practical Introduction

2026-03-27T22:13:48Z

Yazar Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70639-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-03-27T22:13:48Z

Yazar Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94706-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings

2026-03-27T22:13:48Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Wautelet, Yves. editor. (orcid)0000-0002-6560-9787 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94931-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-27T22:13:48Z

Yazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

2026-03-27T22:13:48Z

Yazar Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-8312-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-03-27T22:13:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97573-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming V

2026-03-27T22:13:48Z

Yazar Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70810-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85930-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77382-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73716-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74430-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0774-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0771-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0780-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0795-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0786-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0789-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

2026-03-27T22:13:48Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0798-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metamodeling for Extended Reality

2026-03-27T22:13:48Z

Yazar Muff, Fabian. author. (orcid)0000-0002-7283-6603 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76762-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81202-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2026-03-27T22:13:48Z

Yazar Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78377-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78380-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-27T22:13:48Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74318-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-27T22:13:48Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-27T22:13:48Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-27T22:13:48Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings

2026-03-27T22:13:48Z

Yazar Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94544-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-03-27T22:13:48Z

Yazar Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-27T22:13:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97567-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-03-27T22:13:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97570-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97557-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97564-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Videogame Sciences and Arts 14th International Conference, VJ 2024, Leiria, Portugal, December 5-6, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Marto, Anabela. editor. (orcid)0000-0001-6005-288X Prada, Rui. editor. (orcid)0000-0002-5370-1893 Gouveia, Patrícia. editor. (orcid)0000-0002-4351-8999 Espinosa, Ruth Contreras-. editor. (orcid)0000-0002-9699-9087 Gonçalves, Alexandrino. editor. (orcid)0000-0002-5966-3218
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81713-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71079-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

2026-03-27T22:13:48Z

Yazar Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73751-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74498-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86585-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98679-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98668-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98682-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

2026-03-27T22:13:48Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98685-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-03-27T22:13:48Z

Yazar Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85134-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51643-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

2026-03-27T22:13:48Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53036-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2300-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62638-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

2026-03-27T22:13:48Z

Yazar Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56862-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68416-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding the Digital World Modeling with HERAKLIT

2026-03-27T22:13:48Z

Yazar Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61898-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70797-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72621-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Engineering Learning Through Applications Using JMT

2026-03-27T22:13:48Z

Yazar Serazzi, Giuseppe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36763-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

2026-03-27T22:13:48Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53025-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

2026-03-27T22:13:48Z

Yazar Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44412-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Computing - EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Sangchoolie, Behrooz. editor. Adler, Rasmus. editor. Hawkins, Richard. editor. (orcid)0000-0001-7347-3413 Schleiss, Philipp. editor. Arteconi, Alessia. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56776-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57259-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77426-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77432-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Engineering of Digital Twins

2026-03-27T22:13:48Z

Yazar Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66719-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Febles Estrada, Ailyn. editor. (orcid)0000-0002-5742-9719 De Castro Lozano, Carlos. editor. (orcid)0000-0002-8240-0344 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70439-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CyberSecurity in a DevOps Environment From Requirements to Monitoring

2026-03-27T22:13:48Z

Yazar Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42212-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Vale Costa, Liliana. editor. Zagalo, Nelson. editor. (orcid)0000-0002-5478-0650 Veloso, Ana Isabel. editor. Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Arnab, Sylvester. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51452-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Amigoni, Francesco. editor. (orcid)0000-0001-8146-6213 Sinha, Arunesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56255-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architectures Topics Usually Missed in Textbooks

2026-03-27T22:13:48Z

Yazar Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51335-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The French School of Programming

2026-03-27T22:13:48Z

Yazar Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34518-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710 Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604 Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64576-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64285-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65630-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

2026-03-27T22:13:48Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65633-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65627-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

2026-03-27T22:13:48Z

Yazar Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66064-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings

2026-03-27T22:13:48Z

Yazar Santos, Patricia. editor. (orcid)0000-0002-7337-2388 Álvarez, Claudio. editor. (orcid)0000-0002-5442-2140 Hernández-Leo, Davinia. editor. (orcid)0000-0003-0548-7455 Kobayashi, Minoru. editor. (orcid)0000-0001-6737-1736 Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67998-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimentation in Software Engineering

2026-03-27T22:13:48Z

Yazar Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-69306-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part I

2026-03-27T22:13:48Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71739-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part II

2026-03-27T22:13:48Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71743-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World

2026-03-27T22:13:48Z

Yazar Hoda, Rashina. author. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60533-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Thinking First Algorithms, Then Code

2026-03-27T22:13:48Z

Yazar Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59922-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

2026-03-27T22:13:48Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70300-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

2026-03-27T22:13:48Z

Yazar Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47705-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

2026-03-27T22:13:48Z

Yazar Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8211-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

2026-03-27T22:13:48Z

Yazar Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51674-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ITNG 2023 20th International Conference on Information Technology-New Generations

2026-03-27T22:13:48Z

Yazar Latifi, Shahram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28332-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products

2026-03-27T22:13:48Z

Yazar Atem de Carvalho, Rogerio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-08893-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1