Unifying Theories of Programming
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Mã QR

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together wi...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Naumann, David
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Computer programming Programmierung Software Engineering
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58693
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

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

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Bỡi: Hage, Jurriaan, et al.
Được phát hành: (2015)

Web Information Systems Engineering – WISE 2014 Workshops: 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers
Bỡi: Benatallah, B, et al.
Được phát hành: (2015)

Wireless Internet: 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers
Bỡi: Mumtaz, S, et al.
Được phát hành: (2015)

Business Modeling and Software Design: 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
Bỡi: Shishkov, Boris
Được phát hành: (2015)

Algorithms for Sensor Systems: 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers
Bỡi: Gao, J, et al.
Được phát hành: (2015)

Computer Engineering and Technology: 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers
Bỡi: Xu, W, et al.
Được phát hành: (2015)

Agents and Data Mining Interaction: 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers
Bỡi: Cao, L, et al.
Được phát hành: (2015)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Bỡi: Isokawa, T, et al.
Được phát hành: (2015)

Social Informatics SocInfo 2014 International Workshops, Barcelona, Spain, November 11, 2014, Revised Selected Papers
Bỡi: Luca Maria Aiello, et al.
Được phát hành: (2015)

Technology in Education: International Conference, ICTE 2014, Hong Kong, China, July 2-4, 2014. Revised Selected Papers
Bỡi: Li, K.C, et al.
Được phát hành: (2015)

Arts and Technology: Fourth International Conference, ArtsIT 2014, Istanbul, Turkey, November 10-12, 2014, Revised Selected Papers
Bỡi: Brooks, Anthony Lewis, et al.
Được phát hành: (2015)

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers
Bỡi: Ortiz, Guadalupe, et al.
Được phát hành: (2015)

Intelligent Cloud Computing: First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers
Bỡi: al Saidi, A, et al.
Được phát hành: (2015)

Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers
Bỡi: Camara, O, et al.
Được phát hành: (2015)

Multi-Agent-Based Simulation XV International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Bỡi: Grimaldo, Francisco, et al.
Được phát hành: (2015)

Smart Homes and Health Telematics 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers
Bỡi: Bodine, C, et al.
Được phát hành: (2015)

Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data: Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers
Bỡi: Durrleman, S, et al.
Được phát hành: (2015)

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction: Third IAPR TC3 Workshop, MPRSS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers
Bỡi: Schwenker, Friedhelm, et al.
Được phát hành: (2015)

Proceedings of SAE-China Congress 2014: Selected Papers
Bỡi: Zhongguo qi che gong cheng xue hui
Được phát hành: (2015)

The rational unified process an introduction
Bỡi: Philippe Kruchten
Được phát hành: (2000)

Face and Facial Expression Recognition from Real World Videos: International Workshop, Stockholm, Sweden, August 24, 2014, Revised Selected Papers
Bỡi: Ji, Q, et al.
Được phát hành: (2015)

Agent Technology for Intelligent Mobile Services and Smart Societies: Workshop on Collaborative Agents, Research and Development, CARE 2014, and Workshop on Agents, Virtual Societies and Analytics, AVSA 2014, Held as Part of AAMAS 2014, Paris, France, May 5-9, 2014. Revised Selected Papers
Bỡi: Koch, Fernando, et al.
Được phát hành: (2015)

In Memory Data Management and Analysis: First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers
Bỡi: Jagatheesan, A, et al.
Được phát hành: (2015)

The 11th symposium on international economic and business cooperation program and working papers
Được phát hành: (1981)

Statistics for business and economics, revised, 13th edition
Bỡi: Anderson, David R., et al.
Được phát hành: (2022)

Mathematical Progress in Expressive Image Synthesis II Extended and Selected Results from the Symposium MEIS2014
Bỡi: Ochiai, Hiroyuki, et al.
Được phát hành: (2015)

ISCS 2014: Interdisciplinary Symposium on Complex Systems
Bỡi: Sanayei, Ali, et al.
Được phát hành: (2016)

OPC Unified Architecture
Bỡi: Mahnke, Wolfgang, et al.
Được phát hành: (2020)

Information Systems Engineering in Complex Environments: CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers
Bỡi: Nurcan, Selmin, et al.
Được phát hành: (2015)

Unifying Theories of Programming
Bỡi: Bowen, Jonathan P., et al.
Được phát hành: (2020)

UML and the unified process :
Bỡi: Arlow, Jim
Được phát hành: (2002)

Isfram 2014 Proceedings of the International Symposium on Flood Research and Management
Bỡi: Bakar, Sahol Hamid Abu, et al.
Được phát hành: (2015)

Luật Hôn nhân và gia đình 2014 số 52/2014/QH13
Bỡi: Quốc hội nước CHXHCN VN
Được phát hành: (2022)

Luật tổ chức Tòa án nhân dân 2014 số 62/2014/QH13
Bỡi: Quốc hội nước CHXHCN VN
Được phát hành: (2022)

New Trends in Database and Information Systems II: Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II
Bỡi: Bassiliades, N, et al.
Được phát hành: (2015)

Progress in Hybrid RANS-LES Modelling: Papers Contributed to the 5th Symposium on Hybrid RANS-LES Methods, 19-21 March 2014, College Station, A&M University, Texas, USA
Bỡi: Girimaji, S, et al.
Được phát hành: (2016)

Luật Bảo hiểm xã hội. Số 58/2014/QH13, ngày 20/11/2014.
Bỡi: Quốc hội Nước Cộng hòa Xã hội Chủ nghĩa Việt Nam
Được phát hành: (2022)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Bỡi: Counsell, Steve, et al.
Được phát hành: (2015)

Building J2EE applications with the rational unified process
Bỡi: Peter Eeles
Được phát hành: (2003)

9th WCEAM Research Papers: Volume 1 Proceedings of 2014 World Congress on Engineering Asset Management
Bỡi: Amadi-Echendu, Joe, et al.
Được phát hành: (2015)