Arama Sonuçları Systems engineering. - Daraltılmış: Computer science.

Automotive Systems Engineering

2026-03-18T19:34:17Z

Yazar Maurer, Markus. editor. Winner, Hermann. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334208.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36455-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automotive Systems Engineering II

2026-03-18T19:34:17Z

Yazar Winner, Hermann. editor. Prokop, Günther. editor. Maurer, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61607-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model-Based Systems Engineering

2026-03-18T19:34:17Z

Yazar Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-93582-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing Engineering Smart Systems

2026-03-18T19:34:17Z

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

Recommendation Systems in Software Engineering

2026-03-18T19:34:17Z

Yazar Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-45135-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intentional Perspectives on Information Systems Engineering

2026-03-18T19:34:17Z

Yazar Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12544-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Engineering of Mixed Reality Systems

2026-03-18T19:34:17Z

Yazar Dubois, Emmanuel. editor. Gray, Philip. editor. Nigay, Laurence. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-733-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems

2026-03-18T19:34:17Z

Yazar Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Engineering Systems and Computational Cybernetics

2026-03-18T19:34:17Z

Yazar Machado, J. A. Tenreiro. editor. Pátkai, Béla. editor. Rudas, Imre J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8678-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modelling in Information Systems Engineering

2026-03-18T19:34:17Z

Yazar Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72677-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-aware Computing Systems An Engineering Approach

2026-03-18T19:34:17Z

Yazar Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39675-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolving Connectionist Systems The Knowledge Engineering Approach

2026-03-18T19:34:17Z

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

Engineering Self-Organising Systems Methodologies and Applications

2026-03-18T19:34:17Z

Yazar Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136984
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-75107-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 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-18T19:34:17Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 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-18T19:34:17Z

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-85923-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 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-18T19:34:17Z

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

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94571-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61137-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings

2026-03-18T19:34:17Z

Yazar Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Santoro, Flavia. editor. (orcid)0000-0003-3421-1984 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Soffer, Pnina. editor. (orcid)0000-0003-4659-883X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61057-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71152-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2026-03-18T19:34:17Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02928-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2026-03-18T19:34:17Z

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

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91899-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02925-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Peixoto, Nathalia. editor. Silveira, Margarida. editor. Ali, Hesham H. editor. Maciel, Carlos. editor. van den Broek, Egon L. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94806-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-18T19:34:17Z

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

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-03-18T19:34:17Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65948-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-18T19:34:17Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56841-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-03-18T19:34:17Z

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

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-03-18T19:34:17Z

Yazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29628-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2026-03-18T19:34:17Z

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

Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-53956-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2026-03-18T19:34:17Z

Yazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11653-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

2026-03-18T19:34:17Z

Yazar Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12241-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

2026-03-18T19:34:17Z

Yazar Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03602-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2026-03-18T19:34:17Z

Yazar Bubenko, Janis. editor. Krogstie, John. editor. Pastor, Oscar. editor. Pernici, Barbara. editor. Rolland, Colette. editor.
Yer Numarası ONLINE(334324.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36926-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings

2026-03-18T19:34:17Z

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

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2026-03-18T19:34:17Z

Yazar Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Yer Numarası ONLINE(334627.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38577-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

2026-03-18T19:34:17Z

Yazar Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334655.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38709-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2026-03-18T19:34:17Z

Yazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335065.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41154-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335078.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41230-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2026-03-18T19:34:17Z

Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Yer Numarası ONLINE(335120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29752-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-03-18T19:34:17Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2026-03-18T19:34:17Z

Yazar Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334236.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Gabriel, Joaquim. editor. Schier, Jan. editor. Huffel, Sabine. editor. Conchon, Emmanuel. editor. Correia, Carlos. editor.
Yer Numarası ONLINE(334569.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38256-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2011 and 2012 Workshops Combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Haller, Armin. editor. Huang, Guangyan. editor. Huang, Zhisheng. editor. Paik, Hye-young. editor. Sheng, Quan Z. editor.
Yer Numarası ONLINE(334584.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38333-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-03-18T19:34:17Z

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

Foundations of Health Informatics Engineering and Systems First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

2026-03-18T19:34:17Z

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

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2026-03-18T19:34:17Z

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

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2026-03-18T19:34:17Z

Yazar France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Engineering of Embedded Systems The SPES 2020 Methodology

2026-03-18T19:34:17Z

Yazar Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34614-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings

2026-03-18T19:34:17Z

Yazar Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35063-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

2026-03-18T19:34:17Z

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

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

2026-03-18T19:34:17Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28525-7
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-18T19:34:17Z

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

Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings

2026-03-18T19:34:17Z

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

Advanced Research in Applied Artificial Intelligence 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings

2026-03-18T19:34:17Z

Yazar Jiang, He. editor. Ding, Wei. editor. Ali, Moonis. editor. Wu, Xindong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31087-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings

2026-03-18T19:34:17Z

Yazar Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31095-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence Systems in Industrial Engineering With Recent Theory and Applications

2026-03-18T19:34:17Z

Yazar Kahraman, Cengiz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-77-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18472-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

2026-03-18T19:34:17Z

Yazar Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19125-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21822-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings

2026-03-18T19:34:17Z

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

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2026-03-18T19:34:17Z

Yazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

2026-03-18T19:34:17Z

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

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23851-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part III

2026-03-18T19:34:17Z

Yazar König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23854-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowlege-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23863-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part IV

2026-03-18T19:34:17Z

Yazar König, Andreas. editor. Dengel, Andreas. editor. Hinkelmann, Knut. editor. Kise, Koichi. editor. Howlett, Robert J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23866-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2010 Workshops WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Chiu, Dickson K. W. editor. Bellatreche, Ladjel. editor. Sasaki, Hideyasu. editor. Leung, Ho-fung. editor. Cheung, Shing-Chi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24396-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

2026-03-18T19:34:17Z

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

Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21827-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings

2026-03-18T19:34:17Z

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

Sensing and Systems in Pervasive Computing Engineering Context Aware Systems

2026-03-18T19:34:17Z

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

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

2026-03-18T19:34:17Z

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

Biomedical Engineering Health Care Systems, Technology and Techniques

2026-03-18T19:34:17Z

Yazar Suh, Sang C. editor. Gurupur, Varadraj P. editor. Tanik, Murat M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0116-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16129-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11721-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13022-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13025-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

2026-03-18T19:34:17Z

Yazar García-Pedrajas, Nicolás. editor. Herrera, Francisco. editor. Fyfe, Colin. editor. Benítez, José Manuel. editor. Ali, Moonis. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13033-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings

2026-03-18T19:34:17Z

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

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

2026-03-18T19:34:17Z

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

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15387-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III

2026-03-18T19:34:17Z

Yazar Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15393-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2010 11th International Conference, Hong Kong, China, December 12-14, 2010. Proceedings

2026-03-18T19:34:17Z

Yazar Chen, Lei. editor. Triantafillou, Peter. editor. Suel, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17616-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

2026-03-18T19:34:17Z

Yazar Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11747-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV

2026-03-18T19:34:17Z

Yazar Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15384-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Setchi, Rossitza. editor. Jordanov, Ivan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15390-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16145-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems

2026-03-18T19:34:17Z

Yazar Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17599-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2026-03-18T19:34:17Z

Yazar Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00199-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings

2026-03-18T19:34:17Z

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

Knowledge-Based and Intelligent Information and Engineering Systems 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Velásquez, Juan D. editor. Ríos, Sebastián A. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04592-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based and Intelligent Information and Engineering Systems 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Velásquez, Juan D. editor. Ríos, Sebastián A. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04595-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92219-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next-Generation Applied Intelligence 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings

2026-03-18T19:34:17Z

Yazar Chien, Been-Chian. editor. Hong, Tzung-Pei. editor. Chen, Shyi-Ming. editor. Ali, Moonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02568-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2009 10th International Conference, Poznań, Poland, October 5-7, 2009. Proceedings

2026-03-18T19:34:17Z

Yazar Vossen, Gottfried. editor. Long, Darrell D. E. editor. Yu, Jeffrey Xu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04409-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings

2026-03-18T19:34:17Z

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

Security Engineering for Vehicular IT Systems Improving the Trustworthiness and Dependability of Automotive IT Applications

2026-03-18T19:34:17Z

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

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings

2026-03-18T19:34:17Z

Yazar Bellahsène, Zohra. editor. Léonard, Michel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69534-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers

2026-03-18T19:34:17Z

Yazar Weyns, Danny. editor. Brueckner, Sven A. editor. Demazeau, Yves. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85029-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Lovrek, Ignac. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85565-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

2026-03-18T19:34:17Z

Yazar Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87875-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

2026-03-18T19:34:17Z

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

Web Information Systems Engineering – WISE 2008 Workshops WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings

2026-03-18T19:34:17Z

Yazar Hartmann, Sven. editor. Zhou, Xiaofang. editor. Kirchberg, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85200-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Interactive Systems EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

2026-03-18T19:34:17Z

Yazar Gulliksen, Jan. editor. Harning, Morton Borup. editor. Palanque, Philippe. editor. Veer, Gerrit C. editor. Wesson, Janet. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92698-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Management The Interface Between Requirements Development and All Other Systems Engineering Processes

2026-03-18T19:34:17Z

Yazar Hood, Colin. author. Wiedemann, Simon. author. Fichtinger, Stefan. author. Pautz, Urte. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68476-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings

2026-03-18T19:34:17Z

Yazar Nguyen, Ngoc Thanh. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Ali, Moonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69052-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2008 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings

2026-03-18T19:34:17Z

Yazar Bailey, James. editor. Maier, David. editor. Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. Wang, Xiaoyang Sean. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85481-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Lovrek, Ignac. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85563-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III

2026-03-18T19:34:17Z

Yazar Lovrek, Ignac. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85567-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2026-03-18T19:34:17Z

Yazar Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2026-03-18T19:34:17Z

Yazar Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings

2026-03-18T19:34:17Z

Yazar Krogstie, John. editor. Opdahl, Andreas. editor. Sindre, Guttorm. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72988-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74819-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74827-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III

2026-03-18T19:34:17Z

Yazar Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74829-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2026-03-18T19:34:17Z

Yazar Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

2026-03-18T19:34:17Z

Yazar Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73325-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2026-03-18T19:34:17Z

Yazar Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2007 8th International Conference on Web Information Systems Engineering Nancy, France, December 3-7, 2007 Proceedings

2026-03-18T19:34:17Z

Yazar Benatallah, Boualem. editor. Casati, Fabio. editor. Georgakopoulos, Dimitrios. editor. Bartolini, Claudio. editor. Sadiq, Wasim. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76993-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2007 Workshops WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings

2026-03-18T19:34:17Z

Yazar Weske, Mathias. editor. Hacid, Mohand-Saïd. editor. Godart, Claude. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77010-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings

2026-03-18T19:34:17Z

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

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

2026-03-18T19:34:17Z

Yazar Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11880240
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

2026-03-18T19:34:17Z

Yazar Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11738817
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11892960
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11893004
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006. Proceedings, Part III

2026-03-18T19:34:17Z

Yazar Gabrys, Bogdan. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11893011
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems – WISE 2006 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006. Proceedings

2026-03-18T19:34:17Z

Yazar Aberer, Karl. editor. Peng, Zhiyong. editor. Rundensteiner, Elke A. editor. Zhang, Yanchun. editor. Li, Xuhui. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11912873
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11734697
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering 2 Specification of Systems and Languages

2026-03-18T19:34:17Z

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

Advanced Information Systems Engineering 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006. Proceedings

2026-03-18T19:34:17Z

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

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2026-03-18T19:34:17Z

Yazar Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28171-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2026-03-18T19:34:17Z

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

Web Information Systems Engineering – WISE 2005 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005. Proceedings

2026-03-18T19:34:17Z

Yazar Ngu, Anne H. H. editor. Kitsuregawa, Masaru. editor. Neuhold, Erich J. editor. Chung, Jen-Yao. editor. Sheng, Quan Z. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11581062
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2026-03-18T19:34:17Z

Yazar Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3532-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

2026-03-18T19:34:17Z

Yazar Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106347
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

2026-03-18T19:34:17Z

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

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2026-03-18T19:34:17Z

Yazar Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549970
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136790
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11552413
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11552451
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III

2026-03-18T19:34:17Z

Yazar Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11553939
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV

2026-03-18T19:34:17Z

Yazar Khosla, Rajiv. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11554028
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings

2026-03-18T19:34:17Z

Yazar Pastor, Oscar. editor. Falcão e Cunha, João. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136788
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2005 Workshops WISE 2005 International Workshops, New York, NY, USA November 20-22, 2005. Proceedings

2026-03-18T19:34:17Z

Yazar Dean, Mike. editor. Guo, Yuanbo. editor. Jun, Woochun. editor. Kaschek, Roland. editor. Krishnaswamy, Shonali. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11581116
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Faratin, Peyman. editor. Rodríguez-Aguilar, Juan A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11575726
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan

2026-03-18T19:34:17Z

Yazar Arai, Eiji. editor. Kimura, Fumihiko. editor. Goossenaerts, Jan. editor. Shirase, Keiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b102979
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Provably Correct Systems

2026-03-18T19:34:17Z

Yazar Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48628-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Steuerung in Dienstleistungsnetzwerken Ein Ansatz für ein integriertes Qualitätsinformationssystem

2026-03-18T19:34:17Z

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

The Web Resource Space Model

2026-03-18T19:34:17Z

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

Semantic Web: Concepts, Technologies and Applications

2026-03-18T19:34:17Z

Yazar Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Technology from a Formal Perspective

2026-03-18T19:34:17Z

Yazar Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-271-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-03-18T19:34:17Z

Yazar Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35755-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Security: Power and Technology

2026-03-18T19:34:17Z

Yazar Lehto, Martti. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75307-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechatronics for Cultural Heritage and Civil Engineering

2026-03-18T19:34:17Z

Yazar Ottaviano, Erika. editor. Pelliccio, Assunta. editor. Gattulli, Vincenzo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68646-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aligning Organizations Through Measurement The GQM+Strategies Approach

2026-03-18T19:34:17Z

Yazar Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05047-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2026-03-18T19:34:17Z

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

Software Process Definition and Management

2026-03-18T19:34:17Z

Yazar Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Calibration and Reconstruction for Active Vision Systems

2026-03-18T19:34:17Z

Yazar Zhang, Beiwei. author. Li, Y. F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-2654-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Modern Sleep Technology

2026-03-18T19:34:17Z

Yazar Chiang, Rayleigh Ping-Ying. editor. Kang, Shih-Chun (Jessy). editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5470-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Haptics for Virtual Reality and Teleoperation

2026-03-18T19:34:17Z

Yazar Mihelj, Matjaž. author. Podobnik, Janez. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5718-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reinforcement and systemic machine learning for decision making

2026-03-18T19:34:17Z

Yazar Kulkarni, Parag.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Design in Virtual Environments

2026-03-18T19:34:17Z

Yazar Wang, Xiangyu. editor. Tsai, Jerry Jen-Hung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0605-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Mining and Social Networking Techniques and Applications

2026-03-18T19:34:17Z

Yazar Xu, Guandong. author. Zhang, Yanchun. author. Li, Lin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7735-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service Robotics within the Digital Home Applications and Future Prospects

2026-03-18T19:34:17Z

Yazar González Alonso, Ignacio. author. Fernández, Mercedes. author. Maestre, José M. author. García Fuente, María del Pilar Almudena. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1491-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Neural Computation

2026-03-18T19:34:17Z

Yazar Ivancevic, Vladimir G. author. Ivancevic, Tijana T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3350-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human and Nature Minding Automation An Overview of Concepts, Methods, Tools and Applications

2026-03-18T19:34:17Z

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

Intelligent Infrastructures

2026-03-18T19:34:17Z

Yazar Negenborn, Rudy R. editor. Lukszo, Zofia. editor. Hellendoorn, Hans. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3598-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semistructured Database Design

2026-03-18T19:34:17Z

Yazar Ling, Tok Wang. author. Lee, Mong Li. author. Dobbie, Gillian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b101873
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Theory Multidimensional Mathematical Model Management

2026-03-18T19:34:17Z

Yazar Friedman, George J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-27650-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Content Delivery

2026-03-18T19:34:17Z

Yazar Tang, Xueyan. editor. Xu, Jianliang. editor. Chanson, Samuel T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-27727-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber-Physical Systems Driving force for innovation in mobility, health, energy and production.

2026-03-18T19:34:17Z

Yazar acatech - National Academy of Science and Engineering, 2011. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29090-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 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-73709-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-18T19:34:17Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Engineering Optimisation with the Bees Algorithm

2026-03-18T19:34:17Z

Yazar Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64936-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

2026-03-18T19:34:17Z

Yazar Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2621-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-03-18T19:34:17Z

Yazar Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44734-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Spiking Neural P Systems Models and Applications

2026-03-18T19:34:17Z

Yazar Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5280-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

2026-03-18T19:34:17Z

Yazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68738-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61140-7
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-18T19:34:17Z

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

The French School of Programming

2026-03-18T19:34:17Z

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

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2026-03-18T19:34:17Z

Yazar Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-6990-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2026-03-18T19:34:17Z

Yazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28859-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

2026-03-18T19:34:17Z

Yazar Liu, Qiyuan. author. Edward, Alexander. author. Briseno-Vidrios, Carlos. author. Silva-Martinez, Jose. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77225-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Camera Design Algorithms, Architectures, and Art

2026-03-18T19:34:17Z

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

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2026-03-18T19:34:17Z

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

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2026-03-18T19:34:17Z

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

Brain-Machine Interface Closed-loop Bidirectional System Design

2026-03-18T19:34:17Z

Yazar Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67940-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy-Efficient Smart Temperature Sensors in CMOS Technology

2026-03-18T19:34:17Z

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

Low-Power Design and Power-Aware Verification

2026-03-18T19:34:17Z

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

Formal System Verification State-of the-Art and Future Trends

2026-03-18T19:34:17Z

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

Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies

2026-03-18T19:34:17Z

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

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2026-03-18T19:34:17Z

Yazar Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61455-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017

2026-03-18T19:34:17Z

Yazar Harpe, Pieter. editor. Makinwa, Kofi A. A. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61285-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

2026-03-18T19:34:17Z

Yazar Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63973-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2026-03-18T19:34:17Z

Yazar Weichslgartner, Andreas. author. Wildermann, Stefan. author. Glaß, Michael. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7356-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection

2026-03-18T19:34:17Z

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

Timing Performance of Nanometer Digital Circuits Under Process Variations

2026-03-18T19:34:17Z

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

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2026-03-18T19:34:17Z

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

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

2026-03-18T19:34:17Z

Yazar Pagani, Santiago. author. Chen, Jian-Jia. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77479-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Contactless VLSI Measurement and Testing Techniques

2026-03-18T19:34:17Z

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

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

2026-03-18T19:34:17Z

Yazar Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72814-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable and Energy Efficient Streaming Multiprocessor Systems

2026-03-18T19:34:17Z

Yazar Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69374-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing

2026-03-18T19:34:17Z

Yazar Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8554-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CMOS Circuits for Biological Sensing and Processing

2026-03-18T19:34:17Z

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

Design of FPGA-Based Computing Systems with OpenCL

2026-03-18T19:34:17Z

Yazar Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68161-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Electromigration-Aware Integrated Circuit Design

2026-03-18T19:34:17Z

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

5G and E-Band Communication Circuits in Deep-Scaled CMOS

2026-03-18T19:34:17Z

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

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2026-03-18T19:34:17Z

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

Symbolic Parallelization of Nested Loop Programs

2026-03-18T19:34:17Z

Yazar Tanase, Alexandru-Petru. author. Hannig, Frank. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73909-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Model Order Reduction

2026-03-18T19:34:17Z

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

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2026-03-18T19:34:17Z

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

Dependable Multicore Architectures at Nanoscale

2026-03-18T19:34:17Z

Yazar Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54422-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Logic Synthesis

2026-03-18T19:34:17Z

Yazar Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67295-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

2026-03-18T19:34:17Z

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

Digital Storage in Consumer Electronics The Essential Guide

2026-03-18T19:34:17Z

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

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2026-03-18T19:34:17Z

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

Fog Computing in the Internet of Things Intelligence at the Edge

2026-03-18T19:34:17Z

Yazar Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57639-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2026-03-18T19:34:17Z

Yazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68499-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-03-18T19:34:17Z

Yazar Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69483-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling Perspectives

2026-03-18T19:34:17Z

Yazar Cabot, Jordi. editor. Gómez, Cristina. editor. Pastor, Oscar. editor. Sancho, Maria Ribera. editor. Teniente, Ernest. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67271-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings

2026-03-18T19:34:17Z

Yazar An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69131-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2026-03-18T19:34:17Z

Yazar El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59647-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2026-03-18T19:34:17Z

Yazar Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66284-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-Aware Computing Systems

2026-03-18T19:34:17Z

Yazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47474-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Economic Theory: Skynet in the Market

2026-03-18T19:34:17Z

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

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

2026-03-18T19:34:17Z

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

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-03-18T19:34:17Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63501-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings

2026-03-18T19:34:17Z

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

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-18T19:34:17Z

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

Software Engineering: Specification, Implementation, Verification

2026-03-18T19:34:17Z

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

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2026-03-18T19:34:17Z

Yazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45480-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42291-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2026-03-18T19:34:17Z

Yazar Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48989-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42691-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47169-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-03-18T19:34:17Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44832-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Simulation A Model Driven Engineering Approach

2026-03-18T19:34:17Z

Yazar Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03050-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II

2026-03-18T19:34:17Z

Yazar Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Transfer Entropy Information Flow in Complex Systems

2026-03-18T19:34:17Z

Yazar Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43222-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-18T19:34:17Z

Yazar Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46433-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-18T19:34:17Z

Yazar Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49665-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-03-18T19:34:17Z

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

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2026-03-18T19:34:17Z

Yazar Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47677-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-03-18T19:34:17Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47166-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

2026-03-18T19:34:17Z

Yazar Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40030-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Computational Neuroscience

2026-03-18T19:34:17Z

Yazar Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4614-6675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Multimedia Security Systems Algorithms and Architectures

2026-03-18T19:34:17Z

Yazar Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)
Yer Numarası ONLINE(330984.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4459-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Computing Principles, Design and Implementation

2026-03-18T19:34:17Z

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

Self-Organization in Embedded Real-Time Systems

2026-03-18T19:34:17Z

Yazar Higuera-Toledano, M. Teresa. editor. Brinkschulte, Uwe. editor. Rettberg, Achim. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331293.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1969-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Acquisition Systems From Fundamentals to Applied Design

2026-03-18T19:34:17Z

Yazar Di Paolo Emilio, Maurizio. author. SpringerLink (Online service)
Yer Numarası ONLINE(331451.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4214-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An ASIC Low Power Primer Analysis, Techniques and Specification

2026-03-18T19:34:17Z

Yazar Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Yer Numarası ONLINE(331464.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Neuroevolution Through Erlang

2026-03-18T19:34:17Z

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

Towards Adaptive Spoken Dialog Systems

2026-03-18T19:34:17Z

Yazar Schmitt, Alexander. author. Minker, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE(331545.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4593-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D Video Coding for Embedded Devices Energy Efficient Algorithms and Architectures

2026-03-18T19:34:17Z

Yazar Zatt, Bruno. author. Shafique, Muhammad. author. Bampi, Sergio. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332110.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6759-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scala Design Patterns Patterns for Practical Reuse and Design

2026-03-18T19:34:17Z

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

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2026-03-18T19:34:17Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Deployment of System Engineering Methods

2026-03-18T19:34:17Z

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

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2026-03-18T19:34:17Z

Yazar Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Yer Numarası ONLINE(334328.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

2026-03-18T19:34:17Z

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

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2026-03-18T19:34:17Z

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

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2026-03-18T19:34:17Z

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

Embedded Systems for Smart Appliances and Energy Management

2026-03-18T19:34:17Z

Yazar Grimm, Christoph. editor. Neumann, Peter. editor. Mahlknecht, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330846.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-8795-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for High Performance, Low Power, and Reliable 3D Integrated Circuits

2026-03-18T19:34:17Z

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

An Introduction to Network Programming with Java Java 7 Compatible

2026-03-18T19:34:17Z

Yazar Graba, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331180.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Databases A Practical Introduction

2026-03-18T19:34:17Z

Yazar Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE(331224.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives

2026-03-18T19:34:17Z

Yazar Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)
Yer Numarası ONLINE(331237.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0278-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Partial Reconfiguration on FPGAs Architectures, Tools and Applications

2026-03-18T19:34:17Z

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

System-Level Validation High-Level Modeling and Directed Test Generation Techniques

2026-03-18T19:34:17Z

Yazar Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Yer Numarası ONLINE(331265.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Design with FPGAs

2026-03-18T19:34:17Z

Yazar Athanas, Peter. editor. Pnevmatikatos, Dionisios. editor. Sklavos, Nicolas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331266.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1362-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Performance Computing Using FPGAs

2026-03-18T19:34:17Z

Yazar Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331283.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

2026-03-18T19:34:17Z

Yazar Daněk, Martin. author. Kafka, Leoš. author. Kohout, Lukáš. author. Sýkora, Jaroslav. author. Bartosinski, Roman. author.
Yer Numarası ONLINE(331311.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-2410-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)

2026-03-18T19:34:17Z

Yazar Gangadharan, Sridhar. author. Churiwala, Sanjay. author. SpringerLink (Online service)
Yer Numarası ONLINE(331327.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3269-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to Hardware/Software Codesign

2026-03-18T19:34:17Z

Yazar Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası ONLINE(331370.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach

2026-03-18T19:34:17Z

Yazar Cardoso, João Manuel Paiva. editor. Diniz, Pedro C. editor. de Figueiredo Coutinho, José Gabriel. editor. Petrov, Zlatko Marinov. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331615.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4894-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Reflections, Challenges and New Directions

2026-03-18T19:34:17Z

Yazar Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Yer Numarası ONLINE(331631.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Technologies for Green and Sustainable Computing Systems

2026-03-18T19:34:17Z

Yazar Pande, Partha Pratim. editor. Ganguly, Amlan. editor. Chakrabarty, Krishnendu. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331637.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4975-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems

2026-03-18T19:34:17Z

Yazar Fasthuber, Robert. author. Catthoor, Francky. author. Raghavan, Praveen. author. Naessens, Frederik. author. SpringerLink (Online service)
Yer Numarası ONLINE(331642.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4992-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Design of Adaptive Embedded Systems

2026-03-18T19:34:17Z

Yazar Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331594.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Energy-aware Scheduling on Multiprocessor Platforms

2026-03-18T19:34:17Z

Yazar Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Yer Numarası ONLINE(331714.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing TSVs for 3D Integrated Circuits

2026-03-18T19:34:17Z

Yazar Khan, Nauman. author. Hassoun, Soha. author. SpringerLink (Online service)
Yer Numarası ONLINE(331791.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5508-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finding Source Code on the Web for Remix and Reuse

2026-03-18T19:34:17Z

Yazar Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Web Ecosystem Design

2026-03-18T19:34:17Z

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 and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2026-03-18T19:34:17Z

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

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2026-03-18T19:34:17Z

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

Introduction to Cryptography with Maple

2026-03-18T19:34:17Z

Yazar Gómez Pardo, José Luis. author. SpringerLink (Online service)
Yer Numarası ONLINE(333533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-03-18T19:34:17Z

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