Theoretical Aspects of Computing ICTAC 2013 : :: SCD d'Orléans

Theoretical Aspects of Computing ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Liu, Zhiming (Yayın yönetmeni)
Diğer Yazarlar:	Woodcock, Jim (Yayın yönetmeni), Zhu, Huibiao (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Seri Bilgileri:	Theoretical Computer Science and General Issues 8049
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theoretical Aspects of Computing ICTAC 2013, 9783642397172 • Theoretical Aspects of Computing -- ICTAC 2013, 9783642397196

Benzer Materyaller

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Yazar:: Liu, Zhiming
Baskı/Yayın Bilgisi: (2013)

Network and Parallel Computing : 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Yazar:: Hsu, Ching-Hsien

Entertainment Computing ICEC 2013 : 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings
Yazar:: Anacleto, Junia C.
Baskı/Yayın Bilgisi: (2013)

10th Colloquium on Theoretical and Quantitative Geography6-11th September 1997
Baskı/Yayın Bilgisi: (2014)

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : proceedings

New Theoretical Aspects
Yazar:: Labarre, Jean-François

New theoretical aspects
Yazar:: Julg, André, 1926-2003, ve diğerleri

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013 : proceedings
Yazar:: Du, Dingzhu, 1948-

Parallel Computing Technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Architecture of Computing Systems ARCS 2013 : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

Internet and Distributed Computing Systems : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings
Yazar:: Pathan, Mukaddim
Baskı/Yayın Bilgisi: (2013)

Theoretical and practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 : proceedings

Adaptive and Natural Computing Algorithms : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013 : proceedings
Baskı/Yayın Bilgisi: (2013)

Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19 23, 1990 : proceedings

Intelligent computing theories : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013 : proceedings
Yazar:: Huang, De-Shuang
Baskı/Yayın Bilgisi: (2013)

Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013 : proceedings
Yazar:: Huth, Michael
Baskı/Yayın Bilgisi: (2013)

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I
Yazar:: Mori, Kensaku
Baskı/Yayın Bilgisi: (2013)

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III
Yazar:: Mori, Kensaku
Baskı/Yayın Bilgisi: (2013)

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II
Yazar:: Mori, Kensaku
Baskı/Yayın Bilgisi: (2013)

Distributed Computing and Networking : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Yazar:: Frey, Davide

Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Yazar:: Gerdt, Vladimir P., 1947-2021

Theoretical aspects of population genetics
Yazar:: Kimura, Motoo, 1924-1994, ve diğerleri
Baskı/Yayın Bilgisi: (1971)

Theoretical Aspects of Heterogeneous Catalysis

Distributed computing : 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings
Yazar:: Afek, Yehuda

Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday

Experimental Aspects of Quantum Computing
Yazar:: Everitt, Henry O.

Intelligent Computing Theories and Technology : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Yazar:: Huang, De-Shuang, 19..-

Theoretical Aspects of Homogeneous Catalysis : Applications of

Formal aspects of computing : applicable formal methods

Theoretical advances and applications of fuzzy logic and soft computing

Swarm, evolutionary, and memetic computing : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings,
Yazar:: Panigrahi, Bijaya Ketan
Baskı/Yayın Bilgisi: (2013)

Swarm, evolutionary, and memetic computing : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings
Baskı/Yayın Bilgisi: (2013)

Theoretical aspects of computer science : advanced lectures

Intelligent distributed computing. Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012

Theoretical aspects of computer software : [second] international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Group theoretical methods in physics : proceedings of the XIIth International colloquium held at the International centre for theoretical physics, Trieste, Italy, September 5-11, 1983
Yazar:: Denardo, Gallieno, 1935-

Service-oriented computing : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, proceedings

Parallel computing technologies : 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6 10, 1999 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales