Arama Sonuçları Science (General) - Daraltılmış: Computer science.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2026-03-21T04:25:59Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26831-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12797-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2026-03-21T04:25:59Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34500-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Software Science State of the Art and Perspectives

2026-03-21T04:25:59Z

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

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93736-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97136-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-57784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Bender, Michael A. editor. Farach-Colton, Martín. editor. (orcid)0000-0003-3616-7788 Mosteiro, Miguel A. editor. (orcid)0000-0001-5842-6256 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77404-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

2026-03-21T04:25:59Z

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

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02465-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00533-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

2026-03-21T04:25:59Z

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

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2026-03-21T04:25:59Z

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

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94460-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Brandstädt, Andreas. editor. Köhler, Ekkehard. editor. Meer, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00256-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00030-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

2026-03-21T04:25:59Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04179-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I

2026-03-21T04:25:59Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04167-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV

2026-03-21T04:25:59Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04212-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII

2026-03-21T04:25:59Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04239-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04651-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V

2026-03-21T04:25:59Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04221-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2026-03-21T04:25:59Z

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

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2026-03-21T04:25:59Z

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

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III

2026-03-21T04:25:59Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04182-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2026-03-21T04:25:59Z

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2026-03-21T04:25:59Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96145-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02508-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2026-03-21T04:25:59Z

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

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2026-03-21T04:25:59Z

Yazar Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00265-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02149-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-56343-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73117-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T04:25:59Z

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

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77610-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92991-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92040-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Chen, Xuemin. editor. (orcid)0000-0003-3820-9195 Sen, Arunabha. editor. Li, Wei Wayne. editor. Thai, My T. editor. (orcid)0000-0003-0503-2012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04648-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00389-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92970-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2026-03-21T04:25:59Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2026-03-21T04:25:59Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2026-03-21T04:25:59Z

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

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94418-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2026-03-21T04:25:59Z

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

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96983-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2026-03-21T04:25:59Z

Yazar Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01461-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T04:25:59Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2026-03-21T04:25:59Z

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91271-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II

2026-03-21T04:25:59Z

Yazar Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99259-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Gagie, Travis. editor. (orcid)0000-0003-3689-327X Moffat, Alistair. editor. (orcid)0000-0002-6638-0232 Navarro, Gonzalo. editor. (orcid)0000-0002-2286-741X Cuadros-Vargas, Ernesto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00479-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI

2026-03-21T04:25:59Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04224-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T04:25:59Z

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

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89363-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2026-03-21T04:25:59Z

Yazar Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99253-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96418-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92402-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99154-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2026-03-21T04:25:59Z

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

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2026-03-21T04:25:59Z

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

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

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

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74313-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers in Algorithmics 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings

2026-03-21T04:25:59Z

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

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Gheorghe, Marian. editor. 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-73359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75172-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

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

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2026-03-21T04:25:59Z

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

Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 – November 1, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Al-Sharhan, Salah A. editor. Simintiras, Antonis C. editor. Dwivedi, Yogesh K. editor. Janssen, Marijn. editor. Mäntymäki, Matti. editor. (orcid)0000-0002-1981-566X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02131-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2026-03-21T04:25:59Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96142-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2026-03-21T04:25:59Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89960-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2026-03-21T04:25:59Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89963-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89884-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91641-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90686-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77313-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75178-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77583-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2026-03-21T04:25:59Z

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

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77553-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2026-03-21T04:25:59Z

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

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2026-03-21T04:25:59Z

Yazar Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-57669-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T04:25:59Z

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

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2026-03-21T04:25:59Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73579-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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-21T04:25:59Z

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-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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 Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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-21T04:25:59Z

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

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

Algorithm Engineering Selected Results and Surveys

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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-21T04:25:59Z

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

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

2026-03-21T04:25:59Z

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

Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers

2026-03-21T04:25:59Z

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

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

2026-03-21T04:25:59Z

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

Wireless Algorithms, Systems, and Applications 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014, Proceedings

2026-03-21T04:25:59Z

Yazar Cai, Zhipeng. editor. Wang, Chaokun. editor. Cheng, Siyao. editor. Wang, Hongzhi. editor. Gao, Hong. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07782-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings

2026-03-21T04:25:59Z

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

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

2026-03-21T04:25:59Z

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

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

2026-03-21T04:25:59Z

Yazar an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54420-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II

2026-03-21T04:25:59Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-55195-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers

2026-03-21T04:25:59Z

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

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-03-21T04:25:59Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75775-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-03-21T04:25:59Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-03-21T04:25:59Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75778-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Machine Learning in Sports Science

2026-03-21T04:25:59Z

Yazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70155-3
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-21T04:25:59Z

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

Computer science security : concepts and tools

2026-03-21T04:25:59Z

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

Enterprise Architecture at Work Modelling, Communication and Analysis

2026-03-21T04:25:59Z

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

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

2026-03-21T04:25:59Z

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

Process Mining Data Science in Action

2026-03-21T04:25:59Z

Yazar van der Aalst, Wil M. P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49851-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Artificial Intelligence 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I

2026-03-21T04:25:59Z

Yazar Batyrshin, Ildar. editor. González Mendoza, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334486.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37807-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334494.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design. Cultural Differences in Everyday Life 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-03-21T04:25:59Z

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

Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-03-21T04:25:59Z

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

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-03-21T04:25:59Z

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

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

2026-03-21T04:25:59Z

Yazar McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334744.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39179-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II

2026-03-21T04:25:59Z

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

Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

2026-03-21T04:25:59Z

Yazar Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Yer Numarası ONLINE(334838.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39701-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334859.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

2026-03-21T04:25:59Z

Yazar Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334875.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39992-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers

2026-03-21T04:25:59Z

Yazar Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334924.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40303-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

2026-03-21T04:25:59Z

Yazar Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335022.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40867-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T04:25:59Z

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

Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

2026-03-21T04:25:59Z

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

Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2026-03-21T04:25:59Z

Yazar Yoshida, Hiroyuki. editor. Warfield, Simon. editor. Vannier, Michael W. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41083-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers

2026-03-21T04:25:59Z

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

High Performance Computing 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Zhang, Yunquan. editor. Li, Kenli. editor. Xiao, Zheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335128.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41591-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security Protocols XXI 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Christianson, Bruce. editor. Malcolm, James. editor. Stajano, Frank. editor. Anderson, Jonathan. editor. Bonneau, Joseph. editor.
Yer Numarası ONLINE(335142.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41717-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Molecular Biology Not Only for Bioinformaticians

2026-03-21T04:25:59Z

Yazar Widłak, Wiesława. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335211.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45361-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Microsoft Dynamics AX 2012 Updated for Version R2

2026-03-21T04:25:59Z

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

ISSE 2013 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe 2013 Conference

2026-03-21T04:25:59Z

Yazar Reimer, Helmut. editor. Pohlmann, Norbert. editor. Schneider, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335292.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-03371-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332997.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers

2026-03-21T04:25:59Z

Yazar Sheng, Quan Z. editor. Kjeldskov, Jesper. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333019.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-04244-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Meshfree Methods for Partial Differential Equations VI

2026-03-21T04:25:59Z

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

The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings

2026-03-21T04:25:59Z

Yazar Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.
Yer Numarası ONLINE(334576.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38288-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning iOS6 Development Exploring the iOS SDK

2026-03-21T04:25:59Z

Yazar Mark, David. author. Nutting, Jack. author. LaMarche, Jeff. author. Olsson, Fredrik. author. SpringerLink (Online service)
Yer Numarası ONLINE(330611.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4513-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learn Cocoa on the Mac

2026-03-21T04:25:59Z

Yazar Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(330613.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4543-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HTML5 Advertising

2026-03-21T04:25:59Z

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

Arduino Adventures Escape from Gemini Station

2026-03-21T04:25:59Z

Yazar Kelly, James Floyd. author. Timmis, Harold. author. SpringerLink (Online service)
Yer Numarası ONLINE(330616.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4606-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical LEGO Technics Bring Your LEGO Creations to Life

2026-03-21T04:25:59Z

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

iPhone and iPad Apps for Absolute Beginners

2026-03-21T04:25:59Z

Yazar Lewis, Rory. author. Mello, Chad. author. SpringerLink (Online service)
Yer Numarası ONLINE(330618.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4618-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Realtime Web Apps With HTML5 WebSocket, PHP, and jQuery

2026-03-21T04:25:59Z

Yazar Lengstorf, Jason. author. Leggetter, Phil. author. SpringerLink (Online service)
Yer Numarası ONLINE(330619.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4621-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning Java EE 7

2026-03-21T04:25:59Z

Yazar Goncalves, Antonio. author. SpringerLink (Online service)
Yer Numarası ONLINE(330620.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4627-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

JavaScript Programmer’s Reference

2026-03-21T04:25:59Z

Yazar Reid, Jonathan. author. Valentine, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE(330621.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4630-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learn Lua for iOS Game Development

2026-03-21T04:25:59Z

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

Beginning EJB 3 Java EE 7 Edition

2026-03-21T04:25:59Z

Yazar Wetherbee, Jonathan. author. Rathod, Chirag. author. Kodali, Raghu. author. Zadrozny, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(330625.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4693-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building Windows 8.1 Apps from the Ground Up

2026-03-21T04:25:59Z

Yazar Garofalo, Emanuele. author. Liccardi, Antonio. author. Aponte, Michele. author. SpringerLink (Online service)
Yer Numarası ONLINE(330626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4702-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro iOS Geo Building Apps with Location Based Services

2026-03-21T04:25:59Z

Yazar Andreucci, Giacomo. author. SpringerLink (Online service)
Yer Numarası ONLINE(330627.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4705-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro ASP.NET Web API HTTP Web Services in ASP.NET

2026-03-21T04:25:59Z

Yazar Ugurlu, Tugberk. author. Zeitler, Alexander. author. Kheyrollahi, Ali. author. SpringerLink (Online service)
Yer Numarası ONLINE(330629.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4726-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Definitive Guide to HTML5 WebSocket

2026-03-21T04:25:59Z

Yazar Wang, Vanessa. author. Salim, Frank. author. Moskovits, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(330634.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4741-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HTML5 Game Programming with enchant.js

2026-03-21T04:25:59Z

Yazar McInnis, Brandon. author. Shimizu, Ryo. author. Furukawa, Hidekazu. author. Fushimi, Ryohei. author. Tanaka, Ryo. author.
Yer Numarası ONLINE(330635.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4744-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide

2026-03-21T04:25:59Z

Yazar Ganesh, S G. author. Sharma, Tushar. author. SpringerLink (Online service)
Yer Numarası ONLINE(330636.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4765-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ASP.NET MVC 4 Recipes A Problem-Solution Approach

2026-03-21T04:25:59Z

Yazar Ciliberti, John. author. SpringerLink (Online service)
Yer Numarası ONLINE(330638.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4774-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Windows Phone App Development

2026-03-21T04:25:59Z

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

Beginning Groovy, Grails and Griffon

2026-03-21T04:25:59Z

Yazar Layka, Vishal. author. Judd, Christopher M. author. Nusairat, Joseph Faisal. author. Shingler, Jim. author. SpringerLink (Online service)
Yer Numarası ONLINE(330641.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4807-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Spring Security

2026-03-21T04:25:59Z

Yazar Scarioni, Carlo. author. SpringerLink (Online service)
Yer Numarası ONLINE(330643.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4819-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SharePoint 2013 User’s Guide Learning Microsoft’s Business Collaboration Platform

2026-03-21T04:25:59Z

Yazar Smith, Tony. author. SpringerLink (Online service)
Yer Numarası ONLINE(330645.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4834-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learn Unity 4 for iOS Game Development

2026-03-21T04:25:59Z

Yazar Chu, Philip. author. SpringerLink (Online service)
Yer Numarası ONLINE(330650.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4876-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning C

2026-03-21T04:25:59Z

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

Practical SharePoint 2013 Governance

2026-03-21T04:25:59Z

Yazar Goodyear, Steve. author. SpringerLink (Online service)
Yer Numarası ONLINE(330652.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4888-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning 3D Game Development with Unity 4: All-in-One, Multi-Platform Game Development

2026-03-21T04:25:59Z

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

Beginning iOS Social Games

2026-03-21T04:25:59Z

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

Arduino and LEGO Projects

2026-03-21T04:25:59Z

Yazar Lazar, Jon. author. SpringerLink (Online service)
Yer Numarası ONLINE(330658.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4930-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning jQuery

2026-03-21T04:25:59Z

Yazar Franklin, Jack. author. SpringerLink (Online service)
Yer Numarası ONLINE(330659.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4933-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning C# Object-Oriented Programming

2026-03-21T04:25:59Z

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

Practical Raspberry Pi

2026-03-21T04:25:59Z

Yazar Horan, Brendan. author. SpringerLink (Online service)
Yer Numarası ONLINE(330668.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4972-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ASP.NET MVC 4 and the Web API Building a REST Service from Start to Finish

2026-03-21T04:25:59Z

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

LEGO Technic Robotics

2026-03-21T04:25:59Z

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

The Business of Android Apps Development Making and Marketing Apps that Succeed on Google Play, Amazon App Store and More

2026-03-21T04:25:59Z

Yazar Sandberg, Roy. author. Rollins, Mark. author. SpringerLink (Online service)
Yer Numarası ONLINE(330674.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-5008-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro JSF and HTML5 Building Rich Internet Components

2026-03-21T04:25:59Z

Yazar Saleh, Hazem. author. Christensen, Allan Lykke. author. Wadia, Zubin. author. SpringerLink (Online service)
Yer Numarası ONLINE(330675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-5011-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1