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 /

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 /

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and in...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Woodcock, Jim, Zhu, Huibiao, Liu, Zhiming
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
श्रृंखला:	Lecture Notes in Computer Science 8050
विषय:	Computer science. Software engineering. Information theory. Artificial intelligence.
ऑनलाइन पहुंच:	Click here to view the full text content
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
प्रकाशित: (2010)

Theory and applications of formal argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers /
प्रकाशित: (2014)

Formal methods for mining structured objects /
द्वारा: Garriga, Gemma C.
प्रकाशित: (2013)

Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
प्रकाशित: (2010)

Formal grammar : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings /
प्रकाशित: (2013)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
प्रकाशित: (2013)

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
द्वारा: Cellier, Peggy
प्रकाशित: (2013)

Unifying Perspectives in Computational and Robot Vision
प्रकाशित: (2008)

Agent technology from a formal perspective /

Unified computational intelligence for complex systems
द्वारा: Seiffertt, John
प्रकाशित: (2010)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
प्रकाशित: (2012)

Declarative programming and knowledge management : Declarative programming days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
प्रकाशित: (2014)

Engineering psychology and cognitive ergonomics. understanding human cognition : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
प्रकाशित: (2013)

Pattern Recognition Applications and Methods : International Conference, ICPRAM 2013 Barcelona, Spain, February 15-18, 2013 Revised Selected Papers /
प्रकाशित: (2015)

Industrial applications of holonic and multi-agent systems : 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings /
प्रकाशित: (2013)

Aggregation functions in theory and in practise : Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013 /
प्रकाशित: (2013)

Intelligent systems for science and information : extended and selected results from the science and information conference 2013 /
प्रकाशित: (2014)

Genetic and evolutionary computing : Proceedings of the Seventh International Conference on Genetic and Evolutionary Computing, ICGEC 2013, August 25 - 27, 2013 - Prague, Czech Republic /
प्रकाशित: (2014)

Formal concept analysis : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings /
प्रकाशित: (2014)

Recent advances in intelligent informatics : Proceedings of the Second International Symposium on Intelligent Informatics (ISI'13), August 23-24 2013, Mysore, India /
प्रकाशित: (2014)

Formal concept analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
प्रकाशित: (2009)

Mechanics, models and methods in civil engineering /
प्रकाशित: (2012)

Innovations in bio-inspired computing and applications : Proceedings of the 4th International Conference on Innovations in Bio-Inspired Computing and Applications, IBICA 2013, August 22 -24, 2013 - Ostrava, Czech Republic /
प्रकाशित: (2014)

Reasoning Web. Semantic technologies for intelligen data access : 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings /
प्रकाशित: (2013)

Theorie and applications of formal argumentation : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers /
प्रकाशित: (2012)

Linked data and knowledge graph : 7th Chinese semantic web symposium and 2nd Chinese web science conference, CSWS 2013, Shanghai, China, August 12-16, 2013. Revised selected papers /
प्रकाशित: (2013)

Artificial intelligence methods and applications /
प्रकाशित: (1992)

Combinations of intelligent methods and applications : Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012 /
प्रकाशित: (2013)

Ambient intelligence - software and applications : 4th International Symposium on Ambient Intelligence (ISAmI 2013 /
प्रकाशित: (2013)

AI application programming /
द्वारा: Jones, M. Tim
प्रकाशित: (2003)

Artificial intelligence and software engineering : understanding the promise of the future /
द्वारा: Partridge, Derek
प्रकाशित: (1998)

Advanced computational methods for knowledge engineering : Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014) /
प्रकाशित: (2014)

Robotics in smart manufacturing : International workshop, WRSM 2013, co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings /
प्रकाशित: (2013)

Formal concept analysis : foundations and applications /

Intelligent distributed computing VII : Proceedings of the 7th International Symposium on Intelligent Distributed Computing - IDC 2013, Prague, Czech Republic, September 2013 /
प्रकाशित: (2014)

Formal grammar 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, revised selected papers /
प्रकाशित: (2012)

The 9th International Conference on Computing and InformationTechnology (IC2IT2013) : 9th-10th May 2013 King Mongkut's University of Technology North Bangkok /
प्रकाशित: (2013)

Formal concept analysis 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings /
प्रकाशित: (2010)

EVOLVE - a bridge between probability, set oriented numerics, and evolutionary computation IV : International Conference held at Leiden University, July 10-13, 2013 /
प्रकाशित: (2013)

Software Engineering Research, Management and Applications /
प्रकाशित: (2015)