A Modular Calculus for the Average Cost of Data Structuring

A Modular Calculus for the Average Cost of Data Structuring

Show other versions (2)

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Schellekens, Michel (Author)
Institution som forfatter:	SpringerLink (Online service)
Format:	eBog
Sprog:	English
Udgivet:	Boston, MA : Springer Science+Business Media, LLC, 2008.
Fag:	Logic design Software engineering Computer software Data structures (Computer science) Computer science Operating systems (Computers)
Online adgang:	Click here to view the full text content
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

A modular calculus for the average cost of data structuring /
af: Schellekens, Michel
Udgivet: (2008)

A modular calculus for the average cost of data structuring /
af: Schellekens, Michel
Udgivet: (2008)

Data structure and software engineering : challenges and improvements /
af: Antonakos, James L.
Udgivet: (2011)

Programming languages and systems (vol. # 3444) 14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8,
af: Sagiv, Mooly
Udgivet: (2005)

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
Udgivet: (2007)

Application and theory of petri nets and concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
Udgivet: (2013)

Generic and indexed programming international spring school, SSGIP 2010, Oxford, UK, March 22-26, 2010, revised lectures /
Udgivet: (2012)

Application and theory of petri nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /
Udgivet: (2012)

Graph transformations 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010. Proceedings /
Udgivet: (2010)

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

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Udgivet: (2012)

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
Udgivet: (2012)

Pattern calculus computing with functions and structures /
af: Jay, Barry
Udgivet: (2009)

Progress in VLSI design and test : 16th International symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings /
Udgivet: (2012)

Emergent interfaces for feature modularization /
af: Ribeiro, Marcio
Udgivet: (2014)

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
af: Seidl, Helmut
Udgivet: (2007)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
af: Boer, Frank S.
Udgivet: (2007)

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
af: Barthe, Gilles
Udgivet: (2005)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Udgivet: (2010)

Formal methods for components and objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Udgivet: (2012)

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
af: Van Roy, Peter
Udgivet: (2005)

Programming languages and systems : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Udgivet: (2007)

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Udgivet: (2013)

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Udgivet: (2013)

Component deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
Udgivet: (2005)

Programming languages and systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

NASA formal methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
Udgivet: (2014)

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Udgivet: (2012)

Foundations of software science and computational structures 13th international conference, FOSSACS 2010,held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Udgivet: (2010)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Udgivet: (2013)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Udgivet: (2014)

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
af: Sassone, Vladimiro
Udgivet: (2005)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

STACS 2006 : 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006, Proceedings /
Udgivet: (2006)

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
Udgivet: (2007)

Mathematical foundations of computer science 2010 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Udgivet: (2010)

Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems /
af: Puppis, Gabriele
Udgivet: (2010)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Udgivet: (2010)

Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Udgivet: (2010)