Search Results for - Narrowed by: Computer science.

Analysis and Design of Nonlinear Systems in the Frequency Domain

2024-11-10T00:08:48Z

Yazar Zhu, Yunpeng. author. SpringerLink (Online service)
Yer Numarası TJ212 -225
ISBN 9783030708337
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Research in Computer Science in the Bulgarian Academy of Sciences

2024-11-10T00:08:48Z

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

Researching Cybercrimes Methodologies, Ethics, and Critical Approaches

2024-11-10T00:08:48Z

Yazar Lavorgna, Anita. editor. Holt, Thomas J. editor. SpringerLink (Online service)
Yer Numarası HV6772 -6773.3
ISBN 9783030748371
Elektronik Erişim Full Text Available From Springer Nature Law and Criminology 2021 Packages
Format: Electronic Resources

Computer and Information Science 2021-Summer

2024-11-10T00:08:48Z

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

Algorithms as a Basis of Modern Applied Mathematics

2024-11-10T00:08:48Z

Yazar Hošková-Mayerová, Šárka. editor. (orcid)0000-0002-3305-529X Flaut, Cristina. editor. (orcid)0000-0003-2714-0583 Maturo, Fabrizio. editor. (orcid)0000-0002-2362-4970 SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030613341
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Nature-Inspired Metaheuristic Algorithms for Engineering Optimization Applications

2024-11-10T00:08:48Z

Yazar Carbas, Serdar. editor. Toktas, Abdurrahim. editor. Ustun, Deniz. editor. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9789813367739
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

New Medical Diagnosis Models Based on Generalized Type-2 Fuzzy Logic

2024-11-10T00:08:48Z

Yazar Melin, Patricia. author. Ontiveros-Robles, Emanuel. author. Castillo, Oscar. author. SpringerLink (Online service)
Yer Numarası Q342
ISBN 9783030750978
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Machine Intelligence and Smart Systems Proceedings of MISS 2020

2024-11-10T00:08:48Z

Yazar Agrawal, Shikha. editor. Kumar Gupta, Kamlesh. editor. H. Chan, Jonathan. editor. (orcid)0000-0002-2384-0462 Agrawal, Jitendra. editor. Gupta, Manish. editor.
Yer Numarası Q342
ISBN 9789813348936
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

2024-11-10T00:08:48Z

Yazar Arieli, Ofer. editor. Zamansky, Anna. editor. SpringerLink (Online service)
Yer Numarası BC1 -199
ISBN 9783030712587
Elektronik Erişim Full Text Available From Springer Nature Religion and Philosophy 2021 Packages
Format: Electronic Resources

Introduction to Algorithmic Government

2024-11-10T00:08:48Z

Yazar Gupta, Rajan. author. Pal, Saibal Kumar. author. SpringerLink (Online service)
Yer Numarası JF20 -2112
ISBN 9789811602825
Elektronik Erişim Full Text Available From Springer Nature Political Science and International Studies 2021 Packages
Format: Electronic Resources

Techniques of Decision Making, Uncertain Reasoning and Regression Analysis Under the Hesitant Fuzzy Environment and Their Applications

2024-11-10T00:08:48Z

Yazar Song, Chenyang. author. (orcid)0000-0003-3637-8403 Xu, Zeshui. author. SpringerLink (Online service)
Yer Numarası T57.6 -.97
ISBN 9789811658006
Elektronik Erişim Full Text Available From Springer Nature Business and Management 2021 Packages
Format: Electronic Resources

A Primer on Multiple Intelligences

2024-11-10T00:08:48Z

Yazar Sadiku, Matthew N. O. author. Musa, Sarhan M. author. SpringerLink (Online service)
Yer Numarası BF1 -990
ISBN 9783030775841
Elektronik Erişim Full Text Available From Springer Nature Behavioral Science and Psychology 2021 Packages
Format: Electronic Resources

Dynamical Models In Neurocognitive Psychology

2024-11-10T00:08:48Z

Yazar Engbert, Ralf. author. SpringerLink (Online service)
Yer Numarası BF1 -990
ISBN 9783030672997
Elektronik Erişim Full Text Available From Springer Nature Behavioral Science and Psychology 2021 Packages
Format: Electronic Resources

Eye-Tracking with Python and Pylink

2024-11-10T00:08:48Z

Yazar Wang, Zhiguo. author. SpringerLink (Online service)
Yer Numarası BF201
ISBN 9783030826352
Elektronik Erişim Full Text Available From Springer Nature Behavioral Science and Psychology 2021 Packages
Format: Electronic Resources

Foundations and Methods of Stochastic Simulation A First Course

2024-11-10T00:08:48Z

Yazar Nelson, Barry L. author. Pei, Linda. author. SpringerLink (Online service)
Yer Numarası T57.6 -.97
ISBN 9783030861940
Elektronik Erişim Full Text Available From Springer Nature Business and Management 2021 Packages
Format: Electronic Resources

Petri Nets for Modeling of Large Discrete Systems

2024-11-10T00:08:48Z

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

Blockchain Gaps From Myth to Real Life

2024-11-10T00:08:48Z

Yazar Matsuo, Shin'ichiro. editor. Sakimura, Nat. editor. SpringerLink (Online service)
Yer Numarası HF4999.2 -6182
ISBN 9789813360525
Elektronik Erişim Full Text Available From Springer Nature Business and Management 2021 Packages
Format: Electronic Resources

Simulation and Gaming for Social Design

2024-11-10T00:08:48Z

Yazar Kaneda, Toshiyuki. editor. Hamada, Ryoju. editor. Kumazawa, Terukazu. editor. SpringerLink (Online service)
Yer Numarası HD62.5
ISBN 9789811620119
Elektronik Erişim Full Text Available From Springer Nature Business and Management 2021 Packages
Format: Electronic Resources

Sustaining Forest Ecosystems

2024-11-10T00:08:48Z

Yazar von Gadow, Klaus. author. Álvarez González, Juan Gabriel. author. Zhang, Chunyu. author. Pukkala, Timo. author. Zhao, Xiuhai. author.
Yer Numarası SD1 -668
ISBN 9783030587147
Elektronik Erişim Full Text Available From Springer Nature Biomedical and Life Sciences 2021 Packages
Format: Electronic Resources

Formal Methods in Architecture Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020

2024-11-10T00:08:48Z

Yazar Eloy, Sara. editor. Leite Viana, David. editor. Morais, Franklim. editor. Vieira Vaz, Jorge. editor. SpringerLink (Online service)
Yer Numarası NA1 -9428
ISBN 9783030575090
Elektronik Erişim Full Text Available From Springer Nature Earth and Environmental Science 2021 Packages
Format: Electronic Resources

Feedback Economics Economic Modeling with System Dynamics

2024-11-10T00:08:48Z

Yazar Cavana, Robert Y. editor. Dangerfield, Brian C. editor. Pavlov, Oleg V. editor. Radzicki, Michael J. editor. Wheat, I. David. editor.
Yer Numarası HB1 -846.8
ISBN 9783030671907
Elektronik Erişim Full Text Available From Springer Nature Economics and Finance 2021 Packages
Format: Electronic Resources

Advances in Simulation and Process Modelling Proceedings of the Second International Symposium on Simulation and Process Modelling (ISSPM 2020)

2024-11-10T00:08:48Z

Yazar Li, Yupeng. editor. Zhu, Quanmin. editor. (orcid)0000-0001-8173-1179 Qiao, Feng. editor. Fan, Zhiping. editor. Chen, Yinong. editor.
Yer Numarası QA76.9 .C65
ISBN 9789813345751
Elektronik Erişim Full Text Available From Springer Nature Engineering 2021 Packages
Format: Electronic Resources

Practical Linux with Raspberry Pi OS Quick Start

2024-11-10T00:08:48Z

Yazar Pajankar, Ashwin. author. SpringerLink (Online service)
Yer Numarası TS171.57
ISBN 9781484265109
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Introducing Blockchain with Lisp Implement and Extend Blockchains with the Racket Language

2024-11-10T00:08:48Z

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

Learn to Program with Kotlin From the Basics to Projects with Text and Image Processing

2024-11-10T00:08:48Z

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

Approximation and Online Algorithms 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Kaklamanis, Christos. editor. Levin, Asaf. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
ISBN 9783030808792
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Computer Algebra in Scientific Computing 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Boulier, François. editor. (orcid)0000-0002-6663-719X England, Matthew. editor. (orcid)0000-0001-5729-3420 Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Yer Numarası QA9.58
ISBN 9783030851651
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Implementation and Application of Automata 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Advances in Swarm Intelligence 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part I

2024-11-10T00:08:48Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030787431
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Case-Based Reasoning Research and Development 29th International Conference, ICCBR 2021, Salamanca, Spain, September 13-16, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Sánchez-Ruiz, Antonio A. editor. Floyd, Michael W. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030869571
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Relational and Algebraic Methods in Computer Science 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Fahrenberg, Uli. editor. Gehrke, Mai. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Yer Numarası QA76.63
ISBN 9783030887018
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computing and Combinatorics 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Chen, Chi-Yeh. editor. (orcid)0000-0001-9664-8538 Hon, Wing-Kai. editor. (orcid)0000-0002-0570-2904 Hung, Ling-Ju. editor. (orcid)0000-0001-5659-5507 Lee, Chia-Wei. editor. (orcid)0000-0002-5337-0473 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030895433
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Metaheuristics for Finding Multiple Solutions

2024-11-10T00:08:48Z

Yazar Preuss, Mike. editor. Epitropakis, Michael G. editor. Li, Xiaodong. editor. Fieldsend, Jonathan E. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030795535
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Context-Aware Systems and Applications, and Nature of Computation and Communication 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26-27, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Vinh, Phan Cong. editor. (orcid)0000-0002-0797-0152 Rakib, Abdur. editor. (orcid)0000-0001-5430-450X SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030671013
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Nonsequential and Distributed Programming with Go Synchronization of Concurrent Processes: Communication - Cooperation - Competition

2024-11-10T00:08:48Z

Yazar Maurer, Christian. author. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
ISBN 9783658297824
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Theoretical Computer Science 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Li, Jian. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9789811674433
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Design and Cryptanalysis of ZUC A Stream Cipher in Mobile Telephony

2024-11-10T00:08:48Z

Yazar Mukherjee, Chandra Sekhar. author. Roy, Dibyendu. author. Maitra, Subhamoy. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9789813348820
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Parallel and Distributed Computing, Applications and Technologies 21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Zhang, Yong. editor. Xu, Yicheng. editor. (orcid)0000-0001-5209-107X Tian, Hui. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030692445
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Chatbot Research and Design 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23-24, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Yer Numarası QA76.9 .N38
ISBN 9783030682880
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Understanding Network Hacks Attack and Defense with Python 3

2024-11-10T00:08:48Z

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

Logic and Argumentation 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Baroni, Pietro. editor. (orcid)0000-0001-5439-9561 Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Wáng, Yὶ N. editor. (orcid)0000-0002-0650-4993 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030893910
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Advances in Artificial Intelligence, Computation, and Data Science For Medicine and Life Science

2024-11-10T00:08:48Z

Yazar Pham, Tuan D. editor. Yan, Hong. editor. Ashraf, Muhammad W. editor. Sjöberg, Folke. editor. SpringerLink (Online service)
Yer Numarası QH324.2 -324.25
ISBN 9783030699512
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 XLIX Special Issue on Data Management - Principles, Technologies and Applications

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Maglogiannis, Ilias. editor. Trawiński, Bogdan. editor. (orcid)0000-0002-2956-6388 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030880811
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2021 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Cerone, Antonio. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030853150
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Principles of High-Performance Processor Design For High Performance Computing, Deep Neural Networks and Data Science

2024-11-10T00:08:48Z

Yazar Makino, Junichiro. author. SpringerLink (Online service)
Yer Numarası TK7895 .M5
ISBN 9783030768713
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Modelling and Development of Intelligent Systems 7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

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

Cellular Automata 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2-4, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Gwizdałła, Tomasz M. editor. (orcid)0000-0002-3981-6037 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Sirakoulis, Georgios Ch. editor. (orcid)0000-0001-8240-484X Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 Podlaski, Krzysztof. editor. (orcid)0000-0002-2883-0773
Yer Numarası QA75.5 -76.95
ISBN 9783030694807
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Structural Information and Communication Complexity 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 - July 1, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Jurdziński, Tomasz. editor. (orcid)0000-0003-1908-9458 Schmid, Stefan. editor. (orcid)0000-0002-7798-1711 SpringerLink (Online service)
Yer Numarası QA9.58
ISBN 9783030795276
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Fundamentals of Quantum Computing Theory and Practice

2024-11-10T00:08:48Z

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

Applications of Evolutionary Computation 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 Jiménez Laredo, Juan Luis. editor. (orcid)0000-0002-9416-2005 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030726997
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Kiefer, Stefan. editor. Tasson, Christine. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
ISBN 9783030719951
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Information Retrieval 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part II

2024-11-10T00:08:48Z

Yazar Hiemstra, Djoerd. editor. (orcid)0000-0003-4967-2900 Moens, Marie-Francine. editor. (orcid)0000-0002-3732-9323 Mothe, Josiane. editor. (orcid)0000-0001-9273-2193 Perego, Raffaele. editor. (orcid)0000-0001-7189-4724 Potthast, Martin. editor. (orcid)0000-0003-2451-0665
Yer Numarası QA75.5 -76.95
ISBN 9783030722401
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Algorithmic Aspects of Cloud Computing 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar D'Angelo, Gianlorenzo. editor. (orcid)0000-0003-0377-7037 Michail, Othon. editor. (orcid)0000-0002-6234-3960 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030930431
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Combinatorial Optimization and Applications 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Du, Ding-Zhu. editor. (orcid)0000-0002-7345-2185 Du, Donglei. editor. (orcid)0000-0003-0111-8572 Wu, Chenchen. editor. (orcid)0000-0002-6742-8816 Xu, Dachuan. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030926816
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

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

Algorithmic Aspects in Information and Management 15th International Conference, AAIM 2021, Virtual Event, December 20-22, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Wu, Weili. editor. (orcid)0000-0001-8747-6340 Du, Hongwei. editor. (orcid)0000-0002-2138-749X SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030931766
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Graph Drawing and Network Visualization 29th International Symposium, GD 2021, Tübingen, Germany, September 14-17, 2021, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Purchase, Helen C. editor. (orcid)0000-0001-6994-4446 Rutter, Ignaz. editor. (orcid)0000-0002-3794-4406 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030929312
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Unconventional Computation and Natural Computation 19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Kostitsyna, Irina. editor. (orcid)0000-0003-0544-2257 Orponen, Pekka. editor. (orcid)0000-0002-0417-2104 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030879938
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Logics in Artificial Intelligence 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Faber, Wolfgang. editor. (orcid)0000-0002-0330-5868 Friedrich, Gerhard. editor. (orcid)0000-0002-1992-4049 Gebser, Martin. editor. (orcid)0000-0002-8010-4752 Morak, Michael. editor. (orcid)0000-0002-2077-7672 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030757755
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roggenbach, Markus. editor. (orcid)0000-0002-3819-2787 SpringerLink (Online service)
Yer Numarası LB1028.43 -1028.75
ISBN 9783030713744
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Ishibuchi, Hisao. editor. (orcid)0000-0001-9186-6472 Zhang, Qingfu. editor. (orcid)0000-0003-0786-0671 Cheng, Ran. editor. (orcid)0000-0001-9410-8263 Li, Ke. editor. (orcid)0000-0001-7200-4244 Li, Hui. editor.
Yer Numarası QA9.58
ISBN 9783030720629
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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 I

2024-11-10T00:08:48Z

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

Formal Concept Analysis 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Braud, Agnès. editor. (orcid)0000-0003-3614-9141 Buzmakov, Aleksey. editor. (orcid)0000-0002-9317-8785 Hanika, Tom. editor. (orcid)0000-0002-4918-6374 Le Ber, Florence. editor. (orcid)0000-0002-2415-7606 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030778675
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Stability Analysis and Controller Design of Local Model Networks

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Concise Guide to Quantum Computing Algorithms, Exercises, and Implementations

2024-11-10T00:08:48Z

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

Transactions on Petri Nets and Other Models of Concurrency XV

2024-11-10T00:08:48Z

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

Language and Automata Theory and Applications 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030681951
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Agents and Artificial Intelligence 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030711580
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Science - ICCS 2021 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part VI

2024-11-10T00:08:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Kranzlmüller, Dieter. editor. (orcid)0000-0002-8319-0123 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030779801
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Connecting with Computability 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar De Mol, Liesbeth. editor. Weiermann, Andreas. editor. Manea, Florin. editor. (orcid)0000-0001-6094-3324 Fernández-Duque, David. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
ISBN 9783030800499
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Cluster Analysis and Applications

2024-11-10T00:08:48Z

Yazar Scitovski, Rudolf. author. Sabo, Kristian. author. Martínez-Álvarez, Francisco. author. Ungar, Šime. author. SpringerLink (Online service)
Yer Numarası Q336
ISBN 9783030745523
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

WALCOM: Algorithms and Computation 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Hong, Seok-Hee. editor. Nandy, Subhas C. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030682118
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advances in Optimization and Applications 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Olenev, Nicholas N. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri G. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Yer Numarası QA76.9 .M35
ISBN 9783030927110
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Roggenbach, Markus. editor. (orcid)0000-0002-3819-2787 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030737856
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Descriptional Complexity of Formal Systems 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Han, Yo-Sub. editor. (orcid)0000-0002-7211-6657 Ko, Sang-Ki. editor. (orcid)0000-0002-5406-5104 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030934897
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Computational Thinking: A Perspective on Computer Science

2024-11-10T00:08:48Z

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

Programming Languages and Systems 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings

2024-11-10T00:08:48Z

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

Techniques for Searching, Parsing, and Matching

2024-11-10T00:08:48Z

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

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities 15th International Conference, NooJ 2021, Besançon, France, June 9-11, 2021, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Bigey, Magali. editor. Richeton, Annabel. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 Thomas, Izabella. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .N38
ISBN 9783030928612
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Detecting Trust and Deception in Group Interaction

2024-11-10T00:08:48Z

Yazar Subrahmanian, V. S. editor. Burgoon, Judee K. editor. Dunbar, Norah E. editor. SpringerLink (Online service)
Yer Numarası Q325.5 -.7
ISBN 9783030543839
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Fundamentals of Cryptography Introducing Mathematical and Algorithmic Foundations

2024-11-10T00:08:48Z

Yazar Buell, Duncan. author. SpringerLink (Online service)
Yer Numarası QA76.9 .A25
ISBN 9783030734923
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Interpretability of Machine Intelligence in Medical Image Computing, and Topological Data Analysis and Its Applications for Medical Data 4th International Workshop, iMIMIC 2021, and 1st International Workshop, TDA4MedicalData 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Reyes, Mauricio. editor. (orcid)0000-0002-2434-9990 Henriques Abreu, Pedro. editor. (orcid)0000-0002-9278-8194 Cardoso, Jaime. editor. (orcid)0000-0002-3760-2473 Hajij, Mustafa. editor. Zamzmi, Ghada. editor. (orcid)0000-0003-4723-5539
Yer Numarası TA1501 -1820
ISBN 9783030874445
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Guide to Industrial Analytics Solving Data Science Problems for Manufacturing and the Internet of Things

2024-11-10T00:08:48Z

Yazar Hill, Richard. author. (orcid)0000-0003-0105-7730 Berry, Stuart. author. SpringerLink (Online service)
Yer Numarası QA76.9 .D343
ISBN 9783030791049
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Guide to Graph Colouring Algorithms and Applications

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Computational Science - ICCS 2021 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part III

2024-11-10T00:08:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Kranzlmüller, Dieter. editor. (orcid)0000-0002-8319-0123 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030779672
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Science - ICCS 2021 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part II

2024-11-10T00:08:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Kranzlmüller, Dieter. editor. (orcid)0000-0002-8319-0123 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030779641
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Essential Java for AP CompSci From Programming to Computer Science

2024-11-10T00:08:48Z

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

Essential Computer Science A Programmer's Guide to Foundational Concepts

2024-11-10T00:08:48Z

Yazar Crutcher, Paul D. author. Singh, Neeraj Kumar. author. Tiegs, Peter. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9781484271070
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Infrastructure-as-Code Automation Using Terraform, Packer, Vault, Nomad and Consul Hands-on Deployment, Configuration, and Best Practices

2024-11-10T00:08:48Z

Yazar Sabharwal, Navin. author. Pandey, Sarvesh. author. Pandey, Piyush. author. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9781484271292
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Programming Basics Getting Started with Java, C#, and Python

2024-11-10T00:08:48Z

Yazar Ciesla, Robert. author. (orcid)0000-0002-8305-448X SpringerLink (Online service)
Yer Numarası QA76.73 .P98
ISBN 9781484272862
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Practical Python Data Visualization A Fast Track Approach To Learning Data Visualization With Python

2024-11-10T00:08:48Z

Yazar Pajankar, Ashwin. author. SpringerLink (Online service)
Yer Numarası QA76.73 .P98
ISBN 9781484264553
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

5G Mobile Core Network Design, Deployment, Automation, and Testing Strategies

2024-11-10T00:08:48Z

Yazar Shetty, Rajaneesh Sudhakar. author. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
ISBN 9781484264737
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Zero Trust Security An Enterprise Guide

2024-11-10T00:08:48Z

Yazar Garbis, Jason. author. Chapman, Jerry W. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9781484267028
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Android Software Internals Quick Reference A Field Manual and Security Reference Guide to Java-based Android Components

2024-11-10T00:08:48Z

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

Red Hat Certified Engineer (RHCE) Study Guide Ansible Automation for the Red Hat Enterprise Linux 8 Exam (EX294)

2024-11-10T00:08:48Z

Yazar Mallett, Andrew. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9781484268612
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Beginning Unity Editor Scripting Create and Publish Your Game Tools

2024-11-10T00:08:48Z

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

Learn to Program with Assembly Foundational Learning for New Programmers

2024-11-10T00:08:48Z

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

Spring Cloud Data Flow Native Cloud Orchestration Services for Microservice Applications on Modern Runtimes

2024-11-10T00:08:48Z

Yazar Gutierrez, Felipe. author. SpringerLink (Online service)
Yer Numarası QA76.73 .J38
ISBN 9781484212394
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Modern C for Absolute Beginners A Friendly Introduction to the C Programming Language

2024-11-10T00:08:48Z

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

The Fast-Track Guide to VXLAN BGP EVPN Fabrics Implement Today's Multi-Tenant Software-Defined Networks

2024-11-10T00:08:48Z

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

Introduction to Computational Thinking Problem Solving, Algorithms, Data Structures, and More

2024-11-10T00:08:48Z

Yazar Mailund, Thomas. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9781484270776
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Programming Algorithms in Lisp Writing Efficient Programs with Examples in ANSI Common Lisp

2024-11-10T00:08:48Z

Yazar Domkin, Vsevolod. author. SpringerLink (Online service)
Yer Numarası QA76.73 .L23
ISBN 9781484264287
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

Pro Java Microservices with Quarkus and Kubernetes A Hands-on Guide

2024-11-10T00:08:48Z

Yazar Lamouchi, Nebrass. author. SpringerLink (Online service)
Yer Numarası QA76.73 .J38
ISBN 9781484271704
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

More Java 17 An In-Depth Exploration of the Java Language and Its Features

2024-11-10T00:08:48Z

Yazar Sharan, Kishori. author. Späth, Peter. author. SpringerLink (Online service)
Yer Numarası QA76.73 .J38
ISBN 9781484271353
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing 2021 Packages
Format: Electronic Resources

The Zeroth Book of Graph Theory An Annotated Translation of Les Réseaux (ou Graphes)-André Sainte-Laguë (1926)

2024-11-10T00:08:48Z

Yazar Golumbic, Martin Charles. author. Sainte-Laguë, André. author. SpringerLink (Online service)
Yer Numarası QA166 -166.247
ISBN 9783030614201
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Developments in Language Theory 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Moreira, Nelma. editor. (orcid)0000-0003-0861-0105 Reis, Rogério. editor. (orcid)0000-0001-9211-3712 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030815080
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

An Introduction to Machine Learning

2024-11-10T00:08:48Z

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

Artificial Intelligence 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11-16, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Kovalev, Sergei M. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030868550
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644 Yokoyama, Tetsuo. editor. (orcid)0000-0002-7677-143X SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783030798376
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Domain Science and Engineering A Foundation for Software Development

2024-11-10T00:08:48Z

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

Fundamentals of Image Data Mining Analysis, Features, Classification and Retrieval

2024-11-10T00:08:48Z

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

Algebraic Graph Algorithms A Practical Guide Using Python

2024-11-10T00:08:48Z

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

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Sacerdoti Coen, Claudio. editor. (orcid)0000-0002-4360-6016 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030753337
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Formalising Natural Languages: Applications to Natural Language Processing and Digital Humanities 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5-7, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Bekavac, Božo. editor. Kocijan, Kristina. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 Šojat, Krešimir. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .N38
ISBN 9783030706296
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Rules and Reasoning 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Moschoyiannis, Sotiris. editor. (orcid)0000-0002-0164-8322 Peñaloza, Rafael. editor. Vanthienen, Jan. editor. (orcid)0000-0002-3867-7055 Soylu, Ahmet. editor. Roman, Dumitru. editor.
Yer Numarası QA75.5 -76.95
ISBN 9783030911676
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Cybersecurity Data Science Best Practices in an Emerging Profession

2024-11-10T00:08:48Z

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

Discrete and Computational Geometry, Graphs, and Games 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Akiyama, Jin. editor. Marcelo, Reginaldo M. editor. Ruiz, Mari-Jo P. editor. Uno, Yushi. editor. SpringerLink (Online service)
Yer Numarası T385
ISBN 9783030900489
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Computer Science - Theory and Applications 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Santhanam, Rahul. editor. Musatov, Daniil. editor. (orcid)0000-0002-1779-2513 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030794163
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Computational Science - ICCS 2021 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part I

2024-11-10T00:08:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Kranzlmüller, Dieter. editor. (orcid)0000-0002-8319-0123 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030779610
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Formal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Lluch Lafuente, Alberto. editor. (orcid)0000-0001-7405-0818 Mavridou, Anastasia. editor. (orcid)0000-0002-3943-9753 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783030852481
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

CRAN Recipes DPLYR, Stringr, Lubridate, and RegEx in R

2024-11-10T00:08:48Z

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

Arithmetic Geometry, Number Theory, and Computation

2024-11-10T00:08:48Z

Yazar Balakrishnan, Jennifer S. editor. Elkies, Noam. editor. Hassett, Brendan. editor. Poonen, Bjorn. editor. Sutherland, Andrew V. editor.
Yer Numarası QA564 -609
ISBN 9783030809140
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Mathematical and Computational Studies on Progress, Prognosis, Prevention and Panacea of Breast Cancer

2024-11-10T00:08:48Z

Yazar Dey, Suhrit. author. Dey, Charlie. author. SpringerLink (Online service)
Yer Numarası QA71 -90
ISBN 9789811660771
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

AI Approaches to the Complexity of Legal Systems XI-XII AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Rodríguez-Doncel, Víctor. editor. (orcid)0000-0003-1076-2511 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Araszkiewicz, Michał. editor. (orcid)0000-0003-2524-3976 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849
Yer Numarası Q334 -342
ISBN 9783030898113
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Fundamentals of Logic and Computation With Practical Automated Reasoning and Verification

2024-11-10T00:08:48Z

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

Artificial Intelligence and Machine Learning 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19-20, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Baratchi, Mitra. editor. (orcid)0000-0002-1279-9310 Cao, Lu. editor. Kosters, Walter A. editor. (orcid)0000-0001-8860-0390 Lijffijt, Jefrey. editor. (orcid)0000-0002-2930-5057 van Rijn, Jan N. editor. (orcid)0000-0003-2898-2168
Yer Numarası Q334 -342
ISBN 9783030766405
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Computational Science - ICCS 2021 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part IV

2024-11-10T00:08:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Kranzlmüller, Dieter. editor. (orcid)0000-0002-8319-0123 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030779702
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Introduction to Computation Haskell, Logic and Automata

2024-11-10T00:08:48Z

Yazar Sannella, Donald. author. Fourman, Michael. author. Peng, Haoran. author. Wadler, Philip. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030769086
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Computational Science - ICCS 2021 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part V

2024-11-10T00:08:48Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Kranzlmüller, Dieter. editor. (orcid)0000-0002-8319-0123 Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030779771
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Handbook of Computability and Complexity in Analysis

2024-11-10T00:08:48Z

Yazar Brattka, Vasco. editor. Hertling, Peter. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030592349
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2024-11-10T00:08:48Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030815882
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Machine Translation 17th China Conference, CCMT 2021, Xining, China, October 8-10, 2021, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Su, Jinsong. editor. Sennrich, Rico. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .N38
ISBN 9789811675126
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Certificates of Positivity for Real Polynomials Theory, Practice, and Applications

2024-11-10T00:08:48Z

Yazar Powers, Victoria. author. SpringerLink (Online service)
Yer Numarası QA564 -609
ISBN 9783030855475
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Business Intelligence and Modelling Unified Approach with Simulation and Strategic Modelling in Entrepreneurship

2024-11-10T00:08:48Z

Yazar Sakas, Damianos P. editor. (orcid)0000-0002-2253-8966 Nasiopoulos, Dimitrios K. editor. Taratuhina, Yulia. editor. (orcid)0000-0002-6191-3984 SpringerLink (Online service)
Yer Numarası QA276 -280
ISBN 9783030570651
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Computational Reconstruction of Missing Data in Biological Research

2024-11-10T00:08:48Z

Yazar Bao, Feng. author. (orcid)0000-0002-5721-9551 SpringerLink (Online service)
Yer Numarası Q325.5 -.7
ISBN 9789811630644
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Sparse Grids and Applications - Munich 2018

2024-11-10T00:08:48Z

Yazar Bungartz, Hans-Joachim. editor. Garcke, Jochen. editor. Pflüger, Dirk. editor. SpringerLink (Online service)
Yer Numarası QA71 -90
ISBN 9783030813628
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Pipeline Real-time Data Integration and Pipeline Network Virtual Reality System Digital Oil & Gas Pipeline: Research and Practice

2024-11-10T00:08:48Z

Yazar Li, Zhenpei. author. Yang, Lehao. author. SpringerLink (Online service)
Yer Numarası TK1041 -1078
ISBN 9783030621100
Elektronik Erişim Full Text Available From Springer Nature Energy 2021 Packages
Format: Electronic Resources

Information Refinement Technologies for Crisis Informatics User Expectations and Design Principles for Social Media and Mobile Apps

2024-11-10T00:08:48Z

Yazar Kaufhold, Marc-André. author. SpringerLink (Online service)
Yer Numarası QA76.9 .B45
ISBN 9783658333416
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Stochastic Approaches to Electron Transport in Micro- and Nanostructures

2024-11-10T00:08:48Z

Yazar Nedjalkov, Mihail. author. Dimov, Ivan. author. Selberherr, Siegfried. author. SpringerLink (Online service)
Yer Numarası T57 -57.97
ISBN 9783030679170
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Topological Methods in Data Analysis and Visualization VI Theory, Applications, and Software

2024-11-10T00:08:48Z

Yazar Hotz, Ingrid. editor. Bin Masood, Talha. editor. Sadlo, Filip. editor. Tierny, Julien. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .I52
ISBN 9783030835002
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Realizing an Andreev Spin Qubit Exploring Sub-gap Structure in Josephson Nanowires Using Circuit QED

2024-11-10T00:08:48Z

Yazar Hays, Max. author. SpringerLink (Online service)
Yer Numarası QA76.889
ISBN 9783030838799
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2021 Packages
Format: Electronic Resources

The Physics of Computing

2024-11-10T00:08:48Z

Yazar Gammaitoni, Luca. author. SpringerLink (Online service)
Yer Numarası QC19.2 -20.85
ISBN 9783030871086
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2021 Packages
Format: Electronic Resources

Introduction to Quantum Computing

2024-11-10T00:08:48Z

Yazar LaPierre, Ray. author. SpringerLink (Online service)
Yer Numarası QA76.889
ISBN 9783030693183
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2021 Packages
Format: Electronic Resources

Minding the Future Artificial Intelligence, Philosophical Visions and Science Fiction

2024-11-10T00:08:48Z

Yazar Dainton, Barry. editor. Slocombe, Will. editor. Tanyi, Attila. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030642693
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2021 Packages
Format: Electronic Resources

Quantum Computing for the Quantum Curious

2024-11-10T00:08:48Z

Yazar Hughes, Ciaran. author. Isaacson, Joshua. author. Perry, Anastasia. author. Sun, Ranbel F. author. Turner, Jessica. author.
Yer Numarası QC173.96 -174.52
ISBN 9783030616014
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2021 Packages
Format: Electronic Resources

Complex Networks XII Proceedings of the 12th Conference on Complex Networks CompleNet 2021

2024-11-10T00:08:48Z

Yazar Teixeira, Andreia Sofia. editor. Pacheco, Diogo. editor. Oliveira, Marcos. editor. Barbosa, Hugo. editor. Gonçalves, Bruno. editor.
Yer Numarası Q295
ISBN 9783030818548
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2021 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Relational and Algebraic Methods in Computer Science 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Fahrenberg, Uli. editor. Jipsen, Peter. editor. Winter, Michael. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
ISBN 9783030435202
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computational Complexity and Property Testing On the Interplay Between Randomness and Computation

2024-11-10T00:08:48Z

Yazar Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030436629
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Paquete, Luís. editor. (orcid)0000-0001-7525-8901 Zarges, Christine. editor. (orcid)0000-0002-2829-4296 SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030436803
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Web Information Systems Engineering - WISE 2020 21st International Conference, Amsterdam, The Netherlands, October 20-24, 2020, Proceedings, Part I

2024-11-10T00:08:48Z

Yazar Huang, Zhisheng. editor. Beek, Wouter. editor. (orcid)0000-0003-0250-9655 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Zhou, Rui. editor. Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980
Yer Numarası QA76.76 .A65
ISBN 9783030620059
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Natural Language Processing and Chinese Computing 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14-18, 2020, Proceedings, Part II

2024-11-10T00:08:48Z

Yazar Zhu, Xiaodan. editor. Zhang, Min. editor. Hong, Yu. editor. He, Ruifang. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030604578
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Intelligent Computing Theories and Application 16th International Conference, ICIC 2020, Bari, Italy, October 2-5, 2020, Proceedings, Part I

2024-11-10T00:08:48Z

Yazar Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Hussain, Abir. editor. SpringerLink (Online service)
Yer Numarası TA1634
ISBN 9783030607999
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

LATIN 2020: Theoretical Informatics 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Kohayakawa, Yoshiharu. editor. (orcid)0000-0001-7841-157X Miyazawa, Flávio Keidi. editor. (orcid)0000-0002-1067-6421 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030617929
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Mathematical Aspects of Computer and Information Sciences 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Slamanig, Daniel. editor. (orcid)0000-0002-4181-2561 Tsigaridas, Elias. editor. Zafeirakopoulos, Zafeirakis. editor. (orcid)0000-0002-9632-6325 SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030431204
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computational Science - ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part IV

2024-11-10T00:08:48Z

Yazar Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Závodszky, Gábor. editor. (orcid)0000-0003-0150-0229 Lees, Michael H. editor. Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030504236
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

A Guided Tour of Artificial Intelligence Research Volume II: AI Algorithms

2024-11-10T00:08:48Z

Yazar Marquis, Pierre. editor. Papini, Odile. editor. Prade, Henri. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030061678
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Computational Science - ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part III

2024-11-10T00:08:48Z

Yazar Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Závodszky, Gábor. editor. (orcid)0000-0003-0150-0229 Lees, Michael H. editor. Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030504205
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advances in Swarm Intelligence 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14-20, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Tuba, Milan. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030539566
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Cellular Automata and Discrete Complex Systems 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Zenil, Hector. editor. (orcid)0000-0003-0634-4384 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030615888
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. (orcid)0000-0001-9928-1444 Nin, Jordi. editor. (orcid)0000-0002-9659-2762 Agell, Núria. editor. (orcid)0000-0001-9264-2147 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030575243
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Combinatorial Optimization and Applications 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Wu, Weili. editor. (orcid)0000-0001-8747-6340 Zhang, Zhongnan. editor. (orcid)0000-0002-7227-3943 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030648435
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Algorithms and Discrete Applied Mathematics 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Changat, Manoj. editor. Das, Sandip. editor. SpringerLink (Online service)
Yer Numarası QA71 -90
ISBN 9783030392192
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Rewriting Logic and Its Applications 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030635954
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Descriptional Complexity of Formal Systems 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Jirásková, Galina. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030625368
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Variable Neighborhood Search 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Benmansour, Rachid. editor. (orcid)0000-0003-2553-4116 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Mladenović, Nenad. editor. (orcid)0000-0001-6655-0409 SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030449322
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Natural Language Processing and Chinese Computing 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14-18, 2020, Proceedings, Part I

2024-11-10T00:08:48Z

Yazar Zhu, Xiaodan. editor. Zhang, Min. editor. Hong, Yu. editor. He, Ruifang. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030604509
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Reachability Problems 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Schmitz, Sylvain. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030617394
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Practical Aspects of Declarative Languages 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Komendantskaya, Ekaterina. editor. Liu, Yanhong Annie. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783030391973
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Müller, Peter. editor. (orcid)0000-0001-7001-2566 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783030449148
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Gabbrielli, Maurizio. editor. (orcid)0000-0003-0609-8662 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030452605
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Chatbot Research and Design Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Law, Effie Lai-Chong. editor. (orcid)0000-0002-0873-0150 Granmo, Ole-Christoffer. editor. (orcid)0000-0002-7287-030X
Yer Numarası QA76.9 .N38
ISBN 9783030395407
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Integrated Uncertainty in Knowledge Modelling and Decision Making 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11-13, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Entani, Tomoe. editor. (orcid)0000-0003-0859-6446 Jeenanunta, Chawalit. editor. Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621 Yenradee, Pisal. editor.
Yer Numarası Q334 -342
ISBN 9783030625092
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Research in Computational Molecular Biology 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Schwartz, Russell. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .A65
ISBN 9783030452575
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-11-10T00:08:48Z

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

Theory and Practice of Natural Computing 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7-9, 2020, Proceedings

2024-11-10T00:08:48Z

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

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

2024-11-10T00:08:48Z

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

Computing and Combinatorics 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29-31, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Kim, Donghyun. editor. Uma, R. N. editor. Cai, Zhipeng. editor. Lee, Dong Hoon. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030581503
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Software Engineering and Formal Methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Camara, Javier. editor. Steffen, Martin. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030575069
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

2024-11-10T00:08:48Z

Yazar Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Moreira, Nelma. editor. (orcid)0000-0003-0861-0105 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 Ratiu, Daniel. editor. Guidotti, Riccardo. editor. (orcid)0000-0002-2827-7613
Yer Numarası QA76.758
ISBN 9783030549947
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Topics in Theoretical Computer Science Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar S. Barbosa, Luís. editor. (orcid)0000-0002-5037-2588 Ali Abam, Mohammad. editor. (orcid)0000-0002-8345-8783 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030578527
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXXV

2024-11-10T00:08:48Z

Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. Motylska-Kuźma, Anna. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783662622452
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Inductive Logic Programming 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings

2024-11-10T00:08:48Z

Yazar Kazakov, Dimitar. editor. (orcid)0000-0002-0637-8106 Erten, Can. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030492106
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

2024-11-10T00:08:48Z

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

Computational Science - ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I

2024-11-10T00:08:48Z

Yazar Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Závodszky, Gábor. editor. (orcid)0000-0003-0150-0229 Lees, Michael H. editor. Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030503710
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Transactions on Rough Sets XXII

2024-11-10T00:08:48Z

Yazar Peters, James F. editor. (orcid)0000-0002-1026-4638 Skowron, Andrzej. editor. (orcid)0000-0002-5271-6559 SpringerLink (Online service)
Yer Numarası QA76.9 .D343
ISBN 9783662627983
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Monotonicity in Logic and Language Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Deng, Dun. editor. Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Liu, Mingming. editor. Westerståhl, Dag. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .N38
ISBN 9783662628430
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

A Pipelined Multi-Core Machine with Operating System Support Hardware Implementation and Correctness Proof

2024-11-10T00:08:48Z

Yazar Lutsyk, Petro. author. Oberhauser, Jonas. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
ISBN 9783030432430
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Trends in Functional Programming 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Bowman, William J. editor. (orcid)0000-0002-6402-4840 Garcia, Ronald. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
ISBN 9783030471477
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-11-10T00:08:48Z

Yazar Peltier, Nicolas. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
ISBN 9783030510749
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Artificial Intelligence 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Kuznetsov, Sergei O. editor. Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837 Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030595357
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Artificial Intelligence. IJCAI 2019 International Workshops Macao, China, August 10-12, 2019, Revised Selected Best Papers

2024-11-10T00:08:48Z

Yazar El Fallah Seghrouchni, Amal. editor. Sarne, David. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030561505
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

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

2024-11-10T00:08:48Z

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

Formal Modeling and Analysis of Timed Systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Jansen, Nils. editor. (orcid)0000-0003-1318-8973 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030576288
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Pang, Jun. editor. (orcid)0000-0002-4521-4112 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030628222
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Numerical Computations: Theory and Algorithms Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part II

2024-11-10T00:08:48Z

Yazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030406165
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Quantitative Evaluation of Systems 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Gribaudo, Marco. editor. (orcid)0000-0002-1415-5287 Jansen, David N. editor. (orcid)0000-0002-6636-3301 Remke, Anne. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030598549
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Language and Automata Theory and Applications 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030406080
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Formal Methods and Software Engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

2024-11-10T00:08:48Z

Yazar Lin, Shang-Wei. editor. (orcid)0000-0002-9726-3434 Hou, Zhe. editor. (orcid)0000-0001-7164-0580 Mahony, Brendan. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030634063
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Dynamic Logic. New Trends and Applications Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

2024-11-10T00:08:48Z

Yazar Soares Barbosa, Luís. editor. (orcid)0000-0002-5037-2588 Baltag, Alexandru. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030388089
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Algorithms and Models for the Web Graph 17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Kamiński, Bogumił. editor. Prałat, Paweł. editor. Szufel, Przemysław. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030484781
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Natural Language Processing and Information Systems 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24-26, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Métais, Elisabeth. editor. (orcid)0000-0002-2016-4198 Meziane, Farid. editor. (orcid)0000-0001-9811-6914 Horacek, Helmut. editor. Cimiano, Philipp. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .N38
ISBN 9783030513108
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computational Science - ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part VI

2024-11-10T00:08:48Z

Yazar Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Závodszky, Gábor. editor. (orcid)0000-0003-0150-0229 Lees, Michael H. editor. Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030504335
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 II

2024-11-10T00:08:48Z

Yazar Peltier, Nicolas. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
ISBN 9783030510541
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Applications of Evolutionary Computation 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 Jiménez Laredo, Juan Luis. editor. (orcid)0000-0002-9416-2005 Fernández de Vega, Francisco. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030437220
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Artificial Intelligence in Music, Sound, Art and Design 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Romero, Juan. editor. (orcid)0000-0001-5566-5382 Ekárt, Anikó. editor. Martins, Tiago. editor. (orcid)0000-0003-2638-237X Correia, João. editor. (orcid)0000-0002-3613-5420 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030438593
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-11-10T00:08:48Z

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

Case-Based Reasoning Research and Development 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8-12, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Watson, Ian. editor. Weber, Rosina. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030583422
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Advanced Data Mining and Applications 16th International Conference, ADMA 2020, Foshan, China, November 12-14, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Yang, Xiaochun. editor. (orcid)0000-0002-6184-4771 Wang, Chang-Dong. editor. (orcid)0000-0001-5972-559X Islam, Md. Saiful. editor. (orcid)0000-0001-7181-5328 Zhang, Zheng. editor. (orcid)0000-0003-1470-6998 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030653903
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Graph Drawing and Network Visualization 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Auber, David. editor. (orcid)0000-0002-1114-8612 Valtr, Pavel. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030687663
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Programming Languages and Systems 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Oliveira, Bruno C. d. S. editor. (orcid)0000-0002-8632-2291 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783030644376
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Testing Software and Systems 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Casola, Valentina. editor. (orcid)0000-0003-0964-7014 De Benedictis, Alessandra. editor. (orcid)0000-0001-7455-4653 Rak, Massimiliano. editor. (orcid)0000-0001-6708-4032 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030648817
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Emerging Technologies for Authorization and Authentication Third International Workshop, ETAA 2020, Guildford, UK, September 18, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Saracino, Andrea. editor. (orcid)0000-0001-8149-9322 Mori, Paolo. editor. (orcid)0000-0002-6618-0388 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030644550
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Interacting Complexities of Herds and Social Organizations Agent Based Modeling

2024-11-10T00:08:48Z

Yazar Raczynski, Stanislaw. author. (orcid)0000-0003-1501-4205 SpringerLink (Online service)
Yer Numarası HM511 -538
ISBN 9789811393372
Elektronik Erişim Full Text Available From Springer Nature Social Sciences 2020 Packages
Format: Electronic Resources

Rough Sets International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 - July 3, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Bello, Rafael. editor. (orcid)0000-0001-5567-2638 Miao, Duoqian. editor. (orcid)0000-0001-6588-1468 Falcon, Rafael. editor. (orcid)0000-0002-5906-3626 Nakata, Michinori. editor. (orcid)0000-0001-5488-3150 Rosete, Alejandro. editor. (orcid)0000-0002-4579-3556
Yer Numarası QA76.9 .D343
ISBN 9783030527051
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Developments in Language Theory 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Jonoska, Nataša. editor. (orcid)0000-0003-0765-9425 Savchuk, Dmytro. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030485160
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Lee, Ritchie. editor. (orcid)0000-0002-8881-4863 Jha, Susmit. editor. (orcid)0000-0001-5983-9095 Mavridou, Anastasia. editor. (orcid)0000-0002-3943-9753 Giannakopoulou, Dimitra. editor. SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030557546
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Intelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Miller, Bruce. editor. (orcid)0000-0002-2300-0367 SpringerLink (Online service)
Yer Numarası Q334 -342
ISBN 9783030535186
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Static Analysis 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Pichardie, David. editor. (orcid)0000-0002-2504-1760 Sighireanu, Mihaela. editor. (orcid)0000-0002-1925-089X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030654740
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Genetic Programming 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Hu, Ting. editor. (orcid)0000-0001-6382-0602 Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Medvet, Eric. editor. (orcid)0000-0001-5652-2113 Divina, Federico. editor. (orcid)0000-0002-0964-9506 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030440947
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computational Science - ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V

2024-11-10T00:08:48Z

Yazar Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Závodszky, Gábor. editor. (orcid)0000-0003-0150-0229 Lees, Michael H. editor. Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030504267
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computational Science - ICCS 2020 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part VII

2024-11-10T00:08:48Z

Yazar Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Závodszky, Gábor. editor. (orcid)0000-0003-0150-0229 Lees, Michael H. editor. Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782 Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
Yer Numarası QA75.5 -76.95
ISBN 9783030504366
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Janicki, Ryszard. editor. (orcid)0000-0001-5364-9725 Sidorova, Natalia. editor. Chatain, Thomas. editor. (orcid)0000-0002-1470-5074 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030518318
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Reversible Computation 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 Rawski, Mariusz. editor. (orcid)0000-0002-7489-0785 SpringerLink (Online service)
Yer Numarası QA76.9 .L63
ISBN 9783030524821
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Ničković, Dejan. editor. (orcid)0000-0001-5468-0396 SpringerLink (Online service)
Yer Numarası QA76.76 .C65
ISBN 9783030582982
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Frontiers in Algorithmics 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Li, Minming. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .M35
ISBN 9783030599010
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-11-10T00:08:48Z

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

Conceptual Modeling 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367 Frank, Ulrich. editor. (orcid)0000-0002-8057-1836 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Liddle, Stephen W. editor. (orcid)0000-0001-7671-4729 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Yer Numarası QA76.758
ISBN 9783030625221
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 I

2024-11-10T00:08:48Z

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

Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II

2024-11-10T00:08:48Z

Yazar Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Moreira, Nelma. editor. (orcid)0000-0003-0861-0105 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 Ratiu, Daniel. editor. Guidotti, Riccardo. editor. (orcid)0000-0002-2827-7613
Yer Numarası QA75.5 -76.95
ISBN 9783030549978
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Model-Based Safety and Assessment 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Zeller, Marc. editor. (orcid)0000-0002-6738-7903 Höfig, Kai. editor. (orcid)0000-0001-9613-4801 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030589202
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

2024-11-10T00:08:48Z

Yazar Chakraborty, Supratik. editor. (orcid)0000-0002-7527-7675 Navas, Jorge A. editor. (orcid)0000-0002-0516-1167 SpringerLink (Online service)
Yer Numarası QA76.758
ISBN 9783030416003
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Computer Science - Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030500269
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Beyond the Horizon of Computability 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

2024-11-10T00:08:48Z

Yazar Anselmo, Marcella. editor. (orcid)0000-0002-6487-8619 Della Vedova, Gianluca. editor. (orcid)0000-0001-5584-3089 Manea, Florin. editor. (orcid)0000-0001-6094-3324 Pauly, Arno. editor. (orcid)0000-0002-0173-3295 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
ISBN 9783030514662
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources