A Modular Calculus for the Average Cost of Data Structuring

A Modular Calculus for the Average Cost of Data Structuring

Diğer sürümleri göster (2)

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Schellekens, Michel (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Boston, MA : Springer Science+Business Media, LLC, 2008.
Konular:	Logic design Software engineering Computer software Data structures (Computer science) Computer science Operating systems (Computers)
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

A modular calculus for the average cost of data structuring /
Yazar:: Schellekens, Michel
Baskı/Yayın Bilgisi: (2008)

A modular calculus for the average cost of data structuring /
Yazar:: Schellekens, Michel
Baskı/Yayın Bilgisi: (2008)

Data structure and software engineering : challenges and improvements /
Yazar:: Antonakos, James L.
Baskı/Yayın Bilgisi: (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,
Yazar:: Sagiv, Mooly
Baskı/Yayın Bilgisi: (2005)

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
Baskı/Yayın Bilgisi: (2007)

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

Generic and indexed programming international spring school, SSGIP 2010, Oxford, UK, March 22-26, 2010, revised lectures /
Baskı/Yayın Bilgisi: (2012)

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

Graph transformations 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

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

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

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Pattern calculus computing with functions and structures /
Yazar:: Jay, Barry
Baskı/Yayın Bilgisi: (2009)

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

Emergent interfaces for feature modularization /
Yazar:: Ribeiro, Marcio
Baskı/Yayın Bilgisi: (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.
Yazar:: Seidl, Helmut
Baskı/Yayın Bilgisi: (2007)

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

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

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

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
Yazar:: Van Roy, Peter
Baskı/Yayın Bilgisi: (2005)

Programming languages and systems : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

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

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

Component deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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
Yazar:: Sassone, Vladimiro
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2006)

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

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

Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems /
Yazar:: Puppis, Gabriele
Baskı/Yayın Bilgisi: (2010)

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

Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)