Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /

Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /

This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, CiE 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully reviewed and selected from 78 submissions and included together with 15 invited papers in this proceedin...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Csuhaj-Varju, Erzsebet, Meer, Klaus, Beckmann, Arnold
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Cham Springer International Publishing 2014.
Seri Bilgileri:	Lecture Notes in Computer Science 8493
Konular:	Computer science. Computer software.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Analytical and stochastic modeling techniques and applications : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Yazar:: Cooper, Barry S.
Baskı/Yayın Bilgisi: (2005)

Programming languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Reliable software technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Programs, proofs, processes 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30- July 4, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Computer networks : 21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Fundamentals of computation theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
Yazar:: Csuhaj-Varju, Erzsebet
Baskı/Yayın Bilgisi: (2007)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Baskı/Yayın Bilgisi: (2014)

Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

Software language engineering : 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Integer programming and combinatorial optimization : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Swarm intelligence : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Frontiers in algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Model-based safety and assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Software engineering for resilient systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

The limits of software : people, projects, and perspectives /
Yazar:: Britcher, Robert N.
Baskı/Yayın Bilgisi: (1999)

Programming languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Wireless algorithms, systems, and applications : 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Comparative genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Multiple access communications : 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Graph transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Algorithmic aspects in information and management : 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Distributed computing and networking : 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Information security : 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Computational logistics : 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part II /
Baskı/Yayın Bilgisi: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part I /
Baskı/Yayın Bilgisi: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part IV /
Baskı/Yayın Bilgisi: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part III /
Baskı/Yayın Bilgisi: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part VI /
Baskı/Yayın Bilgisi: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part V /
Baskı/Yayın Bilgisi: (2014)