Arama Sonuçları Computer Science, general. - Daraltılmış: 1:SPRINGER

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66107-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

2026-03-21T19:55:23Z

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

Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66278-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

2026-03-21T19:55:23Z

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

String Processing and Information Retrieval 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, Proceedings

2026-03-21T19:55:23Z

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

Electronic Participation 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Parycek, Peter. editor. (orcid)0000-0003-3242-0475 Charalabidis, Yannis. editor. Chugunov, Andrei V. editor. Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Pardo, Theresa A. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64322-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

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

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67630-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

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

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

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

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

2026-03-21T19:55:23Z

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

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67885-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61833-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58667-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62392-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68210-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69404-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III

2026-03-21T19:55:23Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70090-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70096-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV

2026-03-21T19:55:23Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70093-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71504-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68496-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Blended Learning. New Challenges and Innovative Practices 10th International Conference, ICBL 2017, Hong Kong, China, June 27-29, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Ma, Will W.K. editor. Lee, Lap-Kei. editor. Yang, Harrison. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59360-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55453-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation and Online Algorithms 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

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

2026-03-21T19:55:23Z

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

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54072-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings

2026-03-21T19:55:23Z

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

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

2026-03-21T19:55:23Z

Yazar Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50062-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2026-03-21T19:55:23Z

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

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57418-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66396-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

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

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2026-03-21T19:55:23Z

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

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55696-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WALCOM: Algorithms and Computation 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Poon, Sheung-Hung. editor. Rahman, Md. Saidur. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53925-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62395-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62404-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62407-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62401-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68600-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings

2026-03-21T19:55:23Z

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

Information Retrieval 23rd China conference, CCIR 2017, Shanghai, China, July 13-14, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Wen, Jirong. editor. Nie, Jianyun. editor. Ruan, Tong. editor. Liu, Yiqun. editor. Qian, Tieyun. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68699-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70087-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68705-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings

2026-03-21T19:55:23Z

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

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53862-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Liu, Ming. editor. Chen, Haoyao. editor. Vincze, Markus. editor. (orcid)0000-0002-2799-491X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68345-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2026-03-21T19:55:23Z

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

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-03-21T19:55:23Z

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

Theoretical Computer Science and Discrete Mathematics First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Arumugam, S. editor. Bagga, Jay. editor. Beineke, Lowell W. editor. Panda, B.S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Analysis and Its Applications 6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 15-22, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Dimov, Ivan. editor. (orcid)0000-0003-4198-5830 Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57099-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

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

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55665-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65482-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67952-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66197-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61824-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

2026-03-21T19:55:23Z

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

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-21T19:55:23Z

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

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-03-21T19:55:23Z

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

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings

2026-03-21T19:55:23Z

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

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-21T19:55:23Z

Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63121-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Ma, Liran. editor. Khreishah, Abdallah. editor. Zhang, Yan. editor. Yan, Mingyuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60033-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68612-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Data Structures 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Ellen, Faith. editor. Kolokolova, Antonina. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62127-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structural Information and Communication Complexity 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Das, Shantanu. editor. Tixeuil, Sebastien. editor. (orcid)0000-0002-0948-7172 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72050-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-21T19:55:23Z

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

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V

2026-03-21T19:55:23Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70139-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52228-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-03-21T19:55:23Z

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

Algorithms and Models for the Web Graph 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Bonato, Anthony. editor. Chung Graham, Fan. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67810-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51963-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72453-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71649-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaboration Technologies and Social Computing 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Yoshino, Takashi. editor. Yuizono, Takaya. editor. Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247 Vassileva, Julita. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63088-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Desprez, Frédéric. editor. Dutot, Pierre-François. editor. Kaklamanis, Christos. editor. Marchal, Loris. editor. Molitorisz, Korbinian. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58943-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI

2026-03-21T19:55:23Z

Yazar Liu, Derong. editor. Xie, Shengli. editor. Li, Yuanqing. editor. Zhao, Dongbin. editor. El-Alfy, El-Sayed M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70136-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Queueing Theory and Network Applications 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Yue, Wuyi. editor. Li, Quan-Lin. editor. Jin, Shunfu. editor. (orcid)0000-0002-5845-5601 Ma, Zhanyou. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68520-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2026-03-21T19:55:23Z

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

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66335-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54577-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2026-03-21T19:55:23Z

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

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54494-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55911-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2026-03-21T19:55:23Z

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

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

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

Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar de Barros, Jose Acacio. editor. Coecke, Bob. editor. Pothos, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52289-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers in Algorithmics 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings

2026-03-21T19:55:23Z

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

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57708-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61982-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-55386-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

2026-03-21T19:55:23Z

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

Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Neruda, Roman. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71069-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59072-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54157-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53733-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-03-21T19:55:23Z

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

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2026-03-21T19:55:23Z

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

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53547-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54332-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54999-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-21T19:55:23Z

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

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56258-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66176-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Music, Sound, Art and Design 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Correia, João. editor. Ciesielski, Vic. editor. Liapis, Antonios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55750-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59147-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

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

Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59773-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59740-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T19:55:23Z

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

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58631-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks - ISNN 2017 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Cong, Fengyu. editor. Leung, Andrew. editor. (orcid)0000-0003-0962-6723 Wei, Qinglai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59081-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Au, Man Ho Allen. editor. Castiglione, Arcangelo. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Palmieri, Francesco. editor. Li, Kuan-Ching. editor. (orcid)0000-0003-1381-4364
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57186-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54580-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62398-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

2026-03-21T19:55:23Z

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

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62809-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Complexity 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Fotakis, Dimitris. editor. Pagourtzis, Aris. editor. Paschos, Vangelis Th. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57586-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Discrete Applied Mathematics Third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings

2026-03-21T19:55:23Z

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

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63139-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Nations - Smart Cities, Innovation, and Sustainability 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Kar, Arpan Kumar. editor. Ilavarasan, P. Vigneswara. editor. Gupta, M.P. editor. Dwivedi, Yogesh K. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68557-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

2026-03-21T19:55:23Z

Yazar Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68759-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integer Programming and Combinatorial Optimization 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings

2026-03-21T19:55:23Z

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

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2026-03-21T19:55:23Z

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

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2026-03-21T19:55:23Z

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

Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48959-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42432-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42085-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete Optimization and Operations Research 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Kochetov, Yury. editor. Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Beresnev, Vladimir. editor. Nurminski, Evgeni. editor. Pardalos, Panos. editor. (orcid)0000-0001-9623-8053
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44914-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Lipták, Zsuzsanna. editor. Smyth, William F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29516-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Gergel, Victor. editor. Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Meyerov, Iosif. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49956-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42089-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46672-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Cardoso, João M.P. editor. Pionteck, Thilo. editor. Fey, Dietmar. editor. (orcid)0000-0002-6077-4732 Schröder-Preikschat, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30695-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Discrete Applied Mathematics Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings

2026-03-21T19:55:23Z

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

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2026-03-21T19:55:23Z

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

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

2026-03-21T19:55:23Z

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

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2026-03-21T19:55:23Z

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

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

2026-03-21T19:55:23Z

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

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-03-21T19:55:23Z

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

Graph-Theoretic Concepts in Computer Science 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49529-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53826-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Amunts, Katrin. editor. Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50862-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

Algorithms and Models for the Web Graph 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Bonato, Anthony. editor. Graham, Fan Chung. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49787-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41009-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings

2026-03-21T19:55:23Z

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

Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Siarry, Patrick. editor. (orcid)0000-0002-5722-4115 Idoumghar, Lhassane. editor. Lepagnot, Julien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50307-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Bonnevay, Stéphane. editor. Legrand, Pierrick. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31471-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Paias, Ana. editor. Ruthmair, Mario. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44896-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-03-21T19:55:23Z

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

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

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

Graph Drawing and Network Visualization 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Hu, Yifan. editor. Nöllenburg, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50106-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2026-03-21T19:55:23Z

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

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2026-03-21T19:55:23Z

Yazar Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30936-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks - ISNN 2016 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

2026-03-21T19:55:23Z

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

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30000-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I

2026-03-21T19:55:23Z

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

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46750-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arithmetic of Finite Fields 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Duquesne, Sylvain. editor. Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55227-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Chicano, Francisco. editor. Hu, Bin. editor. García-Sánchez, Pablo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30698-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T19:55:23Z

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

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44543-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

2026-03-21T19:55:23Z

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

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV

2026-03-21T19:55:23Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46681-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

2026-03-21T19:55:23Z

Yazar El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44365-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Martín-Vide, Carlos. editor. Mizuki, Takaaki. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49001-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete and Computational Geometry and Graphs 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Akiyama, Jin. editor. (orcid)0000-0001-5795-5930 Ito, Hiro. editor. Sakai, Toshinori. editor. Uno, Yushi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48532-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2026-03-21T19:55:23Z

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

Computational Social Networks 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2026-03-21T19:55:23Z

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

Algorithmic Aspects in Information and Management 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Dondi, Riccardo. editor. Fertin, Guillaume. editor. Mauri, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41168-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

2026-03-21T19:55:23Z

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

Structural Information and Communication Complexity 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49192-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

2026-03-21T19:55:23Z

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

Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45823-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2026-03-21T19:55:23Z

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

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2026-03-21T19:55:23Z

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

Graph-Theoretic Concepts in Computer Science 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers

2026-03-21T19:55:23Z

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

Informatics in Schools: Improvement of Informatics Knowledge and Perception 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings

2026-03-21T19:55:23Z

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

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46079-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithm Engineering Selected Results and Surveys

2026-03-21T19:55:23Z

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

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30668-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2026-03-21T19:55:23Z

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

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2026-03-21T19:55:23Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32149-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing and Applications Third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Xie, Jiang. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Zhang, Wu. editor. Chen, Yan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32557-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 10th International Conference, COCOA 2016, Hong Kong, China, December 16-18, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Chan, T-H. Hubert. editor. Li, Minming. editor. (orcid)0000-0002-7370-6237 Wang, Lusheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48749-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary and Biologically Inspired Music, Sound, Art and Design 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Johnson, Colin. editor. Ciesielski, Vic. editor. Correia, João. editor. Machado, Penousal. editor. (orcid)0000-0002-6308-6484 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31008-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32859-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

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

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32582-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33600-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28766-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings

2026-03-21T19:55:23Z

Yazar Bonato, Vanderlei. editor. Bouganis, Christos. editor. Gorgon, Marek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30481-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Kunkel, Julian M. editor. Balaji, Pavan. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41321-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40361-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-21T19:55:23Z

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

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34171-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

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

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2026-03-21T19:55:23Z

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

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42092-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-03-21T19:55:23Z

Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30734-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Plaat, Aske. editor. Kosters, Walter. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50935-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II

2026-03-21T19:55:23Z

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

Green, Pervasive, and Cloud Computing 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings

2026-03-21T19:55:23Z

Yazar Huang, Xinyi. editor. Xiang, Yang. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39077-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39636-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

String Processing and Information Retrieval 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings

2026-03-21T19:55:23Z

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

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2026-03-21T19:55:23Z

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

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49674-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2026-03-21T19:55:23Z

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

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

2026-03-21T19:55:23Z

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

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-03-21T19:55:23Z

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

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2026-03-21T19:55:23Z

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

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

2026-03-21T19:55:23Z

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

Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

2026-03-21T19:55:23Z

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

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I

2026-03-21T19:55:23Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46687-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-03-21T19:55:23Z

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

Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II

2026-03-21T19:55:23Z

Yazar Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44781-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-03-21T19:55:23Z

Yazar Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49122-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2026-03-21T19:55:23Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32152-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Cerulli, Raffaele. editor. (orcid)0000-0002-3277-6802 Fujishige, Satoru. editor. Mahjoub, A. Ridha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45587-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2026-03-21T19:55:23Z

Yazar Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41114-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2026-03-21T19:55:23Z

Yazar Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-52921-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49583-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III

2026-03-21T19:55:23Z

Yazar Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46675-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29604-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T19:55:23Z

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

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53132-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings

2026-03-21T19:55:23Z

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

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49630-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2026-03-21T19:55:23Z

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

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2026-03-21T19:55:23Z

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

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40189-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Nehmeier, Marco. editor. Wolff von Gudenberg, Jürgen. editor. Tucker, Warwick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31769-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53042-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2026-03-21T19:55:23Z

Yazar Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29919-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Gao, Guang R. editor. Qian, Depei. editor. Gao, Xinbo. editor. Chapman, Barbara. editor. Chen, Wenguang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47099-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Media: The Good, the Bad, and the Ugly 15th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2016, Swansea, UK, September 13-15, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Dwivedi, Yogesh K. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X Ravishankar, M.N. editor. Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Clement, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45234-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2026-03-21T19:55:23Z

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

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2026-03-21T19:55:23Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42111-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings

2026-03-21T19:55:23Z

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

Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. Li, Xiaodong. editor. López-Ibáñez, Manuel. editor. Ohkura, Kazuhiro. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44427-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Blended Learning: Aligning Theory with Practices 9th International Conference, ICBL 2016, Beijing, China, July 19-21, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Shang, Junjie. editor. Wang, Aihua. editor. Kwan, Reggie. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41165-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings

2026-03-21T19:55:23Z

Yazar Sack, Harald. editor. Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 d'Aquin, Mathieu. editor. Ghidini, Chiara. editor. Ponzetto, Simone Paolo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34129-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-21T19:55:23Z

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

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-03-21T19:55:23Z

Yazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27810-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General-Internet of Things (AG-IoT) for Robotics: Advanced Computer Vision Applications and Future Trends

2026-03-21T19:55:23Z

Yazar Malik, Mehak Mushtaq. editor. Maryam, Hafsa. editor. Khan, Inam Ullah. editor. Gupta, Shashi Kant. editor. (orcid)0000-0001-6587-5607 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95302-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Coordination Control System Application Scenarios and Countermeasures

2026-03-21T19:55:23Z

Yazar Jia, Yongnan. author. (orcid)0000-0002-6297-9061 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0365-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024

2026-03-21T19:55:23Z

Yazar Virvou, Maria. editor. Tanabe, Yoshinori. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98410-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Association Analysis Techniques and Applications in Bioinformatics

2026-03-21T19:55:23Z

Yazar Chen, Qingfeng. author. (orcid)0000-0002-5506-8913 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8251-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Cybersecurity A Multidisciplinary Challenge

2026-03-21T19:55:23Z

Yazar Sharp, Robin. author. (orcid)0000-0002-8593-267X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-41463-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Syntactic Networks-Kernel Memory Approach

2026-03-21T19:55:23Z

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

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1

2026-03-21T19:55:23Z

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

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2

2026-03-21T19:55:23Z

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

Mathematical Modelling of Complex Patterns Through Fractals and Dynamical Systems

2026-03-21T19:55:23Z

Yazar Arulprakash, Gowrisankar. editor. Bingi, Kishore. editor. (orcid)0000-0001-7333-7438 Serpa, Cristina. editor. (orcid)0000-0002-8561-118X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2343-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Protection The Wake of AI and Machine Learning

2026-03-21T19:55:23Z

Yazar Hewage, Chaminda. editor. (orcid)0000-0001-7593-6661 Yasakethu, Lasith. editor. (orcid)0000-0002-9571-6866 Jayakody, Dushantha Nalin K. editor. (orcid)0000-0002-7004-2930 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76473-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management, Tourism and Smart Technologies ICMTT 2023 Volume 2

2026-03-21T19:55:23Z

Yazar Montenegro, Carlos. editor. Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Cueva Lovelle, Juan Manuel. editor. (orcid)0000-0002-7812-7242 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43733-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management, Tourism and Smart Technologies ICMTT 2023 Volume 1

2026-03-21T19:55:23Z

Yazar Montenegro, Carlos. editor. Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Cueva Lovelle, Juan Manuel. editor. (orcid)0000-0002-7812-7242 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44131-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

2026-03-21T19:55:23Z

Yazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56222-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Advanced Intelligent Control, Optimization and Automation Proceedings of KKA 2017-The 19th Polish Control Conference, Kraków, Poland, June 18-21, 2017

2026-03-21T19:55:23Z

Yazar Mitkowski, Wojciech. editor. Kacprzyk, Janusz. editor. Oprzędkiewicz, Krzysztof. editor. Skruch, Paweł. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60699-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combustion Engine Diagnosis Model-based Condition Monitoring of Gasoline and Diesel Engines and their Components

2026-03-21T19:55:23Z

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

Advances in The Human Side of Service Engineering Proceedings of the AHFE 2016 International Conference on The Human Side of Service Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA

2026-03-21T19:55:23Z

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

Enterprise Architecture at Work Modelling, Communication and Analysis

2026-03-21T19:55:23Z

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

Springer Handbook of Model-Based Science

2026-03-21T19:55:23Z

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

Neural Connectomics Challenge

2026-03-21T19:55:23Z

Yazar Battaglia, Demian. editor. Guyon, Isabelle. editor. Lemaire, Vincent. editor. (orcid)0000-0002-6030-2356 Orlandi, Javier. editor. Ray, Bisakha. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53070-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex Systems Relationships between Control, Communications and Computing

2026-03-21T19:55:23Z

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

Retrogame Archeology Exploring Old Computer Games

2026-03-21T19:55:23Z

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

Development and Evaluation of High Resolution Climate System Models

2026-03-21T19:55:23Z

Yazar Yu, Rucong. author. Zhou, Tianjun. author. Wu, Tongwen. author. Xue, Wei. author. (orcid)0000-0001-9740-6581 Zhou, Guangqing. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0033-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 2

2026-03-21T19:55:23Z

Yazar Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18416-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Data Mining

2026-03-21T19:55:23Z

Yazar Bramer, Max. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-7307-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality in Business Process Modeling

2026-03-21T19:55:23Z

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

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 2

2026-03-21T19:55:23Z

Yazar Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2752-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Content-Centric Networks An Overview, Applications and Research Challenges

2026-03-21T19:55:23Z

Yazar Ahmed, Syed Hassan. author. Bouk, Safdar Hussain. author. Kim, Dongkyun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0066-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 1

2026-03-21T19:55:23Z

Yazar Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2755-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

2026-03-21T19:55:23Z

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

BioInformation Processing A Primer on Computational Cognitive Science

2026-03-21T19:55:23Z

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

Anthropology-Based Computing Putting the Human in Human-Computer Interaction

2026-03-21T19:55:23Z

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

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 3

2026-03-21T19:55:23Z

Yazar Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. (orcid)0000-0001-9447-647X Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2757-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 1

2026-03-21T19:55:23Z

Yazar Balas, Valentina Emilia. editor. C. Jain, Lakhmi. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18296-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1