Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /

Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /

This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, colocated with POPL 2009, the Symposium on Principles of Programming Languages. The 18 revised full papers presente...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Gill, Andy (Επιμελητής έκδοσης), Swift, Terrance (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Σειρά:	Lecture Notes in Computer Science, 5418
Θέματα:	Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
Έκδοση: (2010)

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
Έκδοση: (2005)

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings /
Έκδοση: (2014)

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /
Έκδοση: (2006)

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
Έκδοση: (2015)

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
Έκδοση: (2016)

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
Έκδοση: (2008)

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /
Έκδοση: (2017)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
Έκδοση: (2007)

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /
Έκδοση: (2013)

Practical Aspects of Declarative Languages 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings /
Έκδοση: (2004)

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Έκδοση: (2011)

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Έκδοση: (2012)

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
Έκδοση: (2002)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010)

Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
Έκδοση: (2000)

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
Έκδοση: (2019)

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /
Έκδοση: (2009)

Advanced Parallel Processing Technologies 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings /
Έκδοση: (2009)

Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
Έκδοση: (2010)

Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009, Revised Papers, Part 2 /
Έκδοση: (2009)

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings /
Έκδοση: (2009)

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
Έκδοση: (2014)

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings /
Έκδοση: (2018)

Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
Έκδοση: (2003)

Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings /
Έκδοση: (2009)

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
Έκδοση: (2009)

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Έκδοση: (2010)

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Έκδοση: (2009)

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Έκδοση: (2013)

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Έκδοση: (2009)

Formal Aspects in Security and Trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France /
Έκδοση: (2005)

Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
Έκδοση: (2008)

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /
Έκδοση: (2009)

SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /
Έκδοση: (2009)

Modern Language Models and Computation Theory with Applications /
ανά: Meduna, Alexander, κ.ά.
Έκδοση: (2017)

Combinatorial Pattern Matching 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings /
Έκδοση: (2009)

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 /
Έκδοση: (2010)

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings /
Έκδοση: (2012)

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
Έκδοση: (2009)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών