Search Results for - Narrowed by: Software engineering.

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

2024-09-20T00:37:55Z

Yazar Hannay, Jo Erskine. author. SpringerLink (Online service)
Yer Numarası QA76.75 -76.765
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-09-20T00:37:55Z

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

Software Engineering for Robotics

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Kormanyos, Christopher. author. SpringerLink (Online service)
Yer Numarası QA76.5 -.73
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-09-20T00:37:55Z

Yazar Uden, Lorna. editor. Ting, I-Hsien. editor. Wang, Kai. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

Yazar Silva, Alexandra. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
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-09-20T00:37:55Z

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

Design Thinking Research Translation, Prototyping, and Measurement

2024-09-20T00:37:55Z

Yazar Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)
Yer Numarası HF54.5 -54.56
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-09-20T00:37:55Z

Yazar Belli, Fevzi. author. Quella, Ferdinand. author. SpringerLink (Online service)
Yer Numarası GE40 -45
Elektronik Erişim Full Text Available From Springer Nature Earth and Environmental 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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Zarges, Christine. editor. Verel, Sébastien. editor. (orcid)0000-0003-1661-4093 SpringerLink (Online service)
Yer Numarası QA76.9 .M35
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Gliwa, Peter. author. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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

Membrane Computing Models: Implementations

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Goswami, Diganta. editor. Hoang, Truong Anh. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
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-09-20T00:37:55Z

Yazar Böhm, Wolfgang. editor. Broy, Manfred. editor. Klein, Cornel. editor. Pohl, Klaus. editor. Rumpe, Bernhard. editor.
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Awasthi, Ashish. editor. John, Sunil Jacob. editor. Panda, Satyananda. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M35
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-09-20T00:37:55Z

Yazar Laarman, Alfons. editor. (orcid)0000-0002-2433-4174 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Arunachalam, V. editor. (orcid)0000-0002-7797-4749 Sivasankaran, K. editor. (orcid)0000-0001-7036-0165 SpringerLink (Online service)
Yer Numarası TK7885 -7895
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-09-20T00:37:55Z

Yazar Gao, Qin. editor. Zhou, Jia. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Petri Nets for Modeling of Large Discrete Systems

2024-09-20T00:37:55Z

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

Concise Guide to Databases A Practical Introduction

2024-09-20T00:37:55Z

Yazar Domdouzis, Konstantinos. author. Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Badioze Zaman, Halimah. editor. Smeaton, Alan F. editor. Shih, Timothy K. editor. Velastin, Sergio. editor. Terutoshi, Tada. editor.
Yer Numarası TA1634
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-09-20T00:37:55Z

Yazar Garay, Juan A. editor. (orcid)0000-0003-0366-7110 SpringerLink (Online service)
Yer Numarası QA268
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-09-20T00:37:55Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
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-09-20T00:37:55Z

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

Techniques for Searching, Parsing, and Matching

2024-09-20T00:37:55Z

Yazar Pettorossi, Alberto. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Hou, Zhe. editor. (orcid)0000-0001-7164-0580 Ganesh, Vijay. editor. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Salaün, Gwen. editor. Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Downey, Tim. author. SpringerLink (Online service)
Yer Numarası QA76.625
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-09-20T00:37:55Z

Yazar Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
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-09-20T00:37:55Z

Yazar Bjørner, Dines. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Soares, Marcelo M. editor. Rosenzweig, Elizabeth. editor. Marcus, Aaron. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Tibouchi, Mehdi. editor. (orcid)0000-0002-2736-2963 Wang, Huaxiong. editor. (orcid)0000-0002-7669-8922 SpringerLink (Online service)
Yer Numarası QA268
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Composing Model-Based Analysis Tools

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Information Systems Reengineering, Integration and Normalization Heterogeneous Database Connectivity

2024-09-20T00:37:55Z

Yazar Fong, Joseph S. P. author. Wong Ting Yan, Kenneth. author. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Stephanidis, Constantine. editor. Harris, Don. editor. Li, Wen-Chin. editor. Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor.
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

Yazar Bertoni, Guido Marco. editor. Regazzoni, Francesco. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A25
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Guide to Maritime Informatics

2024-09-20T00:37:55Z

Yazar Artikis, Alexander. editor. Zissis, Dimitris. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar O'Reilly, Una-May. editor. Devroey, Xavier. editor. (orcid)0000-0002-0831-7606 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Stephanidis, Constantine. editor. Soares, Marcelo M. editor. Rosenzweig, Elizabeth. editor. Marcus, Aaron. editor. Yamamoto, Sakae. editor.
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Campos, Sérgio. editor. (orcid)0000-0002-0377-3143 Minea, Marius. editor. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Xue, Jinyun. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Buchs, Didier. editor. Carmona, Josep. editor. (orcid)0000-0001-9656-254X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Stephanidis, Constantine. editor. Antona, Margherita. editor. Ntoa, Stavroula. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Gao, Honghao. editor. Wang, Xinheng. editor. Iqbal, Muddesar. editor. Yin, Yuyu. editor. Yin, Jianwei. editor.
Yer Numarası QA75.5 -76.95
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

Yazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selić, Bran. editor. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Oury, Jacob D. author. Ritter, Frank E. author. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Blockchain Intelligence Methods, Applications and Challenges

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Dardha, Ornela. editor. (orcid)0000-0001-9927-7875 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Sarkadi, Stefan. editor. Wright, Benjamin. editor. Masters, Peta. editor. McBurney, Peter. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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

Agile Testing The Agile Way to Quality

2024-09-20T00:37:55Z

Yazar Baumgartner, Manfred. author. Klonk, Martin. author. Mastnak, Christian. author. Pichler, Helmut. author. Seidl, Richard. author.
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

Yazar Platzer, André. editor. (orcid)0000-0001-7238-5710 Sutcliffe, Geoff. editor. (orcid)0000-0001-9120-3927 SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Rauterberg, Matthias. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

Yazar Stuckey, Peter J. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M35
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Fernández, Maribel. editor. (orcid)0000-0001-8325-5815 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
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-09-20T00:37:55Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Software Sustainability

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

Yazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Cirne, Walfredo. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Feng, Lu. editor. (orcid)0000-0002-4651-8441 Fisman, Dana. editor. (orcid)0000-0002-6015-4170 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Yuschenko, Arkady. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Barzen, Johanna. editor. (orcid)0000-0001-8397-7973 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Konev, Boris. editor. Reger, Giles. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Automotive Software Architectures An Introduction

2024-09-20T00:37:55Z

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

An Introduction to Design Science

2024-09-20T00:37:55Z

Yazar Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Uchiya, Takahiro. editor. Bai, Quan. editor. (orcid)0000-0003-1214-6317 Marsá Maestre, Iván. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

Yazar Liu, Xin-Jun. editor. Nie, Zhenguo. editor. Yu, Jingjun. editor. Xie, Fugui. editor. Song, Rui. editor.
Yer Numarası Q334 -342
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar He, Xin. editor. Shao, En. editor. Tan, Guangming. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Ethereum Smart Contract Development in Solidity

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Dutle, Aaron. editor. Moscato, Mariano M. editor. Titolo, Laura. editor. Muñoz, César A. editor. Perez, Ivan. editor.
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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

Resilience in the Digital Age

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Niebling, Florian. editor. (orcid)0000-0002-8706-3551 Münster, Sander. editor. Messemer, Heike. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Georgiou, Chryssis. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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

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

2024-09-20T00:37:55Z

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

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

2024-09-20T00:37:55Z

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

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

2024-09-20T00:37:55Z

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

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

2024-09-20T00:37:55Z

Yazar McCormick, Michael. author. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Mihailescu, Marius Iulian. author. Nita, Stefania Loredana. author. SpringerLink (Online service)
Yer Numarası QA76.7 -.73
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-09-20T00:37:55Z

Yazar Taylor, John T. author. Taylor, Wayne T. author. SpringerLink (Online service)
Yer Numarası QA76.7 -.73
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-09-20T00:37:55Z

Yazar Loubser, Nico. author. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Durham, Doug. author. Michel, Chad. author. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Roth, Stephan. author. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 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-09-20T00:37:55Z

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

The Once-Only Principle The TOOP Project

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Cinquemani, Eugenio. editor. Paulevé, Loïc. editor. SpringerLink (Online service)
Yer Numarası QH324.2 -324.25
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Yilmaz, Murat. editor. Clarke, Paul. editor. Messnarz, Richard. editor. Reiner, Michael. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M3
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Song, Houbing. editor. (orcid)0000-0003-2631-9223 Jiang, Dingde. editor. (orcid)0000-0003-0284-5624 SpringerLink (Online service)
Yer Numarası TK7885 -7895
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-09-20T00:37:55Z

Yazar Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
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-09-20T00:37:55Z

Yazar Ferguson, Donald. editor. Pahl, Claus. editor. (orcid)0000-0002-9049-212X Helfert, Markus. editor. SpringerLink (Online service)
Yer Numarası QA76.758
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-09-20T00:37:55Z

Yazar Koutny, Maciej. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Pomello, Lucia. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

Yazar Garg, Deepak. editor. Wong, Kit. editor. Sarangapani, Jagannathan. editor. Gupta, Suneet Kumar. editor. SpringerLink (Online service)
Yer Numarası TK7885 -7895
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

Yazar Rosenfeld, Ariel. editor. (orcid)0000-0002-3230-3060 Talmon, Nimrod. editor. (orcid)0000-0001-7916-0979 SpringerLink (Online service)
Yer Numarası Q334 -342
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

Yazar Gerber, Aurona. editor. (orcid)0000-0003-1743-8167 Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 SpringerLink (Online service)
Yer Numarası TK7885 -7895
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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

Digital Customer Experience Engineering Strategies for Creating Effective Digital Experiences

2024-09-20T00:37:55Z

Yazar Wiedenhoefer, Lars. author. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
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-09-20T00:37:55Z

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

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

2024-09-20T00:37:55Z

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

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

2024-09-20T00:37:55Z

Yazar Silhavy, Radek. editor. SpringerLink (Online service)
Yer Numarası Q342
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-09-20T00:37:55Z

Yazar Lee, Roger. editor. Kim, Jong Bae. editor. SpringerLink (Online service)
Yer Numarası Q342
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-09-20T00:37:55Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası Q342
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-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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

2024-09-20T00:37:55Z

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

From Lambda Calculus to Cybersecurity Through Program Analysis Essays Dedicated to Chris Hankin on the Occasion of His Retirement

2024-09-20T00:37:55Z

Yazar Di Pierro, Alessandra. editor. (orcid)0000-0003-4173-7941 Malacaria, Pasquale. editor. Nagarajan, Rajagopal. editor. SpringerLink (Online service)
Yer Numarası QA402.5 -402.6
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III

2024-09-20T00:37:55Z

Yazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Yer Numarası QA71 -90
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

Introduction to Scientific Programming with Python

2024-09-20T00:37:55Z

Yazar Sundnes, Joakim. author. SpringerLink (Online service)
Yer Numarası QA71 -90
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

New Trends in Information and Communications Technology Applications 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Al-Bakry, Abbas M. editor. Al-Mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Sahib, Mouayad A. editor. Hasan, Haitham S. editor. Oreku, George S. editor.
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation 20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14-16, 2020, Proceedings

2024-09-20T00:37:55Z

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

The Practice of Enterprise Modeling 13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25-27, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Bork, Dominik. editor. (orcid)0000-0001-8259-2297 SpringerLink (Online service)
Yer Numarası HF54.5 -54.56
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Nichols, Jeffrey. editor. (orcid)0000-0001-5454-9726 Verastegui, Becky. editor. (orcid)0000-0001-7573-3696 Maccabe, Arthur 'Barney'. editor. (orcid)0000-0002-8041-2800 Hernandez, Oscar. editor. Parete-Koon, Suzanne. editor. (orcid)0000-0002-1534-9171
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Building Information Modeling First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Ofluoglu, Salih. editor. Ozener, Ozan Onder. editor. (orcid)0000-0002-2227-0103 Isikdag, Umit. editor. (orcid)0000-0002-2660-0106 SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Guide to Software Systems Development Connecting Novel Theory and Current Practice

2024-09-20T00:37:55Z

Yazar Rosen, Clive. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Analysis and Design of Next-Generation Software Architectures 5G, IoT, Blockchain, and Quantum Computing

2024-09-20T00:37:55Z

Yazar Langer, Arthur M. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Model-Driven Engineering and Software Development 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Software Quality: Quality Intelligence in Software and Systems Engineering 12th International Conference, SWQD 2020, Vienna, Austria, January 14-17, 2020, Proceedings

2024-09-20T00:37:55Z

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 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies

2024-09-20T00:37:55Z

Yazar Sunyaev, Ali. author. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Modelling and Development of Intelligent Systems 6th International Conference, MDIS 2019, Sibiu, Romania, October 3-5, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Simian, Dana. editor. (orcid)0000-0002-5210-1810 Stoica, Laura Florentina. editor. (orcid)0000-0002-4758-6606 SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Fundamentals of Software Startups Essential Engineering and Business Aspects

2024-09-20T00:37:55Z

Yazar Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Münch, Jürgen. editor. (orcid)0000-0003-0327-8094 Prikladnicki, Rafael. editor. (orcid)0000-0003-3351-4916 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Yer Numarası HD9696.2 -9696.82
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations

2024-09-20T00:37:55Z

Yazar Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Hasselbring, Wilhelm. editor. Koziolek, Heiko. editor. Matthes, Florian. editor. Prechelt, Lutz. editor.
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Internet of Things. A Confluence of Many Disciplines Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Casaca, Augusto. editor. (orcid)0000-0003-3969-1219 Katkoori, Srinivas. editor. (orcid)0000-0002-7589-5836 Ray, Sandip. editor. (orcid)0000-0002-8671-5052 Strous, Leon. editor. SpringerLink (Online service)
Yer Numarası QA76.5 -.73
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 10th International Conference, HPCST 2020, Barnaul, Russia, May 15-16, 2020, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Jordan, Vladimir. editor. (orcid)0000-0002-6309-7271 Filimonov, Nikolay. editor. (orcid)0000-0001-7934-7493 Tarasov, Ilya. editor. (orcid)0000-0001-6456-4794 Faerman, Vladimir. editor. (orcid)0000-0002-9643-0245 SpringerLink (Online service)
Yer Numarası TK7885 -7895
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Mining Software Engineering Data for Software Reuse

2024-09-20T00:37:55Z

Yazar Diamantopoulos, Themistoklis. author. Symeonidis, Andreas L. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Information Technology for Management: Current Research and Future Directions 17th Conference, AITM 2019, and 14th Conference, ISM 2019, Held as Part of FedCSIS, Leipzig, Germany, September 1-4, 2019, Extended and Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond

2024-09-20T00:37:55Z

Yazar Collan, Mikael. editor. Michelsen, Karl-Erik. editor. SpringerLink (Online service)
Yer Numarası HD45
Elektronik Erişim Full Text Available From Springer Nature Business and Management 2020 Packages
Format: Electronic Resources

Earth Systems Data Processing and Visualization Using MATLAB

2024-09-20T00:37:55Z

Yazar Şen, Zekâi. author. SpringerLink (Online service)
Yer Numarası GB3 -5030
Elektronik Erişim Full Text Available From Springer Nature Earth and Environmental Science 2020 Packages
Format: Electronic Resources

Connected Vehicles in the Internet of Things Concepts, Technologies and Frameworks for the IoV

2024-09-20T00:37:55Z

Yazar Mahmood, Zaigham. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

The Future of Software Quality Assurance

2024-09-20T00:37:55Z

Yazar Goericke, Stephan. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Mathematical Theory of Advanced Computing

2024-09-20T00:37:55Z

Yazar Osterhage, Wolfgang W. author. SpringerLink (Online service)
Yer Numarası QA76.9 .A25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Action Research in Software Engineering Theory and Applications

2024-09-20T00:37:55Z

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

Product Lifecycle Management Enabling Smart X 17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5-8, 2020, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Nyffenegger, Felix. editor. (orcid)0000-0003-3194-4509 Ríos, José. editor. (orcid)0000-0003-2115-9945 Rivest, Louis. editor. (orcid)0000-0003-0112-0090 Bouras, Abdelaziz. editor. (orcid)0000-0001-5765-1259 SpringerLink (Online service)
Yer Numarası QA76.9 .M3
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Serviceology for Services 7th International Conference, ICServ 2020, Osaka, Japan, March 13-15, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Takenaka, Takeshi. editor. (orcid)0000-0001-6183-324X Han, Spring. editor. Minami, Chieko. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Fazio, Maria. editor. Zimmermann, Wolf. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Knowledge Discovery, Knowledge Engineering and Knowledge Management 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Fred, Ana. editor. Salgado, Ana. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Dietz, Jan. editor. Bernardino, Jorge. editor.
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Information and Cyber Security 18th International Conference, ISSA 2019, Johannesburg, South Africa, August 15, 2019, Proceedings

2024-09-20T00:37:55Z

Yazar Venter, Hein. editor. (orcid)0000-0002-3607-8630 Loock, Marianne. editor. (orcid)0000-0001-8005-716X Coetzee, Marijke. editor. (orcid)0000-0002-9157-3079 Eloff, Mariki. editor. (orcid)0000-0001-8997-7931 Eloff, Jan. editor. (orcid)0000-0003-4683-2198
Yer Numarası QA268
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Smart Service Management Design Guidelines and Best Practices

2024-09-20T00:37:55Z

Yazar Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748 Kühl, Niklas. editor. (orcid)0000-0001-6750-0876 Jussen, Philipp. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Designing Enterprise Information Systems Merging Enterprise Modeling and Software Specification

2024-09-20T00:37:55Z

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

Guide to Efficient Software Design An MVC Approach to Concepts, Structures, and Models

2024-09-20T00:37:55Z

Yazar Voorhees, David P. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Smart Applications and Data Analysis Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25-26, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Hamlich, Mohamed. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Mondal, Anirban. editor. Ordonez, Carlos. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Networks 27th International Conference, CN 2020, Gdańsk, Poland, June 23-24, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Gumiński, Wojciech. editor. (orcid)0000-0002-3113-3450 Kwiecień, Andrzej. editor. (orcid)0000-0003-1447-3303 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Applied Computing to Support Industry: Innovation and Technology First International Conference, ACRIT 2019, Ramadi, Iraq, September 15-16, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Khalaf, Mohammed I. editor. Al-Jumeily, Dhiya. editor. (orcid)0000-0002-9170-0568 Lisitsa, Alexei. editor. (orcid)0000-0002-3820-643X SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Enterprise Information Systems 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Intelligent Technologies and Applications Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6-8, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Bajwa, Imran Sarwar. editor. (orcid)0000-0002-5161-6441 Sibalija, Tatjana. editor. (orcid)0000-0001-7276-1659 Jawawi, Dayang Norhayati Abang. editor. (orcid)0000-0001-8300-8523 SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Open Source Systems 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12-14, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Ivanov, Vladimir. editor. (orcid)0000-0003-3289-8188 Kruglov, Artem. editor. (orcid)0000-0003-2038-1392 Masyagin, Sergey. editor. (orcid)0000-0002-6010-8764 Sillitti, Alberto. editor. Succi, Giancarlo. editor. (orcid)0000-0001-8847-0186
Yer Numarası QA76.9 .M3
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Recent Advances in Data Science Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22-24, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Han, Henry. editor. (orcid)0000-0003-0273-6719 Wei, Tie. editor. Liu, Wenbin. editor. Han, Fei. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Data Analytics and Management in Data Intensive Domains 21st International Conference, DAMDID/RCDL 2019, Kazan, Russia, October 15-18, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Elizarov, Alexander. editor. Novikov, Boris. editor. (orcid)0000-0003-4657-0757 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Yer Numarası QA76.9 .D343
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Research Challenges in Information Science 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23-25, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Zdravkovic, Jelena. editor. (orcid)0000-0002-0870-0330 Loucopoulos, Pericles. editor. (orcid)0000-0003-1395-5001 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Hackathons From Idea to Successful Implementation

2024-09-20T00:37:55Z

Yazar Kohne, Andreas. author. Wehmeier, Volker. author. SpringerLink (Online service)
Yer Numarası HD9696.2 -9696.82
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Modern Information Technology and IT Education 13th International Conference, SITITO 2018, Moscow, Russia, November 29 - December 2, 2018, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Sukhomlin, Vladimir. editor. (orcid)0000-0001-9468-7138 Zubareva, Elena. editor. (orcid)0000-0002-9997-4715 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Graph Transformation for Software Engineers With Applications to Model-Based Development and Domain-Specific Language Engineering

2024-09-20T00:37:55Z

Yazar Heckel, Reiko. author. Taentzer, Gabriele. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Science - CACIC 2019 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14-18, 2019, Revised Selected Papers

2024-09-20T00:37:55Z

Yazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Arroyo, Marcelo. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advanced Information Systems Engineering Workshops CAiSE 2020 International Workshops, Grenoble, France, June 8-12, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Dupuy-Chessa, Sophie. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası QA76.76 .A65
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Intelligent Human Computer Interaction 11th International Conference, IHCI 2019, Allahabad, India, December 12-14, 2019, Proceedings

2024-09-20T00:37:55Z

Yazar Tiwary, Uma Shanker. editor. (orcid)0000-0001-7206-9013 Chaudhury, Santanu. editor. (orcid)0000-0002-5488-7773 SpringerLink (Online service)
Yer Numarası QA76.9 .D3
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-09-20T00:37:55Z

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

Computer Information Systems and Industrial Management 19th International Conference, CISIM 2020, Bialystok, Poland, October 16-18, 2020, Proceedings

2024-09-20T00:37:55Z

Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Raschke, Alexander. editor. (orcid)0000-0002-6088-8393 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Houdek, Frank. editor. (orcid)0000-0003-3132-6698 SpringerLink (Online service)
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Automated Reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

2024-09-20T00:37:55Z

Yazar Peltier, Nicolas. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
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-09-20T00:37:55Z

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

Search-Based Software Engineering 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Aleti, Aldeida. editor. Panichella, Annibale. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Interactive Collaborative Robotics 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508 Rigoll, Gerhard. editor. (orcid)0000-0003-1096-1596 Meshcheryakov, Roman. editor. (orcid)0000-0002-1129-8434 SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computational Methods in Systems Biology 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Petrov, Tatjana. editor. (orcid)0000-0002-9041-0905 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)
Yer Numarası QH324.2 -324.25
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Parallel Problem Solving from Nature - PPSN XVI 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II

2024-09-20T00:37:55Z

Yazar Bäck, Thomas. editor. (orcid)0000-0001-6768-1478 Preuss, Mike. editor. (orcid)0000-0003-4681-1346 Deutz, André. editor. (orcid)0000-0002-9047-6533 Wang, Hao. editor. (orcid)0000-0002-4933-5181 Doerr, Carola. editor. (orcid)0000-0002-4981-3227
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Principles and Practice of Constraint Programming 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Simonis, Helmut. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
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-09-20T00:37:55Z

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
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Augmented Reality, Virtual Reality, and Computer Graphics 7th International Conference, AVR 2020, Lecce, Italy, September 7-10, 2020, Proceedings, Part II

2024-09-20T00:37:55Z

Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. SpringerLink (Online service)
Yer Numarası TA1501 -1820
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

2024-09-20T00:37:55Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Troubitsyna, Elena. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

2024-09-20T00:37:55Z

Yazar Nigam, Vivek. editor. (orcid)0000-0003-4089-1218 Ban Kirigin, Tajana. editor. (orcid)0000-0003-3230-6891 Talcott, Carolyn. editor. (orcid)0000-0003-2845-7144 Guttman, Joshua. editor. Kuznetsov, Stepan. editor. (orcid)0000-0003-0025-0133
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources