Arama Sonuçları Programming languages. - Daraltılmış: Computer science.

Multiparadigm Constraint Programming Languages

2026-03-21T03:59:01Z

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

Principles of Programming Languages

2026-03-21T03:59:01Z

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

Programming Languages: Principles and Paradigms

2026-03-21T03:59:01Z

Yazar Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-914-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages An Active Learning Approach

2026-03-21T03:59:01Z

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

Object-Oriented Programming Languages: Interpretation

2026-03-21T03:59:01Z

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

Transactions on Pattern Languages of Programming III

2026-03-21T03:59:01Z

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

Introduction to the Theory of Programming Languages

2026-03-21T03:59:01Z

Yazar Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-076-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming I

2026-03-21T03:59:01Z

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

Multi-Agent Programming: Languages, Tools and Applications

2026-03-21T03:59:01Z

Yazar El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-89299-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Programming Languages, Platforms and Applications

2026-03-21T03:59:01Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137449
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

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-21T03:59:01Z

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

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2026-03-21T03:59:01Z

Yazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71237-6
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-21T03:59:01Z

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

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-21T03:59:01Z

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

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2026-03-21T03:59:01Z

Yazar Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47958-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2026-03-21T03:59:01Z

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

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2026-03-21T03:59:01Z

Yazar Majkić, Zoran. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04156-8
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-21T03:59:01Z

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

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334751.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334753.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31585-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31594-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2026-03-21T03:59:01Z

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

Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2026-03-21T03:59:01Z

Yazar Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33182-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

2026-03-21T03:59:01Z

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

Transactions on Pattern Languages of Programming II Special Issue on Applying Patterns

2026-03-21T03:59:01Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Avgeriou, Paris. editor. Harrison, Neil B. editor. Zdun, Uwe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19432-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-03-21T03:59:01Z

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

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22006-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22012-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2026-03-21T03:59:01Z

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

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

2026-03-21T03:59:01Z

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

IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids

2026-03-21T03:59:01Z

Yazar John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12015-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14162-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14165-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02927-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02930-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

2026-03-21T03:59:01Z

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

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-03-21T03:59:01Z

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

Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2026-03-21T03:59:01Z

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

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2026-03-21T03:59:01Z

Yazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

2026-03-21T03:59:01Z

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

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2026-03-21T03:59:01Z

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

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2026-03-21T03:59:01Z

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

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2026-03-21T03:59:01Z

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

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2026-03-21T03:59:01Z

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

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2026-03-21T03:59:01Z

Yazar Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11523468
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2026-03-21T03:59:01Z

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

Database Programming Languages 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

2026-03-21T03:59:01Z

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

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-03-21T03:59:01Z

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

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71162-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82703-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

2026-03-21T03:59:01Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82700-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

2026-03-21T03:59:01Z

Yazar Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84924-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

2026-03-21T03:59:01Z

Yazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-21T03:59:01Z

Yazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-21T03:59:01Z

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

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50423-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71152-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The French School of Programming

2026-03-21T03:59:01Z

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

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-03-21T03:59:01Z

Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2300-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-03-21T03:59:01Z

Yazar Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54358-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infrared Small Target Detection Theory, Methods, and Algorithms.

2026-03-21T03:59:01Z

Yazar Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9799-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-21T03:59:01Z

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

Mathematics in Programming

2026-03-21T03:59:01Z

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

Programlama dillerinin prensipleri : mantığı kavra, işleyişi öğren, kodu yaz

2026-03-21T03:59:01Z

Yazar Yumuşak, Nejat. Adak, M. Fatih.
Yer Numarası QA76.73.Y86 P76 2021
Format: Kitap
Durum Beytepe Kütüphanesi~2

Computing and Software Science State of the Art and Perspectives

2026-03-21T03:59:01Z

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

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2026-03-21T03:59:01Z

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

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2026-03-21T03:59:01Z

Yazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51676-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2026-03-21T03:59:01Z

Yazar Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60074-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-03-21T03:59:01Z

Yazar Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39519-7
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-21T03:59:01Z

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

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

2026-03-21T03:59:01Z

Yazar Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40578-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2026-03-21T03:59:01Z

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

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2026-03-21T03:59:01Z

Yazar Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42019-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

2026-03-21T03:59:01Z

Yazar Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08789-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2026-03-21T03:59:01Z

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

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2026-03-21T03:59:01Z

Yazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44857-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2026-03-21T03:59:01Z

Yazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11653-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2026-03-21T03:59:01Z

Yazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11743-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

2026-03-21T03:59:01Z

Yazar Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09970-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2026-03-21T03:59:01Z

Yazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11245-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334069.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334077.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2026-03-21T03:59:01Z

Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334156.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

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

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-03-21T03:59:01Z

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

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2026-03-21T03:59:01Z

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

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334743.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334844.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334870.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

2026-03-21T03:59:01Z

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

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334946.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

2026-03-21T03:59:01Z

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

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334990.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2026-03-21T03:59:01Z

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

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

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

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

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

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

2026-03-21T03:59:01Z

Yazar Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Yer Numarası ONLINE(335138.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41660-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2026-03-21T03:59:01Z

Yazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335141.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335215.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335217.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45422-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Microsoft Dynamics AX 2012 Updated for Version R2

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

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

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2026-03-21T03:59:01Z

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

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

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

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-03-21T03:59:01Z

Yazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334055.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2026-03-21T03:59:01Z

Yazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334327.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development X

2026-03-21T03:59:01Z

Yazar Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334333.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334711.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learn Cocoa on the Mac

2026-03-21T03:59:01Z

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

Learn Lua for iOS Game Development

2026-03-21T03:59:01Z

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

Introduction to Image Processing Using R Learning by Examples

2026-03-21T03:59:01Z

Yazar Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)
Yer Numarası ONLINE(331107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The R Software Fundamentals of Programming and Statistical Analysis

2026-03-21T03:59:01Z

Yazar Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Yer Numarası ONLINE(332463.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Objective-C Programmer’s Reference

2026-03-21T03:59:01Z

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

Node.js Recipes

2026-03-21T03:59:01Z

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

TouchDevelop: Programming on the Go

2026-03-21T03:59:01Z

Yazar Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Yer Numarası ONLINE(330757.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2026-03-21T03:59:01Z

Yazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330942.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Programming and Algorithms Using R

2026-03-21T03:59:01Z

Yazar Ergül, Özgür. author. SpringerLink (Online service)
Yer Numarası ONLINE(331192.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Giants of Computing A Compendium of Select, Pivotal Pioneers

2026-03-21T03:59:01Z

Yazar O’Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE(331194.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming with Prolog

2026-03-21T03:59:01Z

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

Bayesian Networks in R with Applications in Systems Biology

2026-03-21T03:59:01Z

Yazar Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Yer Numarası ONLINE(332033.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-03-21T03:59:01Z

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

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2026-03-21T03:59:01Z

Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332982.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03545-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Design Syntactic and Semantic Analysis

2026-03-21T03:59:01Z

Yazar Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Yer Numarası ONLINE(333076.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17540-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ubiquitous Information Technologies and Applications CUTE 2012

2026-03-21T03:59:01Z

Yazar Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336087.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5857-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333558.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2026-03-21T03:59:01Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334104.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36036-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334136.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

Learning C# by Programming Games

2026-03-21T03:59:01Z

Yazar Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)
Yer Numarası ONLINE(334239.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36580-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2026-03-21T03:59:01Z

Yazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334282.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-21T03:59:01Z

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

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334354.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2026-03-21T03:59:01Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

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

2026-03-21T03:59:01Z

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

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334697.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38911-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T03:59:01Z

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

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2026-03-21T03:59:01Z

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

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2026-03-21T03:59:01Z

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

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Yer Numarası ONLINE(335120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Rationale The Language, The Standard Libraries

2026-03-21T03:59:01Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2026-03-21T03:59:01Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

2026-03-21T03:59:01Z

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

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2026-03-21T03:59:01Z

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

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2026-03-21T03:59:01Z

Yazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası ONLINE(335216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2026-03-21T03:59:01Z

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

Codecharts roadmaps and blueprints for object-oriented programs

2026-03-21T03:59:01Z

Yazar Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-
Yer Numarası ONLINE(318929.1)
Elektronik Erişim Wiley InterScience An electronic book accessible through the World Wide Web; click for information Books24x7 http://www.books24x7.com/marc.asp?bookid=41806 Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=700550 ebrary http://site.ebrary.com/id/10465941 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grammars and automata for string processing : from mathematics and computer science to biology, and back

2026-03-21T03:59:01Z

Yazar Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-
Yer Numarası QA76 .G6725 2003
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1