Arama Sonuçları Science -- Software.

Elements of software science

2026-02-12T19:17:36Z

Yazar Halstead, Maurice Howard, 1918-
Yer Numarası QA 76.6 H3 1977
Format: Kitap
Durum Beytepe Kütüphanesi~2

Perspectives on data science for software engineering

2026-02-12T19:17:36Z

Yazar Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128042069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing handbook : computer science and software engineering

2026-02-12T19:17:36Z

Yazar Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Yer Numarası QA76 .C57315 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Software engineering foundations : a software science perspective

2026-02-12T19:17:36Z

Yazar Wang, Yingxu., author.
Yer Numarası QA76.758 .W375 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

2026-02-12T19:17:36Z

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

Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

2026-02-12T19:17:36Z

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

International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

2026-02-12T19:17:36Z

Yazar Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26384-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2026-02-12T19:17:36Z

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

A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science

2026-02-12T19:17:36Z

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

Real-world software projects for computer science and engineering students

2026-02-12T19:17:36Z

Yazar Gupta, Varun, 1987- author. Nguyen-Duc, Anh (Software engineer), author.
Yer Numarası QA76.6 .G86 2021
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003119883 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2026-02-12T19:17:36Z

Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17127-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Software Science State of the Art and Perspectives

2026-02-12T19:17:36Z

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

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02750-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2026-02-12T19:17:36Z

Yazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89366-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-02-12T19:17:36Z

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

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-02-12T19:17:36Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18473-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science Methodology for Information Systems and Software Engineering

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2026-02-12T19:17:36Z

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

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

2026-02-12T19:17:36Z

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

Computer Science The Hardware, Software and Heart of It

2026-02-12T19:17:36Z

Yazar Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-02-12T19:17:36Z

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

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

2026-02-12T19:17:36Z

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

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16496-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2026-02-12T19:17:36Z

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2026-02-12T19:17:36Z

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

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2026-02-12T19:17:36Z

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

The cognitive dynamics of computer science cost-effective large scale software development

2026-02-12T19:17:36Z

Yazar De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2026-02-12T19:17:36Z

Yazar Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11690634
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2026-02-12T19:17:36Z

Yazar Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11944836
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2026-02-12T19:17:36Z

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

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2026-02-12T19:17:36Z

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

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-02-12T19:17:36Z

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

Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings

2026-02-12T19:17:36Z

Yazar Madhavan, C. E. Veni, ed. by.
Yer Numarası QA 76.751 F68 1989
Format: Kitap
Durum Beytepe Kütüphanesi~1

Evolutionary large-scale multi-objective optimization and applications : integrating evolutionary computation, machine learning, and data science

2026-02-12T19:17:36Z

Yazar Zhang, Xingyi (Software engineer), author. Cheng, Ran (Computer scientist), author. Tian, Ye (Associate professor), author. Jin, Yaochu, 1966- author.
Yer Numarası QA402.5 .Z4193 2024 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394178445
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data science with semantic technologies. New trends and future developments

2026-02-12T19:17:36Z

Yazar Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Yer Numarası QA76.9 .B45
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003310785 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data science with semantic technologies. Deployment and exploration

2026-02-12T19:17:36Z

Yazar Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Yer Numarası QA76.9 .B45
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003310792 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Basic statistics for life scientists : a concise handbook of essential techniques

2026-02-12T19:17:36Z

Yazar Tomek, Jakub, author. Eisner, David, 1955- author.
Yer Numarası QH323.5 .T66 2026
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394284993
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems

2026-02-12T19:17:36Z

Yazar Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Yer Numarası QA76.9 .A25
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003093350 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The data science handbook

2026-02-12T19:17:36Z

Yazar Cady, Field, 1984- author.
Yer Numarası QA76.9 .D32 C33 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next-generation systems and secure computing

2026-02-12T19:17:36Z

Yazar Barman, Subhabrata, editor. Koley, Santanu, editor. Joardar, Subhankar, editor.
Yer Numarası QA76.9 .A25 N49 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228522
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI-based advanced optimization techniques for edge computing

2026-02-12T19:17:36Z

Yazar Mohit, Kumar, editor.
Yer Numarası QA76.583 .A33 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287062
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green computational intelligence : sustainable strategies and emerging technologies

2026-02-12T19:17:36Z

Yazar Pathak, Nitish, editor.
Yer Numarası QA76.9 .E58 G74 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394383658
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Psychometrics, Test Theory, and the Latent Factors Model.

2026-02-12T19:17:36Z

Yazar Blahus, Pet. Blahus, Petr/Brown, Bruce L. Bunderson, C. Victor.
Yer Numarası XX(600387.1)
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119312246
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

2026-02-12T19:17:36Z

Yazar Arif, Tariq M., author. John Wiley & Sons, publisher.
Yer Numarası Q325.73 .A75 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimized computational intelligence driven decision-making : theory, application and challenges

2026-02-12T19:17:36Z

Yer Numarası Q342 .O68 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242566
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation techniques of digital twin in real-time applications : design modeling and implementation

2026-02-12T19:17:36Z

Yazar Anand, Abhineet, editor.
Yer Numarası QA76.9 .C65 S56 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394257003
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart edge computing : an operation research perspective

2026-02-12T19:17:36Z

Yazar Chakraborty, Rajdeep, editor. Ghosh, Anupam, editor. Mandal, Jyotsna Kumar, editor. Choudhury, Tanupriya, editor. Chatterjee, Prasenjit, editor.
Yer Numarası QA76.583
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277599
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Light sheet fluorescence microscopy

2026-02-12T19:17:36Z

Yazar Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.
Yer Numarası QH212 .F55
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803910
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

R-ticulate : a beginner's guide to data analysis for natural scientists

2026-02-12T19:17:36Z

Yazar Bader, Martin (Professor), author. Leuzinger, Sebastian, author.
Yer Numarası Q183.9 .B33 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119717980
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetic wave absorbing materials : fundamentals and applications

2026-02-12T19:17:36Z

Yazar Wu, Hongjing (Professor), editor. Luo, Jun (Professor of microelectronics), editor. Yang, Meiyin, editor.
Yer Numarası QC182 .W8 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119699316
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial computing : an AI-driven business revolution

2026-02-12T19:17:36Z

Yazar Hackl, Cathy, author. Cronin, Irena, author.
Yer Numarası HD45 .H226 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394308538
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inventory of biodiversity today : new methods and discoveries

2026-02-12T19:17:36Z

Yazar Nicolas, Violaine, editor.
Yer Numarası QH541.15 .B56 I58 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394316946
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Springer Handbook of Augmented Reality

2026-02-12T19:17:36Z

Yazar Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-67822-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2026-02-12T19:17:36Z

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

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36889-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

2026-02-12T19:17:36Z

Yazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37126-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

2026-02-12T19:17:36Z

Yazar Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8088-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

2026-02-12T19:17:36Z

Yazar Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43849-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Biostatistics in Medicine and Allied Health Sciences

2026-02-12T19:17:36Z

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

Sustainable Design and Manufacturing Proceedings of the 9th International Conference on Sustainable Design and Manufacturing (SDM 2022)

2026-02-12T19:17:36Z

Yazar Scholz, Steffen G. editor. Howlett, Robert J. editor. Setchi, Rossi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9205-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

2026-02-12T19:17:36Z

Yazar Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-2446-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

2026-02-12T19:17:36Z

Yazar Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-7874-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?

2026-02-12T19:17:36Z

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

Emerging Trends in Cybersecurity Applications

2026-02-12T19:17:36Z

Yazar Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-09640-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2026-02-12T19:17:36Z

Yazar Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33080-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2026-02-12T19:17:36Z

Yazar Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36336-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2026-02-12T19:17:36Z

Yazar Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5968-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings

2026-02-12T19:17:36Z

Yazar Valencia-García, Rafael. editor. Bucaram-Leverone, Martha. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Centanaro-Quiroz, Pablo Humberto. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45682-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)

2026-02-12T19:17:36Z

Yazar Ciurea, Cristian. editor. Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-6755-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

2026-02-12T19:17:36Z

Yazar Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-32041-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IoT product design and development : best practices for industrial, consumer, and business applications

2026-02-12T19:17:36Z

Yazar Fattahi, Ahmad, author.
Yer Numarası TK5105.8857 .F384 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119787686
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clinical applications of digital dental technology

2026-02-12T19:17:36Z

Yazar Masri, Radi, 1975- editor. Driscoll, Carl F., editor.
Yer Numarası RK309 .C55 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119800613
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data conscience : algorithmic siege on our humanity

2026-02-12T19:17:36Z

Yazar Marshall, Brandeis (Brandeis Hill), author. Gebru, Timnit, 1982 or 1983- writer of preface.
Yer Numarası HM851 .M37263 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320721
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of software fault localization : foundations and advances

2026-02-12T19:17:36Z

Yazar Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.
Yer Numarası QA76.76 .F34 H36 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119880929
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gamification for resilience : resilient informed decision-making

2026-02-12T19:17:36Z

Yazar Gheorghe, Adrian V., author. Katina, Polinpapilinho F., author.
Yer Numarası HT166 .G487 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157778
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robotic process automation

2026-02-12T19:17:36Z

Yazar Rawat, Romil, editor. Chakrawarti, Rajesh Kumar. Sarangi, Sanjaya Kumar. Choudhary, Rahul. Gadwal, Anand Singh.
Yer Numarası T59.5 .R63 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394166954
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in data science and analytics : concepts and paradigms

2026-02-12T19:17:36Z

Yazar Niranjanamurthy, M., editor. Gianey, Hemant Kumar, editor. Gandomi, Amir H., editor.
Yer Numarası QA76.9 .D343 A38 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792826
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep learning : from big data to artificial intelligence with R

2026-02-12T19:17:36Z

Yazar Tuffery, Stéphane, author.
Yer Numarası Q325.73 .T84 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119845041
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of computational sciences : a multi and interdisciplinary approach

2026-02-12T19:17:36Z

Yazar Elngar, Ahmed A., editor.
Yer Numarası QA76 .H36 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The absence of soulware in higher education.

2026-02-12T19:17:36Z

Yazar Kuo, Way, 1951- author.
Yer Numarası LA1133 .K86 2023 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175666
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UML DIAGRAMMING a catalog of cases.

2026-02-12T19:17:36Z

Yazar Sundaramoorthy, Suriya, author.
Yer Numarası QA76.6
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003287124 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic web for effective healthcare systems

2026-02-12T19:17:36Z

Yazar Jain, Vishal, editor.
Yer Numarası TK5105.88815
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764175
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital dentistry : a step-by-step guide and case atlas

2026-02-12T19:17:36Z

Yazar Cortes, Arthur R. G. (Rodriguez Gonzalez), 1983- editor.
Yer Numarası RK240 .D54 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119852025
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiscale modelling and optimization of materials and structures

2026-02-12T19:17:36Z

Yazar Burczyński, Tadeusz, author.
Yer Numarası QA76.9 .C65 B86 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118536445
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer science security : concepts and tools

2026-02-12T19:17:36Z

Yazar Zaidoun, Ameur Salem, author.
Yer Numarası QA76.9 .A25 Z35 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals and methods of machine and deep learning : algorithms, tools and applications

2026-02-12T19:17:36Z

Yazar Singh, Pradeep, editor.
Yer Numarası Q325.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821908
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced analytics and deep learning models

2026-02-12T19:17:36Z

Yazar Mire, Archana, editor. Malik, Shaveta, editor. Tyagi, Amit Kumar, editor.
Yer Numarası Q325.73 .A38 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792437
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social network analysis : theory and applications

2026-02-12T19:17:36Z

Yazar Galety, Mohammad Gouse, editor.
Yer Numarası HM742 .S63 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119836759
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Earth observation using Python : a practical programming guide

2026-02-12T19:17:36Z

Yazar Esmaili, Rebekah Bradley, author.
Yer Numarası QE48.8 .E85 2021
Elektronik Erişim https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119606925
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing big data platforms : how to use, deploy, and maintain big data systems

2026-02-12T19:17:36Z

Yazar Aytas, Yusuf.
Yer Numarası QA76.9 .B45
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119690962
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

C++ template metaprogramming in practice a deep learning framework

2026-02-12T19:17:36Z

Yazar Wei, Li.
Yer Numarası QA76.73 .C153
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003102311 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TORUS 2 -- toward an open resource using services : cloud computing for environmental data

2026-02-12T19:17:36Z

Yazar Laffly, Dominique.
Yer Numarası QA76.585
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720553
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technology in forensic science : sampling, analysis, data and regulations

2026-02-12T19:17:36Z

Yazar Rawtani, Deepak. Hussain, Chaudhery Mustansar.
Yer Numarası HV8073
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527827688
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Planning and executing credible experiments : a guidebook for engineering, science, industrial processes, agriculture, and business

2026-02-12T19:17:36Z

Yazar Moffat, R. J., author. Henk, Roy W., author.
Yer Numarası QA279 .M64 2020 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119532828
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied numerical methods using MATLAB®

2026-02-12T19:17:36Z

Yazar Yang, Wŏn-yŏng, 1953- author. Cao, Wenwu, author. Kim, Jaekwon, 1972- author. Park, Kyung W., 1976- author. Park, Ho Hyun, 1964- author.
Yer Numarası QA297 .Y36 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119626879
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine learning for iOS developers

2026-02-12T19:17:36Z

Yazar Mishra, Abhishek, author.
Yer Numarası Q325.5 .M57 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TORUS 1 -- toward an open resource using services : cloud computing for environmental data

2026-02-12T19:17:36Z

Yazar Laffly, Dominique.
Yer Numarası QA76.585
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720492
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TORUS 3 -- Toward an open resource using services : cloud computing for environmental data

2026-02-12T19:17:36Z

Yazar Laffly, Dominique.
Yer Numarası QA76.585
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720522
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

2026-02-12T19:17:36Z

Yazar Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16458-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2026-02-12T19:17:36Z

Yazar Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28005-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2026-02-12T19:17:36Z

Yazar Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-10801-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2026-02-12T19:17:36Z

Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26954-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-10868-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2026-02-12T19:17:36Z

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

Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

2026-02-12T19:17:36Z

Yazar Mu, Yi. editor. (orcid)0000-0002-1637-845X Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Huang, Xinyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31578-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2026-02-12T19:17:36Z

Yazar Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20883-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2026-02-12T19:17:36Z

Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26951-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2026-02-12T19:17:36Z

Yazar Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26948-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2026-02-12T19:17:36Z

Yazar Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33742-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2026-02-12T19:17:36Z

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

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32101-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Panel data econometrics with R

2026-02-12T19:17:36Z

Yazar Croissant, Yves, 1969- author. Millo, Giovanni, 1970- author.
Yer Numarası HB139
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119504641
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-25283-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Materials Informatics : Methods, Tools, and Applications

2026-02-12T19:17:36Z

Yazar Isayev, Olexandr. Tropsha, Alex. Curtarolo, S. (Stefano)
Yer Numarası QD905.2
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527802265
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomolecular simulations in structure-based drug discovery

2026-02-12T19:17:36Z

Yazar Gervasio, Francesco L., editor. Spiwok, Vojtech, editor.
Yer Numarası RM301.3 .G45
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527806836
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design technology of synthetic aperture radar

2026-02-12T19:17:36Z

Yazar Lu, Jiaguo, 1964- author.
Yer Numarası TK6592 .S95 L83 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564621
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01081-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97676-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01446-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99972-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02641-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

2026-02-12T19:17:36Z

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

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00151-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02768-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

2026-02-12T19:17:36Z

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

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

2026-02-12T19:17:36Z

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

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00434-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99639-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99127-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01790-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-02-12T19:17:36Z

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

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I

2026-02-12T19:17:36Z

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

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II

2026-02-12T19:17:36Z

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

Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93644-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

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

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7844-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

2026-02-12T19:17:36Z

Yazar Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90775-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91587-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

2026-02-12T19:17:36Z

Yazar Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76578-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72817-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2026-02-12T19:17:36Z

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

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2026-02-12T19:17:36Z

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

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

2026-02-12T19:17:36Z

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

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

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

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Campegiani, Paolo. editor. Czachórski, Tadeusz. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Komnios, Ioannis. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95189-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II

2026-02-12T19:17:36Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03329-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98521-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2423-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar U, Leong Hou. editor. Xie, Haoran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01298-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2026-02-12T19:17:36Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03332-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming with Actors State-of-the-Art and Research Perspectives

2026-02-12T19:17:36Z

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

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-02-12T19:17:36Z

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

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2026-02-12T19:17:36Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03326-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2026-02-12T19:17:36Z

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

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00801-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-02-12T19:17:36Z

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

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00244-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02547-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Programming with Fortran

2026-02-12T19:17:36Z

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

Web Content Credibility

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Morita, Plinio P. editor. (orcid)0000-0001-9515-6478 Burns, Catherine M. editor. (orcid)0000-0002-6182-958X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78978-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Dynamic Data Driven Applications Systems

2026-02-12T19:17:36Z

Yazar Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95504-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76953-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

2026-02-12T19:17:36Z

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

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II

2026-02-12T19:17:36Z

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

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

2026-02-12T19:17:36Z

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

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91593-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91662-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings

2026-02-12T19:17:36Z

Yazar Guidi, Barbara. editor. Ricci, Laura. editor. Calafate, Carlos. editor. Gaggi, Ombretta. editor. Marquez-Barja, Johann. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76111-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2026-02-12T19:17:36Z

Yazar Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94361-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

2026-02-12T19:17:36Z

Yazar Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67837-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

2026-02-12T19:17:36Z

Yazar Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76581-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-02-12T19:17:36Z

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

Fog Computing Concepts, Frameworks and Technologies

2026-02-12T19:17:36Z

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

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2026-02-12T19:17:36Z

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

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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

Understanding color management

2026-02-12T19:17:36Z

Yazar Sharma, Abhay, author.
Yer Numarası TA1637
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223702
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantifying uncertainty in subsurface systems

2026-02-12T19:17:36Z

Yazar Scheidt, Celine, author. Li, Lewis, author. Caers, Jef, author.
Yer Numarası QE33.2 .S82 S34 2018 EB
Elektronik Erişim https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119325888
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social engineering : the science of human hacking

2026-02-12T19:17:36Z

Yazar Hadnagy, Christopher, author.
Yer Numarası HM668 .H33 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119433729
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solving partial differential equation applications with PDE2D

2026-02-12T19:17:36Z

Yazar Sewell, Granville, author.
Yer Numarası QA377 .S4643 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507918
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementing Reproducible Research

2026-02-12T19:17:36Z

Yazar Stodden, Victoria , editor. Leisch, Friedrich, editor. Peng, Roger D., editor. Taylor and Francis.
Yer Numarası Q180.55 .S7
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emergent behavior in complex systems engineering : a modeling and simulation approach

2026-02-12T19:17:36Z

Yazar Mittal, Saurabh, editor. Diallo, Saikou Y., editor. Tolk, Andreas, editor.
Yer Numarası TA168 .E53 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The scaled boundary finite element method : introduction to theory and implementation

2026-02-12T19:17:36Z

Yazar Song, Chongmin, author.
Yer Numarası QC20.7 .F56
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388487
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dictionary of Computer Science, Engineering and Technology

2026-02-12T19:17:36Z

Yazar Laplante, Philip A., editor., author.
Yer Numarası QA76.15 L375 2017
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

The data science handbook

2026-02-12T19:17:36Z

Yazar Cady, Field, 1984- author.
Yer Numarası QA76.9 .D32
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big data and differential privacy : analysis strategies for railway track engineering

2026-02-12T19:17:36Z

Yazar Attoh-Okine, Nii O., author.
Yer Numarası TF241 .A88 2017
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119229070
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-02-12T19:17:36Z

Yazar Tolk, Andreas, editor. Ören, Tuncer I., editor.
Yer Numarası QA10.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-time embedded systems

2026-02-12T19:17:36Z

Yazar Wang, Jiacun, 1963- author.
Yer Numarası TK7895 .E42
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technicity vs scientificity

2026-02-12T19:17:36Z

Yazar Anichini, Giulia, author. Carraro, Flavia, author. Geslin, Philippe, author. Guille-Escuret, G. (Georges), author.
Yer Numarası Q175
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119406242
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and applications of image registration

2026-02-12T19:17:36Z

Yazar Goshtasby, Ardeshir, author.
Yer Numarası TA1632
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119171744
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied univariate, bivariate, and multivariate statistics

2026-02-12T19:17:36Z

Yazar Denis, Daniel J., 1974-
Yer Numarası QA279
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings

2026-02-12T19:17:36Z

Yazar Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23766-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

2026-02-12T19:17:36Z

Yazar Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19237-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

2026-02-12T19:17:36Z

Yazar Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46078-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Unmanned Aerial Vehicles

2026-02-12T19:17:36Z

Yazar Valavanis, Kimon P. editor. Vachtsevanos, George J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-90-481-9707-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II

2026-02-12T19:17:36Z

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

Practical cryptography : algorithms and implementations using C++

2026-02-12T19:17:36Z

Yazar Azad, Saiful, editor. Pathan, Al-Sakib Khan, editor.
Yer Numarası QA76.9 .A25 P725 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

2026-02-12T19:17:36Z

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

Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering

2026-02-12T19:17:36Z

Yazar Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08422-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Impact of Pen and Touch Technology on Education

2026-02-12T19:17:36Z

Yazar Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15594-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook on Data Centers

2026-02-12T19:17:36Z

Yazar Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-2092-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bayesian networks for probabilistic inference and decision analysis in forensic science

2026-02-12T19:17:36Z

Yazar Taroni, Franco, author. Biedermann, Alex, author. Bozza, Silvia, author. Garbolino, Paolo, 1955- author. Aitken, C. G. G., author.
Yer Numarası ONLINE(342015.1)
Elektronik Erişim Available by subscription from Safari Books Online John Wiley http://dx.doi.org/10.1002/9781118914762 Wiley Online Library http://onlinelibrary.wiley.com/book/10.1002/9781118914762 Volltext http://proquest.tech.safaribooksonline.de/9781118914748
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings

2026-02-12T19:17:36Z

Yazar Mitasiunas, Antanas. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13036-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2026-02-12T19:17:36Z

Yazar Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04897-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Cambridge handbook of the learning sciences

2026-02-12T19:17:36Z

Yazar Sawyer, R. Keith (Robert Keith), editor.
Yer Numarası LB1060 .C35 2014
Elektronik Erişim https://doi.org/10.1017/CBO9781139519526
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

2026-02-12T19:17:36Z

Yazar Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43896-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings

2026-02-12T19:17:36Z

Yazar Guo, Song. editor. Mauri, Jaime Lloret. editor. Manzoni, Pietro. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07425-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Novel techniques in sensory characterization and consumer profiling

2026-02-12T19:17:36Z

Yazar Varela Tomasco, Paula, editor. Ares, Gaston, editor.
Yer Numarası TX546 .N69 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Technologies for smart sensors and sensor fusion

2026-02-12T19:17:36Z

Yazar Yallup, Kevin, editor. Iniewski, Krzysztof, editor.
Yer Numarası TK7872 .D48 T43 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Computational Mathematics in Engineering and Applied Science : ODEs, DAEs, and PDEs

2026-02-12T19:17:36Z

Yazar Schiesser, W.E., author.
Yer Numarası TA347 .D45 S354 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

An architectural approach to level design

2026-02-12T19:17:36Z

Yazar Totten, Christopher W., author.
Yer Numarası QA76.76 .C672 T679 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings

2026-02-12T19:17:36Z

Yazar Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10262-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Team Foundation Service

2026-02-12T19:17:36Z

Yazar Olausson, Mathias. author. Rossberg, Joachim. author. Ehn, Jakob. author. Sköld, Mattias. author. SpringerLink (Online service)
Yer Numarası ONLINE(330735.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-5996-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Music and Human-Computer Interaction

2026-02-12T19:17:36Z

Yazar Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330896.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2990-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Connecting Families The Impact of New Communication Technologies on Domestic Life

2026-02-12T19:17:36Z

Yazar Neustaedter, Carman. editor. Harrison, Steve. editor. Sellen, Abigail. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330927.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4192-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Models for Adaptive Interactive Systems

2026-02-12T19:17:36Z

Yazar Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.
Yer Numarası ONLINE(331188.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5301-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Reflections, Challenges and New Directions

2026-02-12T19:17:36Z

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

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(333011.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03998-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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

Introduction to Cryptography with Maple

2026-02-12T19:17:36Z

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

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2026-02-12T19:17:36Z

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

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

2026-02-12T19:17:36Z

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

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334142.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Mashups Intelligent Reuse of Web Resources

2026-02-12T19:17:36Z

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

Systems and Software Variability Management Concepts, Tools and Experiences

2026-02-12T19:17:36Z

Yazar Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334240.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36583-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Cordeiro, José. editor. Krempels, Karl-Heinz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334245.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36608-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Engineering Product Lines, Languages, and Conceptual Models

2026-02-12T19:17:36Z

Yazar Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Yer Numarası ONLINE(334257.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334278.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Yer Numarası ONLINE(334280.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

2026-02-12T19:17:36Z

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

TV-Anytime Paving the Way for Personalized TV

2026-02-12T19:17:36Z

Yazar Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)
Yer Numarası ONLINE(334285.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36766-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency VII

2026-02-12T19:17:36Z

Yazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Yer Numarası ONLINE(334545.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2026-02-12T19:17:36Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-02-12T19:17:36Z

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

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334562.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Dynpro ABAP for Practitioners

2026-02-12T19:17:36Z

Yazar Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Yer Numarası ONLINE(334566.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

2026-02-12T19:17:36Z

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

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Mayr, Heinrich C. editor. Kop, Christian. editor. Liddle, Stephen. editor. Ginige, Athula. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334589.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38370-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-02-12T19:17:36Z

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

Software Product Quality Control

2026-02-12T19:17:36Z

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

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2026-02-12T19:17:36Z

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

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-02-12T19:17:36Z

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

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334631.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Models. Change Management

2026-02-12T19:17:36Z

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

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2026-02-12T19:17:36Z

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

Aspect-Oriented Requirements Engineering

2026-02-12T19:17:36Z

Yazar Moreira, Ana. editor. Chitchyan, Ruzanna. editor. Araújo, João. editor. Rashid, Awais. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334641.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38640-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming III

2026-02-12T19:17:36Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334647.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334651.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334652.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Dittrich, Yvonne. editor. Burnett, Margaret. editor. Mørch, Anders. editor. Redmiles, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334654.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38706-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334677.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38833-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-02-12T19:17:36Z

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

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334683.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-02-12T19:17:36Z

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

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2026-02-12T19:17:36Z

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

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2026-02-12T19:17:36Z

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

Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334700.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38928-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334803.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39467-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.
Yer Numarası ONLINE(334804.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39470-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2026-02-12T19:17:36Z

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

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

2026-02-12T19:17:36Z

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

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2026-02-12T19:17:36Z

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

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2026-02-12T19:17:36Z

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

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

2026-02-12T19:17:36Z

Yazar Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335018.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40849-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I

2026-02-12T19:17:36Z

Yazar Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335019.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40852-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335028.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers

2026-02-12T19:17:36Z

Yazar Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335033.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40951-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2026-02-12T19:17:36Z

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

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335043.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.
Yer Numarası ONLINE(335044.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41030-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-02-12T19:17:36Z

Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335046.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

2026-02-12T19:17:36Z

Yazar Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Yer Numarası ONLINE(335047.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41043-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-02-12T19:17:36Z

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

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2026-02-12T19:17:36Z

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

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-02-12T19:17:36Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

2026-02-12T19:17:36Z

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

Time and Petri Nets

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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

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

2026-02-12T19:17:36Z

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