Książki na temat „ETABS software”

TACAS 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.

David, 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.

FOSSACS 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.

FOSSACS 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.

R, 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.

TACAS '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.

FoSSaCS '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.

FOSSACS, 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.

FOSSACS, 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.

Luca, 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.

Baier, 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.

FOSSACS 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.

Foundations 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.

David, 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.

Russo, 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.

Mauro, 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.

1963-, 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.

1955-, 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.

Luciano, 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.

1959-, 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.

Wehrheim, 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.

David, 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.

Vladimiro, 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.

TACAS, '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.

TACAS, 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.

TACAS 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.

1966-, 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.

1961-, 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.

Andrea, 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.

1947-, 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.

1939-, 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.

1949-, 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.

Furio, 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.

David, 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.

Pfenning, 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.

Software Copyright Law. 3rd ed. Butterworths Law, 1997.

Software copyright law. Pitman, 1992.

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 Esto. Springer, 2012.

Hasuo, Ichiro. Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, ... Springer, 2016.

Boš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.

Wijs, 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.

Cî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.

Weber, 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.

Baresi, 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.