Search Results for - Narrowed by: Software engineering.

Artificial Intelligence in Intelligent Systems Proceedings of 10th Computer Science On-line Conference 2021, Vol. 2

2024-11-10T00:03:29Z

Yazar Silhavy, Radek. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030774455
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Informatics and Cybernetics in Intelligent Systems Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3

2024-11-10T00:03:29Z

Yazar Silhavy, Radek. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030774486
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

IT Crisisology: Smart Crisis Management in Software Engineering Models, Methods, Patterns, Practices, Case Studies

2024-11-10T00:03:29Z

Yazar Zykov, Sergey V. author. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9789813344358
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-10T00:03:29Z

Yazar Lee, Roger. editor. Kim, Jong Bae. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030670085
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

New Perspectives in Software Engineering Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020)

2024-11-10T00:03:29Z

Yazar Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030633295
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Software Engineering and Algorithms Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1

2024-11-10T00:03:29Z

Yazar Silhavy, Radek. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030774424
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Software Engineering Application in Informatics Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1

2024-11-10T00:03:29Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030903183
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Data Science and Intelligent Systems Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 2

2024-11-10T00:03:29Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030903213
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Design Thinking Research Translation, Prototyping, and Measurement

2024-11-10T00:03:29Z

Yazar Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)
Yer Numarası HF54.5 -54.56
ISBN 9783030763244
Elektronik Erişim Full Text Available From Springer Nature Business and Management 2021 Packages
Format: Electronic Resources

Petri Nets for Modeling of Large Discrete Systems

2024-11-10T00:03:29Z

Yazar Davidrajuh, Reggie. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9789811652035
Elektronik Erişim Full Text Available From Springer Nature Business and Management 2021 Packages
Format: Electronic Resources

A Holistic View of Software and Hardware Reuse Dependable Reuse of Components and Systems

2024-11-10T00:03:29Z

Yazar Belli, Fevzi. author. Quella, Ferdinand. author. SpringerLink (Online service)
Yer Numarası GE40 -45
ISBN 9783030722616
Elektronik Erişim Full Text Available From Springer Nature Earth and Environmental Science 2021 Packages
Format: Electronic Resources

Embedded Systems - A Hardware-Software Co-Design Approach Unleash the Power of Arduino!

2024-11-10T00:03:29Z

Yazar Morshed, Bashir I. author. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
ISBN 9783030668082
Elektronik Erişim Full Text Available From Springer Nature Engineering 2021 Packages
Format: Electronic Resources

Software Engineering for Robotics

2024-11-10T00:03:29Z

Yazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Hierons, Rob. editor. (orcid)0000-0002-4771-1446 Timmis, Jon. editor. (orcid)0000-0003-1055-0471 Woodcock, Jim. editor. (orcid)0000-0001-7955-2702
Yer Numarası QA76.758
ISBN 9783030664947
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-11-10T00:03:29Z

Yazar Kormanyos, Christopher. author. SpringerLink (Online service)
Yer Numarası QA76.5 -.73
ISBN 9783662629963
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Knowledge Management in Organizations 15th International Conference, KMO 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Uden, Lorna. editor. Ting, I-Hsien. editor. Wang, Kai. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030816353
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Silva, Alexandra. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030816858
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Silva, Alexandra. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030816889
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Dima, Catalin. editor. Shirmohammadi, Mahsa. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030850371
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Cloud Computing, Big Data & Emerging Topics 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Naiouf, Marcelo. editor. (orcid)0000-0001-9127-3212 Rucci, Enzo. editor. (orcid)0000-0001-6736-7358 Chichizola, Franco. editor. (orcid)0000-0001-8857-6343 De Giusti, Laura. editor. (orcid)0000-0003-2850-801X SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030848255
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Automotive Software Architectures An Introduction

2024-11-10T00:03:29Z

Yazar Staron, Miroslaw. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030659394
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Li, Chu-Min. editor. (orcid)0000-0002-6886-8434 Manyà, Felip. editor. (orcid)0000-0002-8366-1458 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030802233
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

AIxIA 2020 - Advances in Artificial Intelligence XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030770914
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

HCI in Mobility, Transport, and Automotive Systems Third International Conference, MobiTAS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Krömker, Heidi. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030783587
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Laarman, Alfons. editor. (orcid)0000-0002-2433-4174 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030846299
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Microelectronic Devices, Circuits and Systems Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Arunachalam, V. editor. (orcid)0000-0002-7797-4749 Sivasankaran, K. editor. (orcid)0000-0001-7036-0165 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9789811650482
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Provenance and Annotation of Data and Processes 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Glavic, Boris. editor. (orcid)0000-0003-2887-2452 Braganholo, Vanessa. editor. (orcid)0000-0002-1184-8192 Koop, David. editor. (orcid)0000-0002-4422-6162 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030809607
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Parallel Computational Technologies 15th International Conference, PCT 2021, Volgograd, Russia, March 30 - April 1, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası QA76.9 .S88
ISBN 9783030816919
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Modelling to Program Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10-12, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Dahanayake, Ajantha. editor. (orcid)0000-0003-4782-4296 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 Thalheim, Bernhard. editor. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030726966
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Intelligent Robotics and Applications 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part III

2024-11-10T00:03:29Z

Yazar Liu, Xin-Jun. editor. Nie, Zhenguo. editor. Yu, Jingjun. editor. Xie, Fugui. editor. Song, Rui. editor.
Yer Numarası Q334 -342
ISBN 9783030891343
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Intelligent Robotics and Applications 14th International Conference, ICIRA 2021, Yantai, China, October 22-25, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Liu, Xin-Jun. editor. Nie, Zhenguo. editor. Yu, Jingjun. editor. Xie, Fugui. editor. Song, Rui. editor.
Yer Numarası Q334 -342
ISBN 9783030890957
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2021 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part IX

2024-11-10T00:03:29Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Blečić, Ivan. editor. (orcid)0000-0002-4446-6705
Yer Numarası TK5105.5 -5105.9
ISBN 9783030870133
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Theory and Practice of Natural Computing 10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Aranha, Claus. editor. (orcid)0000-0003-1390-7536 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030904258
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection International Workshops of PAAMS 2021, Salamanca, Spain, October 6-9, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar De La Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 El Bolock, Alia. editor. Durães, Dalila. editor. (orcid)0000-0002-8313-7023 Carneiro, João. editor. (orcid)0000-0002-5153-2395 Lopes, Fernando. editor. (orcid)0000-0002-1246-2777
Yer Numarası Q334 -342
ISBN 9783030857103
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Distributed Computing and Internet Technology 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Goswami, Diganta. editor. Hoang, Truong Anh. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030656218
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Model and Data Engineering in the Digitalization Era MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Chernishev, George. editor. (orcid)0000-0002-4265-9642 Corral, Antonio. editor. (orcid)0000-0002-0069-4642 Ouchani, Samir. editor. (orcid)0000-0002-7997-8225 Vain, Jüri. editor. (orcid)0000-0002-0700-7972
Yer Numarası QA76.758
ISBN 9783030876579
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Information, Communication and Computing Technology 6th International Conference, ICICCT 2021, New Delhi, India, May 8, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Bhattacharya, Mahua. editor. Kharb, Latika. editor. (orcid)0000-0002-8549-0920 Chahal, Deepak. editor. (orcid)0000-0003-3890-1691 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030883782
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Information and Software Technologies 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14-16, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Lopata, Audrius. editor. (orcid)0000-0003-2302-8252 Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030883041
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Modern Problems of Robotics Second International Conference, MPoR 2020, Moscow, Russia, March 25-26, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Yuschenko, Arkady. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030884581
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Society 5.0 First International Conference, Society 5.0 2021, Virtual Event, June 22-24, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Gerber, Aurona. editor. (orcid)0000-0003-1743-8167 Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030867614
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6-8, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Dignum, Frank. editor. (orcid)0000-0002-5103-8127 Corchado, Juan Manuel. editor. (orcid)0000-0002-2829-1829 De La Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030857394
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Service-Oriented Computing 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13-17, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Barzen, Johanna. editor. (orcid)0000-0001-8397-7973 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030875688
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Quality: Future Perspectives on Software Engineering Quality 13th International Conference, SWQD 2021, Vienna, Austria, January 19-21, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Mendez, Daniel. editor. (orcid)0000-0003-0619-6027 Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 Bergsmann, Johannes. editor.
Yer Numarası QA76.758
ISBN 9783030658540
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Lean and Agile Software Development 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X Miler, Jakub. editor. (orcid)0000-0003-2946-002X Poth, Alexander. editor. Riel, Andreas. editor. (orcid)0000-0001-9859-019X SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030670849
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Multi-Agent-Based Simulation XXI 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Swarup, Samarth. editor. (orcid)0000-0003-3615-1663 Savarimuthu, Bastin Tony Roy. editor. (orcid)0000-0003-3213-6319 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030668884
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Building Better Interfaces for Remote Autonomous Systems An Introduction for Systems Engineers

2024-11-10T00:03:29Z

Yazar Oury, Jacob D. author. Ritter, Frank E. author. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030477752
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer-Human Interaction Research and Applications Second International Conference, CHIRA 2018, Seville, Spain, September 19-21, 2018 and Third International Conference, CHIRA 2019, Vienna, Austria, September 20-21, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Escalona, Maria Jose. editor. Ramirez, Andres Jimenez. editor. Silva, Hugo Plácido. editor. Constantine, Larry. editor. Helfert, Markus. editor.
Yer Numarası QA76.9 .U83
ISBN 9783030671082
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Business 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16-18, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Klotins, Eriks. editor. (orcid)0000-0002-1987-2234 Wnuk, Krzysztof. editor. (orcid)0000-0003-3567-9300 SpringerLink (Online service)
Yer Numarası HD9696.2 -9696.82
ISBN 9783030672928
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Johnen, Colette. editor. (orcid)0000-0001-7170-4521 Schiller, Elad Michael. editor. (orcid)0000-0003-3258-3696 Schmid, Stefan. editor. (orcid)0000-0002-7798-1711 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030910815
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Păsăreanu, Corina. editor. Zhan, Naijun. editor. (orcid)0000-0003-3298-3817 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030908706
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Resilience in the Digital Age

2024-11-10T00:03:29Z

Yazar Roberts, Fred S. editor. (orcid)0000-0001-8421-4759 Sheremet, Igor A. editor. (orcid)0000-0002-9225-1688 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030703707
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Conceptual Modeling ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905 Sadiq, Shazia. editor. (orcid)0000-0001-6739-4145 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030883584
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

HCI International 2021 - Late Breaking Papers: Design and User Experience 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Stephanidis, Constantine. editor. Soares, Marcelo M. editor. Rosenzweig, Elizabeth. editor. Marcus, Aaron. editor. Yamamoto, Sakae. editor.
Yer Numarası QA76.9 .U83
ISBN 9783030902384
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030891596
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Conceptual Modeling 40th International Conference, ER 2021, Virtual Event, October 18-21, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Ghose, Aditya. editor. (orcid)0000-0002-6175-8726 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Silva Souza, Vítor E. editor. (orcid)0000-0003-1869-5704 Parsons, Jeffrey. editor. (orcid)0000-0002-4819-2801 Evermann, Joerg. editor.
Yer Numarası QA76.758
ISBN 9783030890223
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Computational Intelligence 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Batyrshin, Ildar. editor. (orcid)0000-0003-0241-7902 Gelbukh, Alexander. editor. (orcid)0000-0001-7845-9039 Sidorov, Grigori. editor. (orcid)0000-0003-3901-3522 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030898175
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Guide to Web Development with Java Understanding Website Creation

2024-11-10T00:03:29Z

Yazar Downey, Tim. author. SpringerLink (Online service)
Yer Numarası QA76.625
ISBN 9783030622749
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Static Analysis 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Drăgoi, Cezara. editor. Mukherjee, Suvam. editor. (orcid)0000-0002-9040-0053 Namjoshi, Kedar. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030888060
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021 Proceedings

2024-11-10T00:03:29Z

Yazar Stephanidis, Constantine. editor. Duffy, Vincent G. editor. Krömker, Heidi. editor. Fui-Hoon Nah, Fiona. editor. Siau, Keng. editor.
Yer Numarası QA76.9 .U83
ISBN 9783030909666
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Information and Communication Technologies 9th Conference of Ecuador, TICEC 2021, Guayaquil, Ecuador, November 24-26, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Salgado Guerrero, Juan Pablo. editor. (orcid)0000-0002-3687-3220 Chicaiza Espinosa, Janneth. editor. (orcid)0000-0003-3439-3618 Cerrada Lozada, Mariela. editor. (orcid)0000-0003-4379-8836 Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030899417
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Knowledge Graphs and Semantic Web Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22-24, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Villazón-Terrazas, Boris. editor. (orcid)0000-0002-8572-7887 Ortiz-Rodríguez, Fernando. editor. (orcid)0000-0003-2084-3462 Tiwari, Sanju. editor. (orcid)0000-0001-7197-0766 Goyal, Ayush. editor. (orcid)0000-0002-1585-8806 Jabbar, MA. editor. (orcid)0000-0003-4059-2728
Yer Numarası Q334 -342
ISBN 9783030913052
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Technological Innovation for Applied AI Systems 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7-9, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ferreira, Pedro. editor. (orcid)0000-0002-9301-8298 Brito, Guilherme. editor. (orcid)0000-0001-8331-159X SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030782887
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Formal Methods: Foundations and Applications 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Campos, Sérgio. editor. (orcid)0000-0002-0377-3143 Minea, Marius. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030921378
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Intelligent Systems 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Britto, André. editor. (orcid)0000-0002-6498-9706 Valdivia Delgado, Karina. editor. (orcid)0000-0002-9120-8987 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030917029
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Computational Collective Intelligence 13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 - October 1, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Wojtkiewicz, Krystian. editor. (orcid)0000-0002-7851-4330 Treur, Jan. editor. (orcid)0000-0003-2466-9158 Pimenidis, Elias. editor. (orcid)0000-0003-3593-8640 Maleszka, Marcin. editor. (orcid)0000-0001-6989-2906 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030881139
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Service-Oriented Computing - ICSOC 2020 Workshops AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Outay, Fatma. editor. (orcid)0000-0002-9300-6270 Paik, Hye-young. editor. (orcid)0000-0003-4425-7388 Alloum, Amira. editor. Petrocchi, Marinella. editor. (orcid)0000-0003-0591-877X
Yer Numarası QA76.76 .A65
ISBN 9783030763527
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Lassenius, Casper. editor. (orcid)0000-0003-4192-7024 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030780982
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Euro-Par 2021: Parallel Processing 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Sousa, Leonel. editor. (orcid)0000-0002-8066-221X Roma, Nuno. editor. (orcid)0000-0003-2491-4977 Tomás, Pedro. editor. (orcid)0000-0001-8083-4432 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030856656
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Konev, Boris. editor. Reger, Giles. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030862053
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Parallel Computing Technologies 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13-18, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030863593
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Artificial Intelligence and Soft Computing 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Yer Numarası Q334 -342
ISBN 9783030879860
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings

2024-11-10T00:03:29Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Nakajima, Shin. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9789811550546
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Kalenkova, Anna. editor. (orcid)0000-0002-5088-7602 Lozano, Jose A. editor. Yavorskiy, Rostislav. editor. (orcid)0000-0003-0509-1821 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030714727
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Architecture 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Navarro, Elena. editor. (orcid)0000-0001-9496-6890 Löwe, Welf. editor. (orcid)0000-0002-7565-3714 Sirjani, Marjan. editor. (orcid)0000-0001-5478-0987 Mirandola, Raffaela. editor. (orcid)0000-0003-3154-2438
Yer Numarası QA76.758
ISBN 9783030860448
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Das, Anupam. editor. Negri, Sara. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030860592
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Cross-Cultural Design. Applications in Arts, Learning, Well-being, and Social Development 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030770778
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advanced Computing 10th International Conference, IACC 2020, Panaji, Goa, India, December 5-6, 2020, Revised Selected Papers, Part II

2024-11-10T00:03:29Z

Yazar Garg, Deepak. editor. Wong, Kit. editor. Sarangapani, Jagannathan. editor. Gupta, Suneet Kumar. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9789811604041
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Risks and Security of Internet and Systems 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Leneutre, Jean. editor. Cuppens, Nora. editor. (orcid)0000-0001-8792-0413 Yaich, Reda. editor. (orcid)0000-0001-7294-5909 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030688875
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Fernández, Maribel. editor. (orcid)0000-0001-8325-5815 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030684464
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

PRIMA 2020: Principles and Practice of Multi-Agent Systems 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Uchiya, Takahiro. editor. Bai, Quan. editor. (orcid)0000-0003-1214-6317 Marsá Maestre, Iván. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030693220
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Zarges, Christine. editor. Verel, Sébastien. editor. (orcid)0000-0003-1661-4093 SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030729042
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Information Systems and Industrial Management 20th International Conference, CISIM 2021, Ełk, Poland, September 24-26, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Dvorský, Jiří. editor. (orcid)0000-0003-3787-9533 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030843403
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Spoletini, Paola. editor. (orcid)0000-0001-7922-4936 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030731281
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Membrane Computing Models: Implementations

2024-11-10T00:03:29Z

Yazar Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Pérez-Jiménez, Mario J. author. (orcid)0000-0002-5055-0102 Riscos-Núñez, Agustín. author. (orcid)0000-0002-5409-3578 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Konur, Savas. author. (orcid)0000-0002-0642-9452
Yer Numarası QA76.9 .C65
ISBN 9789811615665
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Culture and Computing. Design Thinking and Cultural Computing 9th International Conference, C&C 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Rauterberg, Matthias. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030774318
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Cirne, Walfredo. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030882242
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Head and Neck Tumor Segmentation First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Andrearczyk, Vincent. editor. (orcid)0000-0003-0793-5821 Oreiller, Valentin. editor. (orcid)0000-0002-7794-6916 Depeursinge, Adrien. editor. (orcid)0000-0002-2362-0304 SpringerLink (Online service)
Yer Numarası TA1501 -1820
ISBN 9783030671945
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Networked Systems 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Georgiou, Chryssis. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030670870
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Soft Computing and its Engineering Applications Second International Conference, icSoftComp 2020, Changa, Anand, India, December 11-12, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Patel, Kanubhai K. editor. (orcid)0000-0001-9091-0419 Garg, Deepak. editor. Patel, Atul. editor. (orcid)0000-0001-5697-2050 Lingras, Pawan. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9789811607080
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Mathematical Modeling and Supercomputer Technologies 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Balandin, Dmitry. editor. (orcid)0000-0001-7727-5924 Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Gergel, Victor. editor. (orcid)0000-0002-4013-2329 Meyerov, Iosif. editor. (orcid)0000-0001-6905-2050 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030787592
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Reachability Problems 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Bell, Paul C. editor. (orcid)0000-0003-2620-635X Totzke, Patrick. editor. (orcid)0000-0001-5274-8190 Potapov, Igor. editor. (orcid)0000-0002-7192-7853 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030897161
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 18th International Conference, GECON 2021, Virtual Event, September 21-23, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Tserpes, Konstantinos. editor. (orcid)0000-0001-5183-1443 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 Agmon Ben-Yehuda, Orna. editor. (orcid)0000-0002-6699-8999 Djemame, Karim. editor. (orcid)0000-0001-5811-5263
Yer Numarası TK5105.5 -5105.9
ISBN 9783030929169
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Cryptology and Network Security 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Stevens, Marc. editor. (orcid)0000-0002-7091-2924 Krenn, Stephan. editor. SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030925482
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Smart and Sustainable Collaborative Networks 4.0 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22-24, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030859695
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Visual Informatics 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23-25, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Badioze Zaman, Halimah. editor. Smeaton, Alan F. editor. Shih, Timothy K. editor. Velastin, Sergio. editor. Terutoshi, Tada. editor.
Yer Numarası TA1634
ISBN 9783030902353
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Secure IT Systems 26th Nordic Conference, NordSec 2021, Virtual Event, November 29-30, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Tuveri, Nicola. editor. (orcid)0000-0001-5172-4568 Michalas, Antonis. editor. (orcid)0000-0002-0189-3520 Brumley, Billy Bob. editor. (orcid)0000-0001-9160-0463 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030916251
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Dependable Computing - EDCC 2021 Workshops DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Adler, Rasmus. editor. (orcid)0000-0002-7482-7102 Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Burton, Simon. editor. Di Salle, Amleto. editor. (orcid)0000-0002-0163-9784 Nostro, Nicola. editor. (orcid)0000-0001-6295-3622
Yer Numarası QA76.758
ISBN 9783030865078
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advanced Research in Technologies, Information, Innovation and Sustainability First International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25-27, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Santos, Manuel Filipe. editor. (orcid)0000-0002-5441-3316 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030902414
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Methods in Systems Biology 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Cinquemani, Eugenio. editor. Paulevé, Loïc. editor. SpringerLink (Online service)
Yer Numarası QH324.2 -324.25
ISBN 9783030856335
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Habli, Ibrahim. editor. (orcid)0000-0003-2736-8238 Sujan, Mark. editor. (orcid)0000-0001-6895-946X Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030839031
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Habli, Ibrahim. editor. (orcid)0000-0003-2736-8238 Sujan, Mark. editor. (orcid)0000-0001-6895-946X Gerasimou, Simos. editor. (orcid)0000-0002-2706-5272 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Yer Numarası TK7885 -7895
ISBN 9783030839062
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Systems, Software and Services Process Improvement 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Yilmaz, Murat. editor. Clarke, Paul. editor. Messnarz, Richard. editor. Reiner, Michael. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M3
ISBN 9783030855215
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

From Data to Models and Back 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Nanni, Mirco. editor. (orcid)0000-0003-3534-4332 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030706500
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Business Modeling and Software Design 11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5-7, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030799762
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Cross-Cultural Design. Applications in Cultural Heritage, Tourism, Autonomous Vehicles, and Intelligent Agents 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III

2024-11-10T00:03:29Z

Yazar Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030770808
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:03:29Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030715007
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Simulation Tools and Techniques 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Song, Houbing. editor. (orcid)0000-0003-2631-9223 Jiang, Dingde. editor. (orcid)0000-0003-0284-5624 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030727925
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications 16th International Conference, WASA 2021, Nanjing, China, June 25-27, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Liu, Zhe. editor. Wu, Fan. editor. Das, Sajal K. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030859282
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Agile Testing The Agile Way to Quality

2024-11-10T00:03:29Z

Yazar Baumgartner, Manfred. author. Klonk, Martin. author. Mastnak, Christian. author. Pichler, Helmut. author. Seidl, Richard. author.
Yer Numarası QA76.758
ISBN 9783030732097
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Big Data and Security Second International Conference, ICBDS 2020, Singapore, Singapore, December 20-22, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Tian, Yuan. editor. (orcid)0000-0002-2307-8201 Ma, Tinghuai. editor. (orcid)0000-0003-2320-1692 Khan, Muhammad Khurram. editor. (orcid)0000-0001-6636-0533 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9789811631504
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

2024-11-10T00:03:29Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030837235
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Soft Computing 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Batyrshin, Ildar. editor. (orcid)0000-0003-0241-7902 Gelbukh, Alexander. editor. (orcid)0000-0001-7845-9039 Sidorov, Grigori. editor. (orcid)0000-0003-3901-3522 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030898205
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Applied Computer Sciences in Engineering 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6-8, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Díaz-Gutierrez, Yesid. editor. (orcid)0000-0003-3525-3537 Gaona-García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 Orjuela-Cañón, Alvaro David. editor. (orcid)0000-0002-2057-7603 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030867027
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Quantitative Evaluation of Systems 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030851729
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XV

2024-11-10T00:03:29Z

Yazar Koutny, Maciej. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Pomello, Lucia. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783662630792
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783030720193
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Cloud Computing and Services Science 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Ferguson, Donald. editor. Pahl, Claus. editor. (orcid)0000-0002-9049-212X Helfert, Markus. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030723699
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Human Aspects of IT for the Aged Population. Technology Design and Acceptance 7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Gao, Qin. editor. Zhou, Jia. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030781088
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Sciences - Modelling, Computing and Soft Computing First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Awasthi, Ashish. editor. John, Sunil Jacob. editor. Panda, Satyananda. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9789811647727
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Platzer, André. editor. (orcid)0000-0001-7238-5710 Sutcliffe, Geoff. editor. (orcid)0000-0001-9120-3927 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030798765
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Tests and Proofs 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Loulergue, Frédéric. editor. (orcid)0000-0001-9301-7829 Wotawa, Franz. editor. (orcid)0000-0002-0462-2283 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030793791
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Multi-Agent Systems 18th European Conference, EUMAS 2021, Virtual Event, June 28-29, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Rosenfeld, Ariel. editor. (orcid)0000-0002-3230-3060 Talmon, Nimrod. editor. (orcid)0000-0001-7916-0979 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030822545
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Chinese Lexical Semantics 21st Workshop, CLSW 2020, Hong Kong, China, May 28-30, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Liu, Meichun. editor. (orcid)0000-0001-9471-7181 Kit, Chunyu. editor. (orcid)0000-0002-6445-7400 Su, Qi. editor. (orcid)0000-0002-4769-2812 SpringerLink (Online service)
Yer Numarası TA1501 -1820
ISBN 9783030811976
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

The Next Wave of Sociotechnical Design 16th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2021, Kristiansand, Norway, August 4-6, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Chandra Kruse, Leona. editor. (orcid)0000-0002-9001-3870 Seidel, Stefan. editor. (orcid)0000-0003-2083-6510 Hausvik, Geir Inge. editor. (orcid)0000-0001-5285-8621 SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030824051
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Artificial Intelligence in Music, Sound, Art and Design 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Romero, Juan. editor. (orcid)0000-0001-5566-5382 Martins, Tiago. editor. (orcid)0000-0003-2638-237X Rodríguez-Fernández, Nereida. editor. (orcid)0000-0003-1412-5253 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030729141
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

HCI International 2021 - Late Breaking Posters 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Stephanidis, Constantine. editor. Antona, Margherita. editor. Ntoa, Stavroula. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030901769
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Progress in Cryptology - INDOCRYPT 2021 22nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Adhikari, Avishek. editor. (orcid)0000-0002-7768-4629 Küsters, Ralf. editor. (orcid)0000-0002-9071-9312 Preneel, Bart. editor. (orcid)0000-0003-2005-9651 SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030925185
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Theoretical Computer Science 38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar He, Kun. editor. (orcid)0000-0001-7627-4604 Zhong, Cheng. editor. (orcid)0000-0002-5560-2151 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Yin, Yitong. editor. (orcid)0000-0001-9204-7794 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9789811618772
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement

2024-11-10T00:03:29Z

Yazar Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Bouguettaya, Athman. editor. Tamburri, Damian Andrew. editor. (orcid)0000-0003-1230-8961 van den Heuvel, Willem-Jan. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030732035
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Sustainable Energy for Smart Cities Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Afonso, João L. editor. (orcid)0000-0001-9195-1239 Monteiro, Vitor. editor. (orcid)0000-0001-6640-8955 Pinto, José Gabriel. editor. (orcid)0000-0003-4289-4770 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030735852
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Trustworthy AI - Integrating Learning, Optimization and Reasoning First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Heintz, Fredrik. editor. (orcid)0000-0002-9595-2471 Milano, Michela. editor. (orcid)0000-0001-7379-1411 O'Sullivan, Barry. editor. (orcid)0000-0002-0090-2085 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030739591
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2021 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part X

2024-11-10T00:03:29Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Blečić, Ivan. editor. (orcid)0000-0002-4446-6705
Yer Numarası TK5105.5 -5105.9
ISBN 9783030870164
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

NASA Formal Methods 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Dutle, Aaron. editor. Moscato, Mariano M. editor. Titolo, Laura. editor. Muñoz, César A. editor. Perez, Ivan. editor.
Yer Numarası QA76.758
ISBN 9783030763848
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Model-Driven Engineering and Software Development 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selić, Bran. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030674458
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Techniques for Searching, Parsing, and Matching

2024-11-10T00:03:29Z

Yazar Pettorossi, Alberto. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030631895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Supercomputing 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27-28, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Yer Numarası QA76.5 -.73
ISBN 9783030928643
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning - IDEAL 2021 22nd International Conference, IDEAL 2021, Manchester, UK, November 25-27, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Camacho, David. editor. (orcid)0000-0002-5051-3475 Tino, Peter. editor. (orcid)0000-0003-2330-128X Allmendinger, Richard. editor. (orcid)0000-0003-1236-3143 Tallón-Ballesteros, Antonio J. editor. (orcid)0000-0002-9699-1894
Yer Numarası QA76.9 .D343
ISBN 9783030916084
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Hou, Zhe. editor. (orcid)0000-0001-7164-0580 Ganesh, Vijay. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030888855
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Formal Methods in Outer Space Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

2024-11-10T00:03:29Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. (orcid)0000-0002-0114-0641 Leucker, Martin. editor. (orcid)0000-0002-3696-9222 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030873486
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Machine Learning and Principles and Practice of Knowledge Discovery in Databases International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Kamp, Michael. editor. (orcid)0000-0001-6231-0694 Koprinska, Irena. editor. (orcid)0000-0001-9479-4187 Bibal, Adrien. editor. (orcid)0000-0002-8650-8635 Bouadi, Tassadit. editor. (orcid)0000-0002-6028-4450 Frénay, Benoît. editor. (orcid)0000-0002-7859-2750
Yer Numarası Q334 -342
ISBN 9783030937362
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Cryptology - ASIACRYPT 2021 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Tibouchi, Mehdi. editor. (orcid)0000-0002-2736-2963 Wang, Huaxiong. editor. (orcid)0000-0002-7669-8922 SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030920753
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Networked Systems 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Echihabi, Karima. editor. (orcid)0000-0001-8095-6608 Meyer, Roland. editor. (orcid)0000-0001-8495-671X SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030910143
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Enterprise, Business-Process and Information Systems Modeling 22nd International Conference, BPMDS 2021, and 26th International Conference, EMMSAD 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June 28-29, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Augusto, Adriano. editor. (orcid)0000-0001-7970-5246 Gill, Asif. editor. (orcid)0000-0001-6239-6280 Nurcan, Selmin. editor. (orcid)0000-0001-9676-4520 Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905 Schmidt, Rainer. editor. (orcid)0000-0002-1637-0589
Yer Numarası QA76.76 .A65
ISBN 9783030791865
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Logic, Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

2024-11-10T00:03:29Z

Yazar Raschke, Alexander. editor. (orcid)0000-0002-6088-8393 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030760205
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Membrane Computing 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Freund, Rudolf. editor. (orcid)0000-0003-1255-1953 Ishdorj, Tseren-Onolt. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. (orcid)0000-0002-9329-556X Zandron, Claudio. editor. (orcid)0000-0002-2163-7639
Yer Numarası QA75.5 -76.95
ISBN 9783030771027
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Requirements Engineering for Social Sector Software Applications Innovating for a Diverse Set of User Needs

2024-11-10T00:03:29Z

Yazar Gupta, Varun. author. SpringerLink (Online service)
Yer Numarası TK5101 -5105.9
ISBN 9783030835491
Elektronik Erişim Full Text Available From Springer Nature Social Sciences 2021 Packages
Format: Electronic Resources

The Agile Codex Re-inventing Agile Through the Science of Invention and Assembly

2024-11-10T00:03:29Z

Yazar McCormick, Michael. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9781484272800
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Cryptography and Cryptanalysis in MATLAB Creating and Programming Advanced Algorithms

2024-11-10T00:03:29Z

Yazar Mihailescu, Marius Iulian. author. Nita, Stefania Loredana. author. SpringerLink (Online service)
Yer Numarası QA76.7 -.73
ISBN 9781484273340
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Lean Software Systems Engineering for Developers Managing Requirements, Complexity, Teams, and Change Like a Champ

2024-11-10T00:03:29Z

Yazar Durham, Doug. author. Michel, Chad. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9781484269336
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Practical System Programming with C Pragmatic Example Applications in Linux and Unix-Based Operating Systems

2024-11-10T00:03:29Z

Yazar Palakollu, Sri Manikanta. author. SpringerLink (Online service)
Yer Numarası QA76.7 -.73
ISBN 9781484263211
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Digital Customer Experience Engineering Strategies for Creating Effective Digital Experiences

2024-11-10T00:03:29Z

Yazar Wiedenhoefer, Lars. author. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9781484272435
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Learn to Program with Assembly Foundational Learning for New Programmers

2024-11-10T00:03:29Z

Yazar Bartlett, Jonathan. author. SpringerLink (Online service)
Yer Numarası QA76.7 -.73
ISBN 9781484274378
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Clean C++20 Sustainable Software Development Patterns and Best Practices

2024-11-10T00:03:29Z

Yazar Roth, Stephan. author. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9781484259498
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Patterns in the Machine A Software Engineering Guide to Embedded Development

2024-11-10T00:03:29Z

Yazar Taylor, John T. author. Taylor, Wayne T. author. SpringerLink (Online service)
Yer Numarası QA76.7 -.73
ISBN 9781484264409
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Software Engineering for Absolute Beginners Your Guide to Creating Software Products

2024-11-10T00:03:29Z

Yazar Loubser, Nico. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9781484266229
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Architecture of Computing Systems 34th International Conference, ARCS 2021, Virtual Event, June 7-8, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Hochberger, Christian. editor. (orcid)0000-0001-5516-7826 Bauer, Lars. editor. (orcid)0000-0003-0253-4594 Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030816827
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Applied Technologies Second International Conference, ICAT 2020, Quito, Ecuador, December 2-4, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Camacho, Oscar. editor. Chávez, Danilo. editor. Torres-Carrión, Pablo. editor. (orcid)0000-0002-7606-0582
Yer Numarası TK7885 -7895
ISBN 9783030715038
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Cybersecurity in Emerging Digital Era First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Agrawal, Rajeev. editor. (orcid)0000-0002-5415-5230 Sanyal, Goutam. editor. Curran, Kevin. editor. (orcid)0000-0001-5237-5355 Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Gaur, Madhu Sharma. editor. (orcid)0000-0002-7510-1784
Yer Numarası TK7885 -7895
ISBN 9783030848422
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

An Introduction to Design Science

2024-11-10T00:03:29Z

Yazar Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030781323
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Vejnarová, Jiřina. editor. (orcid)0000-0003-1473-9482 Wilson, Nic. editor. (orcid)0000-0003-1874-8255 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030867720
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Sustainability

2024-11-10T00:03:29Z

Yazar Calero, Coral. editor. (orcid)0000-0003-0728-4176 Moraga, Mª Ángeles. editor. (orcid)0000-0001-9165-7144 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030699703
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Artificial Intelligence and Soft Computing 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819
Yer Numarası Q334 -342
ISBN 9783030878979
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Runtime Verification 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Feng, Lu. editor. (orcid)0000-0002-4651-8441 Fisman, Dana. editor. (orcid)0000-0002-6015-4170 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030884949
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

2024-11-10T00:03:29Z

Yazar Böhm, Wolfgang. editor. Broy, Manfred. editor. Klein, Cornel. editor. Pohl, Klaus. editor. Rumpe, Bernhard. editor.
Yer Numarası QA76.758
ISBN 9783030621360
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Henglein, Fritz. editor. Shoham, Sharon. editor. (orcid)0000-0002-7226-3526 Vizel, Yakir. editor. (orcid)0000-0002-5655-1667 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030670672
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Cleophas, Loek. editor. (orcid)0000-0002-7221-3676 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030672201
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Formal Aspects of Component Software 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Salaün, Gwen. editor. Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030906368
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Interactive Storytelling 14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Mitchell, Alex. editor. (orcid)0000-0001-7849-7262 Vosmeer, Mirjam. editor. (orcid)0000-0002-7210-7961 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030923006
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Ali, Raian. editor. Kaindl, Hermann. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030700065
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Concise Guide to Databases A Practical Introduction

2024-11-10T00:03:29Z

Yazar Domdouzis, Konstantinos. author. Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
ISBN 9783030422240
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Network and Parallel Computing 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar He, Xin. editor. Shao, En. editor. Tan, Guangming. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030794781
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Domain Science and Engineering A Foundation for Software Development

2024-11-10T00:03:29Z

Yazar Bjørner, Dines. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030734848
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Collaborative Computing: Networking, Applications and Worksharing 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Gao, Honghao. editor. Wang, Xinheng. editor. Iqbal, Muddesar. editor. Yin, Yuyu. editor. Yin, Jianwei. editor.
Yer Numarası QA75.5 -76.95
ISBN 9783030675370
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

End-User Development 8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Fogli, Daniela. editor. (orcid)0000-0003-1479-2240 Tetteroo, Daniel. editor. (orcid)0000-0002-2295-5022 Barricelli, Barbara Rita. editor. (orcid)0000-0001-9575-5542 Borsci, Simone. editor. (orcid)0000-0002-3591-3577 Markopoulos, Panos. editor. (orcid)0000-0002-2001-7251
Yer Numarası QA76.758
ISBN 9783030798406
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Domain-Specific Languages in Practice with JetBrains MPS

2024-11-10T00:03:29Z

Yazar Bucchiarone, Antonio. editor. (orcid)0000-0003-1154-1382 Cicchetti, Antonio. editor. (orcid)0000-0003-0416-1787 Ciccozzi, Federico. editor. (orcid)0000-0002-0401-1036 Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030737580
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Quality of Information and Communications Technology 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Paiva, Ana C. R. editor. (orcid)0000-0003-3431-8060 Cavalli, Ana Rosa. editor. (orcid)0000-0003-4480-5030 Ventura Martins, Paula. editor. (orcid)0000-0002-3199-4517 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030853471
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Public-Key Cryptography - PKC 2021 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Garay, Juan A. editor. (orcid)0000-0003-0366-7110 SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030752484
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Enterprise Information Systems 22nd International Conference, ICEIS 2020, Virtual Event, May 5-7, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030754181
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Technologies and Innovation 7th International Conference, CITI 2021, Guayaquil, Ecuador, November 22-25, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Bucaram-Leverone, Martha. editor. (orcid)0000-0002-5779-3852 Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884 Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566 Jácome-Murillo, Emma. editor. (orcid)0000-0003-1827-3552
Yer Numarası QA76.758
ISBN 9783030882624
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Open Source Systems 17th IFIP WG 2.13 International Conference, OSS 2021, Virtual Event, May 12-13, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Taibi, Davide. editor. (orcid)0000-0002-3210-3990 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Kilamo, Terhi. editor. (orcid)0000-0002-9561-1116 Zacchiroli, Stefano. editor. (orcid)0000-0002-4576-136X SpringerLink (Online service)
Yer Numarası QA76.9 .M3
ISBN 9783030752514
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2021 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part III

2024-11-10T00:03:29Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Blečić, Ivan. editor. (orcid)0000-0002-4446-6705
Yer Numarası TK5105.5 -5105.9
ISBN 9783030869700
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2021 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part VII

2024-11-10T00:03:29Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Blečić, Ivan. editor. (orcid)0000-0002-4446-6705
Yer Numarası TK5105.5 -5105.9
ISBN 9783030870072
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 Woodcock, Jim. editor. (orcid)0000-0001-7955-2702 Zhang, Wenhui. editor. (orcid)0000-0002-9621-5772 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030912659
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Critical Information Infrastructures Security 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Percia David, Dimitri. editor. (orcid)0000-0002-9393-1490 Mermoud, Alain. editor. (orcid)0000-0001-6471-772X Maillart, Thomas. editor. (orcid)0000-0002-5747-9927 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030932008
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Ethereum Smart Contract Development in Solidity

2024-11-10T00:03:29Z

Yazar Zheng, Gavin. author. Gao, Longxiang. author. (orcid)0000-0002-3026-7537 Huang, Liqun. author. Guan, Jian. author. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9789811562181
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Electronic Government 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7-9, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Scholl, Hans Jochen. editor. (orcid)0000-0002-6168-3445 Gil-Garcia, J. Ramon. editor. (orcid)0000-0002-1033-4974 Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Kalampokis, Evangelos. editor. (orcid)0000-0003-4416-8764 Lindgren, Ida. editor. (orcid)0000-0002-4735-8697
Yer Numarası QA76.9 .C66
ISBN 9783030847890
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1-3, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Bertoni, Guido Marco. editor. Regazzoni, Francesco. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030687731
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Guide to Maritime Informatics

2024-11-10T00:03:29Z

Yazar Artikis, Alexander. editor. Zissis, Dimitris. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030618520
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Embedded Software Timing Methodology, Analysis and Practical Tips with a Focus on Automotive

2024-11-10T00:03:29Z

Yazar Gliwa, Peter. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030641443
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Product-Focused Software Process Improvement 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Ardito, Luca. editor. (orcid)0000-0002-0501-7886 Jedlitschka, Andreas. editor. (orcid)0000-0003-3590-6331 Morisio, Maurizio. editor. (orcid)0000-0001-7362-906X Torchiano, Marco. editor. (orcid)0000-0001-5328-368X SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030914523
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

2024-11-10T00:03:29Z

Yazar Olderog, Ernst-Rüdiger. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030913847
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Creative Solutions for a Sustainable Development 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22-24, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Borgianni, Yuri. editor. (orcid)0000-0002-5284-4673 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030866143
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Deceptive AI First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Sarkadi, Stefan. editor. Wright, Benjamin. editor. Masters, Peta. editor. McBurney, Peter. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030917791
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Distributed Applications and Interoperable Systems 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Matos, Miguel. editor. (orcid)0000-0001-6916-2866 Greve, Fabíola. editor. (orcid)0000-0001-6748-8440 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030781989
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Peters, Kirstin. editor. (orcid)0000-0002-4281-0074 Willemse, Tim A. C. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030780890
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030782306
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

High Performance Computing 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Chamberlain, Bradford L. editor. (orcid)0000-0002-6065-2049 Varbanescu, Ana-Lucia. editor. (orcid)0000-0002-4932-1900 Ltaief, Hatem. editor. (orcid)0000-0002-6897-1095 Luszczek, Piotr. editor. (orcid)0000-0002-0089-6965 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030787134
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Emerging Technologies in Computing 4th EAI/IAER International Conference, iCETiC 2021, Virtual Event, August 18-19, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Southall, Garfield. editor. (orcid)0000-0003-4027-1852 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004 Ware, Andrew. editor. (orcid)0000-0002-9354-5039 Soomro, Safeeullah. editor. (orcid)0000-0001-5571-1262
Yer Numarası TK5105.5 -5105.9
ISBN 9783030900168
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Coordination Models and Languages 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Dardha, Ornela. editor. (orcid)0000-0001-9927-7875 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030781422
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Artificial Intelligence in Education 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Roll, Ido. editor. (orcid)0000-0001-7295-9059 McNamara, Danielle. editor. Sosnovsky, Sergey. editor. (orcid)0000-0001-8023-1770 Luckin, Rose. editor. Dimitrova, Vania. editor. (orcid)0000-0002-7001-0891
Yer Numarası Q334 -342
ISBN 9783030782924
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Intelligent Information Systems CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Nurcan, Selmin. editor. (orcid)0000-0001-9676-4520 Korthaus, Axel. editor. (orcid)0000-0002-4150-8607 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030791087
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Buchs, Didier. editor. Carmona, Josep. editor. (orcid)0000-0001-9656-254X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030769833
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

HCI International 2021 - Posters 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Stephanidis, Constantine. editor. Antona, Margherita. editor. Ntoa, Stavroula. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030786359
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

The Once-Only Principle The TOOP Project

2024-11-10T00:03:29Z

Yazar Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Prentza, Andriana. editor. (orcid)0000-0001-6904-7534 Mamrot, Szymon. editor. (orcid)0000-0002-7307-7004 SpringerLink (Online service)
Yer Numarası HD30.19 -.29
ISBN 9783030798512
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

SOFSEM 2021: Theory and Practice of Computer Science 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Bureš, Tomáš. editor. (orcid)0000-0003-3622-9918 Dondi, Riccardo. editor. Gamper, Johann. editor. (orcid)0000-0002-7128-507X Guerrini, Giovanna. editor. Jurdziński, Tomasz. editor. (orcid)0000-0003-1908-9458
Yer Numarası QA75.5 -76.95
ISBN 9783030677312
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Integer Programming and Combinatorial Optimization 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19-21, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Singh, Mohit. editor. Williamson, David P. editor. (orcid)0000-0002-2884-0058 SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030738792
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Business 12th International Conference, ICSOB 2021, Drammen, Norway, December 2-3, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Martini, Antonio. editor. (orcid)0000-0002-0669-8687 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Stray, Viktoria. editor. (orcid)0000-0002-6032-2074 SpringerLink (Online service)
Yer Numarası HD9696.2 -9696.82
ISBN 9783030919832
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems L

2024-11-10T00:03:29Z

Yazar Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783662645536
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Information Systems Reengineering, Integration and Normalization Heterogeneous Database Connectivity

2024-11-10T00:03:29Z

Yazar Fong, Joseph S. P. author. Wong Ting Yan, Kenneth. author. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030795849
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Data Science and Computational Intelligence Sixteenth International Conference on Information Processing, ICInPro 2021, Bengaluru, India, October 22-24, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Venugopal, K. R. editor. Shenoy, P. Deepa. editor. Buyya, Rajkumar. editor. (orcid)0000-0001-9754-6496 Patnaik, L. M. editor. Iyengar, Sitharama S. editor.
Yer Numarası QA76.9 .D3
ISBN 9783030912444
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Production Research 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I

2024-11-10T00:03:29Z

Yazar Rossit, Daniel Alejandro. editor. (orcid)0000-0002-2381-4352 Tohmé, Fernando. editor. (orcid)0000-0003-2988-4519 Mejía Delgadillo, Gonzalo. editor. (orcid)0000-0002-3769-2683 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030763077
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Smart Cities Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)
Yer Numarası QA76.9 .D3
ISBN 9783030691363
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Stephanidis, Constantine. editor. Harris, Don. editor. Li, Wen-Chin. editor. Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor.
Yer Numarası QA76.9 .U83
ISBN 9783030903282
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Research and Education in Urban History in the Age of Digital Libraries Second International Workshop, UHDL 2019, Dresden, Germany, October 10-11, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Niebling, Florian. editor. (orcid)0000-0002-8706-3551 Münster, Sander. editor. Messemer, Heike. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030931865
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII Special Issue In Memory of Univ. Prof. Dr. Roland Wagner

2024-11-10T00:03:29Z

Yazar Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783662635193
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Fundamentals of Software Engineering 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030892470
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Statistical Language and Speech Processing 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Espinosa-Anke, Luis. editor. (orcid)0000-0001-6830-9176 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Spasić, Irena. editor. (orcid)0000-0002-8132-3885 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030895792
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Frontiers in Software Engineering First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Succi, Giancarlo. editor. (orcid)0000-0001-8847-0186 Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Kruglov, Artem. editor. (orcid)0000-0003-2038-1392 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030931353
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Design, User Experience, and Usability: Design for Diversity, Well-being, and Social Development 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Soares, Marcelo M. editor. Rosenzweig, Elizabeth. editor. Marcus, Aaron. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030782245
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Technologies 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. Fill, Hans-Georg. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030830076
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Composing Model-Based Analysis Tools

2024-11-10T00:03:29Z

Yazar Heinrich, Robert. editor. (orcid)0000-0003-0779-9444 Durán, Francisco. editor. Talcott, Carolyn. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030819156
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Zirpins, Christian. editor. (orcid)0000-0002-0838-2846 Paraskakis, Iraklis. editor. Andrikopoulos, Vasilios. editor. (orcid)0000-0001-7937-0247 Kratzke, Nane. editor. (orcid)0000-0001-5130-4969 Pahl, Claus. editor. (orcid)0000-0002-9049-212X
Yer Numarası QA76.758
ISBN 9783030719067
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030921248
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Human-Computer Interaction 7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8-10, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Kawamoto, André Luiz Satoshi. editor. (orcid)0000-0002-0176-4366 SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030923259
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030885830
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Cyber-Physical Security for Critical Infrastructures Protection First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Abie, Habtamu. editor. (orcid)0000-0003-0866-5050 Ranise, Silvio. editor. (orcid)0000-0001-7269-9285 Verderame, Luca. editor. (orcid)0000-0001-7155-7429 Cambiaso, Enrico. editor. (orcid)0000-0002-6932-1975 Ugarelli, Rita. editor. (orcid)0000-0002-2096-8591
Yer Numarası QA76.9 .A25
ISBN 9783030697815
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Perception, Representations, Image, Sound, Music 14th International Symposium, CMMR 2019, Marseille, France, October 14-18, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920 Ystad, Sølvi. editor. (orcid)0000-0001-9022-9690 Aramaki, Mitsuko. editor. (orcid)0000-0001-6518-374X SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030702106
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Blockchain Intelligence Methods, Applications and Challenges

2024-11-10T00:03:29Z

Yazar Zheng, Zibin. editor. (orcid)0000-0002-7878-4330 Dai, Hong-Ning. editor. (orcid)0000-0001-6165-4196 Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 SpringerLink (Online service)
Yer Numarası QA76.9 .B56
ISBN 9789811601279
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Groote, Jan Friso. editor. (orcid)0000-0003-2196-6587 Larsen, Kim Guldstrand. editor. (orcid)0000-0002-5953-3384 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030720131
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Search-Based Software Engineering 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar O'Reilly, Una-May. editor. Devroey, Xavier. editor. (orcid)0000-0002-0831-7606 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030881061
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

The Practice of Enterprise Modeling 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Serral, Estefanía. editor. (orcid)0000-0001-7579-910X Stirna, Janis. editor. (orcid)0000-0002-3669-832X Ralyté, Jolita. editor. (orcid)0000-0001-8561-3567 Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030912796
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Xue, Jinyun. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030774745
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advanced Information Systems Engineering Workshops CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Polyvyanyy, Artem. editor. (orcid)0000-0002-7672-1643 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030790226
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Model and Data Engineering 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

2024-11-10T00:03:29Z

Yazar Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752 Ben Yahia, Sadok. editor. (orcid)0000-0001-8939-8948 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030784287
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Benefit/Cost-Driven Software Development With Benefit Points and Size Points

2024-11-10T00:03:29Z

Yazar Hannay, Jo Erskine. author. SpringerLink (Online service)
Yer Numarası QA76.75 -76.765
ISBN 9783030742188
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Hybrid High-Order Methods A Primer with Applications to Solid Mechanics

2024-11-10T00:03:29Z

Yazar Cicuttin, Matteo. author. Ern, Alexandre. author. Pignet, Nicolas. author. SpringerLink (Online service)
Yer Numarası QA297 -299.4
ISBN 9783030814779
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Ben Hedia, Belgacem. editor. (orcid)0000-0003-1367-8542 Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Liu, Gaiyun. editor. Yu, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030659554
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Distributed Applications and Interoperable Systems 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Remke, Anne. editor. Schiavoni, Valerio. editor. (orcid)0000-0003-1493-6603 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9783030503239
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Benchmarking, Measuring, and Optimizing Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Gao, Wanling. editor. (orcid)0000-0002-3911-9389 Zhan, Jianfeng. editor. Fox, Geoffrey. editor. Lu, Xiaoyi. editor. Stanzione, Dan. editor.
Yer Numarası QA76.76 .A65
ISBN 9783030495565
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Bioinformatics and Computational Biology 12th Brazilian Symposium on Bioinformatics, BSB 2019, Fortaleza, Brazil, October 7-10, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Kowada, Luis. editor. de Oliveira, Daniel. editor. SpringerLink (Online service)
Yer Numarası QH324.2 -324.25
ISBN 9783030464172
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Transactions on Computational Science XXXV Special Issue on Signal Processing and Security in Distributed Systems

2024-11-10T00:03:29Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Saeed, Khalid. editor. Chaki, Nabendu. editor. SpringerLink (Online service)
Yer Numarası TA1634
ISBN 9783662610923
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Miao, Huaikou. editor. Tian, Cong. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030414184
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Risks and Security of Internet and Systems 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings

2024-11-10T00:03:29Z

Yazar Kallel, Slim. editor. (orcid)0000-0002-2824-167X Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Hadj Kacem, Ahmed. editor. (orcid)0000-0002-8895-0152 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030415686
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Measurement, Modelling and Evaluation of Computing Systems 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030430245
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2020 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Pulina, Luca. editor. (orcid)0000-0003-0258-3222 Seidl, Martina. editor. (orcid)0000-0002-3267-4494 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030518257
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Services Computing - SCC 2020 17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Xia, Yunni. editor. Seshadri, Sangeetha. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030595920
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Sakamoto, Maki. editor. Okazaki, Naoaki. editor. Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 Satoh, Ken. editor. (orcid)0000-0002-9309-4602 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030587901
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Runtime Verification 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Deshmukh, Jyotirmoy. editor. (orcid)0000-0002-8815-464X Ničković, Dejan. editor. (orcid)0000-0001-5468-0396 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030605087
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Pun, Violet Ka I. editor. (orcid)0000-0002-8763-5548 Stolz, Volker. editor. (orcid)0000-0002-1031-6936 Simao, Adenilso. editor. (orcid)0000-0002-1454-2607 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030642761
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Current Trends in Web Engineering ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9-12, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Ko, In-Young. editor. (orcid)0000-0002-3843-263X Murillo, Juan Manuel. editor. (orcid)0000-0003-4961-4030 Vuorimaa, Petri. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030656652
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Madhavji, Nazim. editor. Pasquale, Liliana. editor. Ferrari, Alessio. editor. (orcid)0000-0002-0636-5663 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030444297
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Proceedings of 6th International Conference in Software Engineering for Defence Applications SEDA 2018

2024-11-10T00:03:29Z

Yazar Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Mazzara, Manuel. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. (orcid)0000-0001-8847-0186
Yer Numarası Q342
ISBN 9783030146870
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Software Engineering Perspectives in Intelligent Systems Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.2

2024-11-10T00:03:29Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030633196
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Trends and Applications in Software Engineering Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019)

2024-11-10T00:03:29Z

Yazar Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. A. Calvo-Manzano, Jose. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030335472
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Software Engineering Research, Management and Applications

2024-11-10T00:03:29Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030243449
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-10T00:03:29Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030264284
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Automated Software Testing Foundations, Applications and Challenges

2024-11-10T00:03:29Z

Yazar Jena, Ajay Kumar. editor. Das, Himansu. editor. Mohapatra, Durga Prasad. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9789811524554
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

A Journey Towards Bio-inspired Techniques in Software Engineering

2024-11-10T00:03:29Z

Yazar Singh, Jagannath. editor. Bilgaiyan, Saurabh. editor. Mishra, Bhabani Shankar Prasad. editor. Dehuri, Satchidananda. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030409289
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Software Engineering Perspectives in Intelligent Systems Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.1

2024-11-10T00:03:29Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030633226
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Engineering Multi-Agent Systems 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Dennis, Louise A. editor. (orcid)0000-0003-1426-1896 Bordini, Rafael H. editor. (orcid)0000-0001-8688-9901 Lespérance, Yves. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030514174
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Design, User Experience, and Usability. Design for Contemporary Interactive Environments 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030497606
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Design, User Experience, and Usability. Interaction Design 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030497132
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Cryptology - CRYPTO 2020 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 Ristenpart, Thomas. editor. (orcid)0000-0002-8642-9558 SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030567842
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Genez, Thiago A. L. editor. (orcid)0000-0003-2825-8639 Pietri, Ilia. editor. (orcid)0000-0003-0481-5998 Sakellariou, Rizos. editor. (orcid)0000-0002-6104-6649 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030586287
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Euro-Par 2020: Parallel Processing 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Malawski, Maciej. editor. (orcid)0000-0001-6005-0243 Rzadca, Krzysztof. editor. (orcid)0000-0002-4176-853X SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030576752
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Rules and Reasoning 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Gutiérrez-Basulto, Víctor. editor. Kliegr, Tomáš. editor. (orcid)0000-0002-7261-0380 Soylu, Ahmet. editor. Giese, Martin. editor. (orcid)0000-0002-2058-2728 Roman, Dumitru. editor.
Yer Numarası QA75.5 -76.95
ISBN 9783030579777
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Machine Learning and Knowledge Extraction 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25-28, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Weippl, Edgar. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030573218
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Software Verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Christakis, Maria. editor. Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X Duggirala, Parasara Sridhar. editor. (orcid)0000-0002-8871-0298 Schrammel, Peter. editor. (orcid)0000-0002-5713-1381 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030636180
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Engineering Multi-Agent Systems 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8-9, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Baroglio, Cristina. editor. (orcid)0000-0002-2070-0616 Hubner, Jomi F. editor. (orcid)0000-0001-9355-822X Winikoff, Michael. editor. (orcid)0000-0002-5545-7003 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030665340
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Progress in Cryptology - INDOCRYPT 2020 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Bhargavan, Karthikeyan. editor. (orcid)0000-0002-3152-8997 Oswald, Elisabeth. editor. (orcid)0000-0001-7502-3184 Prabhakaran, Manoj. editor. SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030652777
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Formal Aspects of Component Software 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

2024-11-10T00:03:29Z

Yazar Arbab, Farhad. editor. Jongmans, Sung-Shik. editor. (orcid)0000-0002-4394-8745 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030409142
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Theory of Cryptography 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Pass, Rafael. editor. Pietrzak, Krzysztof. editor. SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030643782
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Formal Methods: Foundations and Applications 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Carvalho, Gustavo. editor. (orcid)0000-0002-3700-9709 Stolz, Volker. editor. (orcid)0000-0002-1031-6936 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030638825
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Security ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. (orcid)0000-0003-1124-2200 Cuppens, Nora. editor. (orcid)0000-0001-8792-0413 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596
Yer Numarası QA76.9 .A25
ISBN 9783030643300
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Product-Focused Software Process Improvement 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Morisio, Maurizio. editor. (orcid)0000-0001-7362-906X Torchiano, Marco. editor. (orcid)0000-0001-5328-368X Jedlitschka, Andreas. editor. (orcid)0000-0003-3590-6331 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030641481
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 25th International Conference, ASMTA 2019, Moscow, Russia, October 21-25, 2019, Proceedings

2024-11-10T00:03:29Z

Yazar Gribaudo, Marco. editor. (orcid)0000-0002-1415-5287 Sopin, Eduard. editor. (orcid)0000-0001-9082-2152 Kochetkova, Irina. editor. (orcid)0000-0002-1594-427X SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030628857
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computational Science and Its Applications - ICCSA 2020 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part V

2024-11-10T00:03:29Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Blečić, Ivan. editor. (orcid)0000-0002-4446-6705
Yer Numarası TK5105.5 -5105.9
ISBN 9783030588144
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Human-Centered Software Engineering 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030642662
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Artificial General Intelligence 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Goertzel, Ben. editor. (orcid)0000-0002-2787-3464 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Potapov, Alexey. editor. (orcid)0000-0001-6013-8843 Yampolskiy, Roman. editor. (orcid)0000-0001-9637-1161 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030521523
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges

2024-11-10T00:03:29Z

Yazar Zhao, Zhiming. editor. (orcid)0000-0002-6717-9418 Hellström, Margareta. editor. (orcid)0000-0002-4154-2610 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030528294
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 Ferreira, Pedro. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)
Yer Numarası TK7885 -7895
ISBN 9783030545499
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25-28, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Yer Numarası QA76.9 .U83
ISBN 9783030608163
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Chalkiadakis, Georgios. editor. (orcid)0000-0002-0716-2972 de Jonge, Dave. editor. (orcid)0000-0003-2364-9497 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030664121
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030532918
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Security Protocols XXVII 27th International Workshop, Cambridge, UK, April 10-12, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Anderson, Jonathan. editor. (orcid)0000-0002-7352-6463 Stajano, Frank. editor. (orcid)0000-0001-9186-6798 Christianson, Bruce. editor. (orcid)0000-0002-3777-7476 Matyáš, Vashek. editor. (orcid)0000-0001-7957-7694 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030570439
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030393229
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

SOFSEM 2020: Theory and Practice of Computer Science 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Chatzigeorgiou, Alexander. editor. (orcid)0000-0002-5381-8418 Dondi, Riccardo. editor. (orcid)0000-0002-6124-2965 Herodotou, Herodotos. editor. (orcid)0000-0002-8717-1691 Kapoutsis, Christos. editor. (orcid)0000-0001-8963-9326 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329
Yer Numarası QA71 -90
ISBN 9783030389192
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

KI 2020: Advances in Artificial Intelligence 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Schmid, Ute. editor. (orcid)0000-0002-1301-0326 Klügl, Franziska. editor. (orcid)0000-0002-1470-6288 Wolter, Diedrich. editor. (orcid)0000-0001-9185-0147 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030582852
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030393069
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Information and Computer Security 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2-4, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Aoki, Kazumaro. editor. Kanaoka, Akira. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030582081
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Foundations of Information and Knowledge Systems 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Kontinen, Juha. editor. (orcid)0000-0003-0115-5154 SpringerLink (Online service)
Yer Numarası QA267 -268.5
ISBN 9783030399511
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Frontiers in Software Engineering Education First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers

2024-11-10T00:03:29Z

Yazar Bruel, Jean-Michel. editor. Capozucca, Alfredo. editor. (orcid)0000-0001-9765-1907 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. Naumchev, Alexandr. editor.
Yer Numarası QA76.758
ISBN 9783030576639
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Service-Oriented Computing 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Kafeza, Eleanna. editor. (orcid)0000-0001-9565-2375 Benatallah, Boualem. editor. Martinelli, Fabio. editor. Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Bouguettaya, Athman. editor. (orcid)0000-0003-1254-8092
Yer Numarası QA76.76 .A65
ISBN 9783030653101
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Cryptology and Network Security 19th International Conference, CANS 2020, Vienna, Austria, December 14-16, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Krenn, Stephan. editor. Shulman, Haya. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030654115
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Security - ESORICS 2020 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Li, Ninghui. editor. Liang, Kaitai. editor. (orcid)0000-0003-0262-7678 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030590130
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Computer Games 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Saffidine, Abdallah. editor. (orcid)0000-0001-9805-8291 Wu, I-Chen. editor. (orcid)0000-0003-2535-0587 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030658830
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Code-Based Cryptography 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020, Revised Selected Papers

2024-11-10T00:03:29Z

Yazar Baldi, Marco. editor. (orcid)0000-0002-8754-5526 Persichetti, Edoardo. editor. (orcid)0000-0002-1895-377X Santini, Paolo. editor. (orcid)0000-0003-0631-3668 SpringerLink (Online service)
Yer Numarası QA268
ISBN 9783030540746
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Functional and Logic Programming 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Nakano, Keisuke. editor. (orcid)0000-0003-1955-4225 Sagonas, Konstantinos. editor. (orcid)0000-0001-9657-0179 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030590253
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Security - ESORICS 2020 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I

2024-11-10T00:03:29Z

Yazar Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Li, Ninghui. editor. Liang, Kaitai. editor. (orcid)0000-0003-0262-7678 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030589516
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

2024-11-10T00:03:29Z

Yazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Parker, David. editor. (orcid)0000-0003-4137-8862 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030452377
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

2024-11-10T00:03:29Z

Yazar Wehrheim, Heike. editor. (orcid)0000-0002-2385-7512 Cabot, Jordi. editor. (orcid)0000-0003-2418-2489 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030452346
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources