A Modular Calculus for the Average Cost of Data Structuring

A Modular Calculus for the Average Cost of Data Structuring

Veure altres versions (2)

Guardat en:

Dades bibliogràfiques
Autor principal:	Schellekens, Michel (Autor)
Autor corporatiu:	SpringerLink (Online service)
Format:	eBook
Idioma:	English
Publicat:	Boston, MA : Springer Science+Business Media, LLC, 2008.
Matèries:	Logic design Software engineering Computer software Data structures (Computer science) Computer science Operating systems (Computers)
Accés en línia:	Click here to view the full text content
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

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

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

Data structure and software engineering : challenges and improvements /
per: Antonakos, James L.
Publicat: (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,
per: Sagiv, Mooly
Publicat: (2005)

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

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

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

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

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

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

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

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

Pattern calculus computing with functions and structures /
per: Jay, Barry
Publicat: (2009)

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

Emergent interfaces for feature modularization /
per: Ribeiro, Marcio
Publicat: (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.
per: Seidl, Helmut
Publicat: (2007)

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
per: Boer, Frank S.
Publicat: (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
per: Barthe, Gilles
Publicat: (2005)

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

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

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

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

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

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

Component deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
Publicat: (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 /
Publicat: (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 /
Publicat: (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 /
Publicat: (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 /
Publicat: (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 /
Publicat: (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
per: Sassone, Vladimiro
Publicat: (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 /
Publicat: (2006)

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

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

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

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

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