Arama Sonuçları Mathematics. - Daraltılmış: Software engineering.

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2024-11-29T08:18:03Z

Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33636-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

2024-11-29T08:18:03Z

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

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

2024-11-29T08:18:03Z

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

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

2024-11-29T08:18:03Z

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

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-11-29T08:18:03Z

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

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

2024-11-29T08:18:03Z

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

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2024-11-29T08:18:03Z

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

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

2024-11-29T08:18:03Z

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

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

2024-11-29T08:18:03Z

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

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

2024-11-29T08:18:03Z

Yazar Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13321-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I

2024-11-29T08:18:03Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14390-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II

2024-11-29T08:18:03Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14403-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers

2024-11-29T08:18:03Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68111-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

2024-11-29T08:18:03Z

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

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-11-29T08:18:03Z

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

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

2024-11-29T08:18:03Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752578
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2024-11-29T08:18:03Z

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

Vibrations of Rotating Machinery Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis

2024-11-29T08:18:03Z

Yazar Matsushita, Osami. author. Tanaka, Masato. author. Kobayashi, Masao. author. Keogh, Patrick. author. Kanki, Hiroshi. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-55453-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Decomposition Methods — Algorithms and Theory

2024-11-29T08:18:03Z

Yazar Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137868
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004

2024-11-29T08:18:03Z

Yazar Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3381-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2024-11-29T08:18:03Z

Yazar Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3532-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Financial Software Engineering

2024-11-29T08:18:03Z

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

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

2024-11-29T08:18:03Z

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

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

2024-11-29T08:18:03Z

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

String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

2024-11-29T08:18:03Z

Yazar Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048 Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32686-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

2024-11-29T08:18:03Z

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

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

2024-11-29T08:18:03Z

Yazar Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20867-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-11-29T08:18:03Z

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

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-11-29T08:18:03Z

Yazar Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30806-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

2024-11-29T08:18:03Z

Yazar Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001 Sanguinetti, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31304-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T08:18:03Z

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

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-11-29T08:18:03Z

Yazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21571-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-11-29T08:18:03Z

Yazar Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-11-29T08:18:03Z

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

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-11-29T08:18:03Z

Yazar Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14125-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2024-11-29T08:18:03Z

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

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

2024-11-29T08:18:03Z

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

Automatic Generation of Combinatorial Test Data

2024-11-29T08:18:03Z

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

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

2024-11-29T08:18:03Z

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

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2024-11-29T08:18:03Z

Yazar Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332999.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2024-11-29T08:18:03Z

Yazar Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage

2024-11-29T08:18:03Z

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

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2024-11-29T08:18:03Z

Yazar Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Yer Numarası ONLINE(334064.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Data Mining

2024-11-29T08:18:03Z

Yazar Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)
Yer Numarası ONLINE(330861.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-29T08:18:03Z

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

Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen

2024-11-29T08:18:03Z

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

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

2024-11-29T08:18:03Z

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

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

2024-11-29T08:18:03Z

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

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2024-11-29T08:18:03Z

Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334985.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2024-11-29T08:18:03Z

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

Abgründe der Informatik Geheimnisse und Gemeinheiten

2024-11-29T08:18:03Z

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

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

2024-11-29T08:18:03Z

Yazar Jónasson, Kristján. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28145-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

2024-11-29T08:18:03Z

Yazar Jónasson, Kristján. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28151-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

2024-11-29T08:18:03Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28525-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From scientific instrument to industrial machine Coping with architectural stress in embedded systems

2024-11-29T08:18:03Z

Yazar Doornbos, Richard. editor. van Loo, Sjir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4147-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing

2024-11-29T08:18:03Z

Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30397-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Primer on Scientific Programming with Python

2024-11-29T08:18:03Z

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

Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage

2024-11-29T08:18:03Z

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

Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing

2024-11-29T08:18:03Z

Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16233-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Primer on Scientific Programming with Python

2024-11-29T08:18:03Z

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

Handbook of Open Source Tools

2024-11-29T08:18:03Z

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

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings

2024-11-29T08:18:03Z

Yazar Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22182-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmen kompakt und verständlich Lösungsstrategien am Computer

2024-11-29T08:18:03Z

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

Grundkurs JAVA Von den Grundlagen bis zu Datenbankund Netzanwendungen

2024-11-29T08:18:03Z

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

Applied Time Series Analysis and Innovative Computing

2024-11-29T08:18:03Z

Yazar Ao, Sio-Iong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-8768-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simula Research Laboratory by Thinking Constantly about it

2024-11-29T08:18:03Z

Yazar Tveito, Aslak. editor. Bruaset, Are Magnus. editor. Lysne, Olav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01156-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs Programmieren mit Delphi Systematisch programmieren lernen mit Turbo Delphi 2006, Delphi 7 und vielen anderen Delphi-Versionen

2024-11-29T08:18:03Z

Yazar Matthäus, Wolf-Gert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-9358-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm – Lern- und Arbeitsbuch für Informatiker und Mathematiker

2024-11-29T08:18:03Z

Yazar Logofătu, Doina. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-9382-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Chemical Engineering with Maple

2024-11-29T08:18:03Z

Yazar White, Ralph E. author. Subramanian, Venkat R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04311-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmen kompakt und verständlich Lösungsstrategien am Computer

2024-11-29T08:18:03Z

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

Pattern Recognition using Neural and Functional Networks

2024-11-29T08:18:03Z

Yazar David, Vasantha Kalyani. author. Rajasekaran, Sundaramoorthy. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85130-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-inspired Algorithms for the Vehicle Routing Problem

2024-11-29T08:18:03Z

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

Genetic Algorithms for Applied CAD Problems

2024-11-29T08:18:03Z

Yazar Kureichik, Viktor M. author. Malioukov, Sergey P. author. Kureichik, Vladimir V. author. Malioukov, Alexander S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85281-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Uncertain Programming

2024-11-29T08:18:03Z

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-29T08:18:03Z

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

Grundkurs Programmieren mit Visual Basic Die Grundlagen der Programmierung – Einfach, verständlich und mit leicht nachvollziehbaren Beispielen

2024-11-29T08:18:03Z

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

A Primer on Scientific Programming with Python

2024-11-29T08:18:03Z

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

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

2024-11-29T08:18:03Z

Yazar Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03346-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications 2009

2024-11-29T08:18:03Z

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

Practical Computing on the Cell Broadband Engine

2024-11-29T08:18:03Z

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

Advances in Modeling Agricultural Systems

2024-11-29T08:18:03Z

Yazar Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-75181-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2024-11-29T08:18:03Z

Yazar Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10546-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2024-11-29T08:18:03Z

Yazar Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79561-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2024-11-29T08:18:03Z

Yazar Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2024-11-29T08:18:03Z

Yazar Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management

2024-11-29T08:18:03Z

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

Python Scripting for Computational Science

2024-11-29T08:18:03Z

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

The Puzzle of Granular Computing

2024-11-29T08:18:03Z

Yazar Apolloni, Bruno. author. Pedrycz, Witold. author. Bassis, Simone. author. Malchiodi, Dario. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79864-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network Performance Analysis Using the J Programming Language

2024-11-29T08:18:03Z

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-11-29T08:18:03Z

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

Software Engineering Research, Management and Applications

2024-11-29T08:18:03Z

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

Recent Advances in Evolutionary Computation for Combinatorial Optimization

2024-11-29T08:18:03Z

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

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2024-11-29T08:18:03Z

Yazar Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Patterns for e-Science

2024-11-29T08:18:03Z

Yazar Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-68090-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

2024-11-29T08:18:03Z

Yazar Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75444-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

2024-11-29T08:18:03Z

Yazar Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75755-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aggregation Functions: A Guide for Practitioners

2024-11-29T08:18:03Z

Yazar Beliakov, Gleb. author. Pradera, Ana. author. Calvo, Tomasa. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73721-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

2024-11-29T08:18:03Z

Yazar Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11558958
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings

2024-11-29T08:18:03Z

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

Python Scripting for Computational Science

2024-11-29T08:18:03Z

Yazar Langtangen, Hans Petter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-31269-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions

2024-11-29T08:18:03Z

Yazar Nguyen, Duc Thai. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30851-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

2024-11-29T08:18:03Z

Yazar Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138692
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

2024-11-29T08:18:03Z

Yazar Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104566
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings

2024-11-29T08:18:03Z

Yazar Yang, Laurence T. editor. Rana, Omer F. editor. Martino, Beniamino. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11557654
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1