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...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Csuhaj-Varju, Erzsebet, Meer, Klaus, Beckmann, Arnold
Định dạng:	eBook
Ngôn ngữ:	English
Được phát hành:	Cham Springer International Publishing 2014.
Loạt:	Lecture Notes in Computer Science 8493
Những chủ đề:	Computer science. Computer software.
Truy cập trực tuyến:	Click here to view the full text content
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Analytical and stochastic modeling techniques and applications : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014. Proceedings /
Được phát hành: (2014)

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
Được phát hành: (2012)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
Bằng: Cooper, Barry S.
Được phát hành: (2005)

Programming languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /
Được phát hành: (2014)

Reliable software technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Được phát hành: (2014)

Programs, proofs, processes 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30- July 4, 2010. Proceedings /
Được phát hành: (2010)

Computer networks : 21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014. Proceedings /
Được phát hành: (2014)

Fundamentals of computation theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
Bằng: Csuhaj-Varju, Erzsebet
Được phát hành: (2007)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Được phát hành: (2013)

Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Được phát hành: (2014)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Được phát hành: (2013)

Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /
Được phát hành: (2014)

Programming languages and systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Được phát hành: (2014)

Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings /
Được phát hành: (2009)

Software language engineering : 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014. Proceedings /
Được phát hành: (2014)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Được phát hành: (2013)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Được phát hành: (2013)

Integer programming and combinatorial optimization : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings /
Được phát hành: (2014)

Swarm intelligence : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings /
Được phát hành: (2014)

Frontiers in algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014. Proceedings /
Được phát hành: (2014)

Model-based safety and assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
Được phát hành: (2014)

Software engineering for resilient systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings /
Được phát hành: (2014)

The limits of software : people, projects, and perspectives /
Bằng: Britcher, Robert N.
Được phát hành: (1999)

Programming languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Được phát hành: (2012)

Wireless algorithms, systems, and applications : 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014. Proceedings /
Được phát hành: (2014)

Comparative genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings /
Được phát hành: (2009)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Được phát hành: (2014)

Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Được phát hành: (2013)

Multiple access communications : 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014. Proceedings /
Được phát hành: (2014)

Graph transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
Được phát hành: (2014)

Algorithmic aspects in information and management : 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings /
Được phát hành: (2014)

Distributed computing and networking : 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings /
Được phát hành: (2014)

Information security : 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014. Proceedings /
Được phát hành: (2014)

Computational logistics : 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings /
Được phát hành: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part II /
Được phát hành: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part I /
Được phát hành: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part IV /
Được phát hành: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part III /
Được phát hành: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part VI /
Được phát hành: (2014)

Computational science and its applications - ICCSA 2014 : 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014, Proceedings, Part V /
Được phát hành: (2014)