Books on the topic 'ETABS software'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'ETABS software.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Maura, Cerioli, and ETAPS 2005 (2005 : Edinburgh, Scotland), eds. Fundamental approaches to software engineering: 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings. Springer-Verlag, 2005.
Find full textFASE 2000 (2000 Berlin, Germany). Fundamental approaches to software engineering: Third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings. Springer, 2000.
Find full textConference on Fundamental Approaches to Software Engineering (1998 Lisbon, Portugal). Fundamental approaches to software engineering: First International Conference, FASE'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings. Springer, 1998.
Find full textKnoop, Jens. Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Springer Berlin Heidelberg, 2011.
Find full textNetherlands), FASE'99 (1999 Amsterdam. Fundamental approaches to software engineering: Second International Conference, FASE'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings. Springer-Verlag, 1999.
Find full textTACAS 2003 (2003 Warsaw, Poland). Tools and algorithms for the construction and analysis of systems: 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. Springer, 2003.
Find full textDavid, Hutchison. Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer Berlin Heidelberg, 2009.
Find full textFOSSACS 2000 (2000 Berlin, Germany). Foundations of software science and computation structures: Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings. Springer, 2000.
Find full textFOSSACS 2000 (2000 Berlin, Germany). Foundations of software science and computation structures: Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on theory and Practice of Software,ETAPS 2000 Berlin,Germany, March 25-April 2,2000 proceedings /cJerzy Tiuryn (Ed.). Springer, 2000.
Find full textR, Ramakrishnan C., Rehof Jakob, and ETAPS 2008 (2008 : Budapest, Hungary), eds. Tools and algorithms for the construction and analysis of systems: 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings. Springer, 2008.
Find full textTACAS '2000 (6th 2000 Berlin, Germany). Tools and algorithms for the construction and analysis of systems: 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings. Springer, 2000.
Find full textFoSSaCS '98 (1998 Lisbon, Portugal). Foundations of software science and computation structures: First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March/April 1998 : proceedings. Springer, 1998.
Find full textFOSSACS, 2005 (2005 Edinburgh Scotland). Foundations of software science and computation structures: 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings. Springer, 2005.
Find full textFOSSACS, 2005 (2005 Edinburgh Scotland). Foundations of software science and computation structures: 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings. Springer, 2005.
Find full textLuca, Aceto, Anna Ingólfsdóttir 1952-, and ETAPS 2006 (2006 : Vienna, Austria), eds. Foundations of software science and computation structures: 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings. Springer, 2006.
Find full textBaier, Christel. Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Springer Nature, 2018.
Find full textFOSSACS 2003 (2003 Warsaw, Poland). Foundations of software science and computational structures: 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. Springer, 2003.
Find full textFoundations of Software Science and Computation Structures (1998 Lisbon, Portugal). Foundations of software science and computation structures: First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings. Springer, 1998.
Find full textDavid, Hutchison. Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer Berlin Heidelberg, 2009.
Find full textRusso, Alessandra. Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Springer Nature, 2018.
Find full textMauro, Pezzè, and ETAPS 2003 (2003 : Warsaw, Poland), eds. Fundamental approaches to software engineering: 6th international conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. Springer, 2003.
Find full text1963-, Dwyer Matthew, Lopes Antónia, and ETAPS 2007 (2007 : Braga, Portugal), eds. Fundamental approaches to software engineering: 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings. Springer, 2007.
Find full text1955-, Kutsche Ralf-Detlef, Weber Herbert 1940-, and ETAPS 2002 (2002 : Grenoble, France), eds. Fundamental approaches to software engineering: 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings. Springer, 2002.
Find full textLuciano, Baresi, Heckel Reiko, and ETAPS 2006 (2006 : Vienna, Austria), eds. Fundamental approaches to software engineering: 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings. Springer, 2006.
Find full text1959-, Hussmann Heinrich, and International Joint Conference on Theory and Practice of Software Development (2001 : Genova, Italy), eds. Fundamental approaches to software engineering: 4th international conference, FASE 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings. Springer, 2001.
Find full textWehrheim, Heike. Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Springer Nature, 2020.
Find full textDavid, Hutchison. Compiler Construction: 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer Berlin Heidelberg, 2009.
Find full textVladimiro, Sassone, LINK (Online service), and ETAPS 2005 (2005 : Edinburgh, Scotland), eds. Foundations of software science and computation structures: 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : proceedings. Springer, 2005.
Find full textTACAS, '2000 (6th 2000 Berlin Germany). Tools and algorithms for the construction and analysis of systems: 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practices of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings. Springer, 2000.
Find full textTACAS, 2007 (2007 Braga Portugal). Tools and algorithms for the construction and analysis of systems: 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings. Springer, 2007.
Find full textTACAS 2004 (2004 Barcelona, Spain). Tools and algorithms for the construction and analysis of systems: 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings. Springer-Verlag, 2004.
Find full text1966-, Wermelinger Michel, Margaria-Steffen Tiziana 1964-, and ETAPS 2004 (2004 : Barcelona, Spain), eds. Fundamental approaches to software engineering: 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings. Springer, 2004.
Find full text1961-, Fiadeiro José Luiz, Inverardi Paola, and ETAPS 2008 (2008 : Budapest, Hungary), eds. Fundamental approaches to software engineering: 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings. Springer, 2008.
Find full textAndrea, Zisman, and SpringerLink (Online service), eds. Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer Berlin Heidelberg, 2012.
Find full text1947-, Thomas Wolfgang, and International Joint Conference on Theory and Practice of Software Development (9th : 1999 : Amsterdam, Netherlands), eds. Foundation of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherland, March 1999 : proceedings. Springer-Verlag, 1999.
Find full text1939-, Astesiano E., and European Conference on Theory and Practice of Software (1998 : Lisbon, Portugal), eds. Fundamental approaches to software engineering: First International Conference, FASE '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings. Springer, 1998.
Find full text1949-, Nielsen M., Engberg Uffe 1959-, and ETAPS 2002 (2002 : Grenoble, France), eds. Foundations of software science and computation structures: 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings. Springer, 2002.
Find full textFurio, Honsell, Miculan Marino, and ETAPS 2001 (2001 : Genoa, Italy), eds. Foundations of software science and computation structures: 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings. Springer, 2001.
Find full textDavid, Hutchison. Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer Berlin Heidelberg, 2009.
Find full textPfenning, Frank. 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. Springer Berlin Heidelberg, 2013.
Find full textFundamental Approaches To Software Engineering 15th International Conference Fase 2012 Held As Part Of The European Joint Conferences On Theory And Practice Of Software Etaps 2012 Tallinn Esto. Springer, 2012.
Find full textHasuo, Ichiro. Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, ... Springer, 2016.
Find full textBošnački, Dragan, and Anton Wijs. Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, 2016.
Find full textWijs, Anton, and Dragan Bosnački. Model Checking Software: 23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings. Springer London, Limited, 2016.
Find full textCîrstea, Corina. Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April ... Springer, 2018.
Find full textWeber, Herbert, and Ralf-Detlef Kutsche. Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Springer London, Limited, 2003.
Find full textBaresi, Luciano, and Reiko Heckel. Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Springer London, Limited, 2006.
Find full text