UB Paderborn / Katalog / Suche / im Katalog

1 – 19 von 19

Sortiert nach

Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings [electronic resource]

1st ed. 2010, 2010

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings [electronic resource]

1st ed. 2015, 2015

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings [electronic resource]

1st ed. 2013, 2013

Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings [electronic resource]

1st ed. 2010, 2010

Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

1st ed. 2013, 2013

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers [electronic resource]

1st ed. 2017, 2017

ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

Castagna, Giuseppe[Herausgeber]

1st ed. 2013, 2013

Extreme Programming and Agile Methods - XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings [electronic resource]

1st ed. 2002, 2002

Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings [electronic resource]

1st ed. 2011, 2011

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings [electronic resource]

1st ed. 2009, 2009

Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings [electronic resource]

1st ed. 2010, 2010

Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings [electronic resource]

1st ed. 2004, 2004

Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers [electronic resource]

1st ed. 2010, 2010

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings [electronic resource]

1st ed. 2006, 2006

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings [electronic resource]

1st ed. 2005, 2005

Domain-Specific Languages : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings [electronic resource]

1st ed. 2009, 2009

Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings [electronic resource]

1st ed. 2016, 2016

Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings [electronic resource]

1st ed. 2005, 2005

Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings [electronic resource]

1st ed. 2006, 2006

1 – 19 von 19

Suche als RSS-Feed

Aktive Filter

Autor / AutorinAda-Europe International Conference on Reliable Software Technologies

Autor / AutorinCleophas, Ton J

Neu hinzugefügt... in den letzten 3 Monaten

SchlagwortTeaching

SchlagwortLogics and Meanings of Programs

SchlagwortProgramming Techniques

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(19)

Autor / Autorin

International Conference on Formal Methods for Open Object-Based Distributed Systems
(2)
XP/Agile Universe (Conference)
(2)
APLAS 2006
(1)
Baral, Chitta
(1)
Bruni, Roberto
(1)
CP 2010
(1)
Castagna, Giuseppe
(1)
Cavalcanti, Ana
(1)
Cohen, David
(1)
DSL 2009
(1)
Dams, Dennis
(1)
Dastani, Mehdi
(1)
Dingel, Juergen
(1)
Erdogmus, Hakan
(1)
Fähndrich, Manuel
(1)
Giese, Holger
(1)
Greco, Gianluigi
(1)
Hatcliff, John
(1)
Havelund, Klaus
(1)
Holzmann, Gerard
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(19)

Erscheinungsjahr

n.n

Neu hinzugefügt

... in den letzten 12 Monaten
(0)
... im letzten Monat
(0)

Sprache

Englisch
(17)

Art des Inhalts

Nicht angegeben
(19)

Menü

Weitere Dienste

Einstellungen

Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings [electronic resource]

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings [electronic resource]

Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings [electronic resource]

Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings [electronic resource]

Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers [electronic resource]

ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings [electronic resource]

Extreme Programming and Agile Methods - XP/Agile Universe 2002 : Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings [electronic resource]

Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings [electronic resource]

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings [electronic resource]

Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings [electronic resource]

Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings [electronic resource]

Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers [electronic resource]

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings [electronic resource]

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings [electronic resource]

Domain-Specific Languages : IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings [electronic resource]

Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings [electronic resource]

Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings [electronic resource]

Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings [electronic resource]

Aktive Filter

Suchergebnisse filtern