Theoretical aspects of computing - ICTAC 2004 first international colloquium guiyand, China, September 20-24, 2004, revised selected papers

Theoretical aspects of computing - ICTAC 2004 first international colloquium guiyand, China, September 20-24, 2004, revised selected papers

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	Araki, Keijiro (Author)
מחבר תאגידי:	SpringerLink (Online service)
מחברים אחרים:	Liu, Zhiming
פורמט:	ספר אלקטרוני
שפה:	English
יצא לאור:	Berlin Heidelberg : Springer 2005
סדרה:	Lecture Notes in Computer Science, 3407
נושאים:	Computer Communication Networks Computer science Software engineering Logic design
גישה מקוונת:	Click here to view the full text content
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

פריטים דומים

Theoretical aspects of computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
יצא לאור: (2012)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
יצא לאור: (2013)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
יצא לאור: (2014)

Theoretical aspects of computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Theoretical aspects of computing - ICTAC 2010 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
יצא לאור: (2010)

Theoretical aspects of computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings /
יצא לאור: (2006)

Machines, computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, revised selected papers
מאת: Margenstern, Maurice
יצא לאור: (2005)

Theoretical computer science 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
יצא לאור: (2010)

Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
יצא לאור: (2010)

Foundational and practical aspects of resource analysis second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, revised selected papers /
יצא לאור: (2012)

Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
יצא לאור: (2014)

Foundational and practical aspects of resource analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
יצא לאור: (2014)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
יצא לאור: (2013)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
יצא לאור: (2012)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
מאת: Van Roy, Peter
יצא לאור: (2005)

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Global computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, revised selected papers
יצא לאור: (2005)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
יצא לאור: (2007)

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
יצא לאור: (2010)

Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
יצא לאור: (2007)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
יצא לאור: (2013)

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)

Job scheduling strategies for parallel processing (vol. # 3277) 10th international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, revised selected papers
מאת: Feitelson, Dror
יצא לאור: (2005)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
יצא לאור: (2013)

Membrane computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /
יצא לאור: (2014)

Membrane computing : 14th International conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /
יצא לאור: (2014)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
יצא לאור: (2012)

Computation, physics and beyond : international workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012, revised selected and invited papers /
מאת: Dinneen, Michael J.
יצא לאור: (2012)

Natural language processing - IJCNLP 2004 first international joint conference, Hainan Island, China, March 22-24, 2004, revised selected papers
יצא לאור: (2005)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
יצא לאור: (2013)

Practical aspects of declarative languages (vol. # 3819) : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
מאת: Barthe, Gilles
יצא לאור: (2005)

Practical aspects of declarative languages (vol. # 3350) 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
מאת: Cabeza, Daniel
יצא לאור: (2005)

Theoretical aspects of evolutionary computing /
יצא לאור: (2001)

Programming multi-agent systems (vol. # 3346) second international workshop ProMAS 2004, New York, NY, July 20, 2004, selected revised and invited papers
מאת: Bordini, Rafael H.
יצא לאור: (2005)

Communicating sequential processes. The first 25 years symposium on the occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
יצא לאור: (2005)

Theoretical aspects of evolutionary computing
יצא לאור: (2001)

Theoretical aspects of evolutionary computing
יצא לאור: (2001)