UB Paderborn / Katalog / Suche / im Katalog

1 – 21 von 21

Sortiert nach

Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers [electronic resource]

1st ed. 2007, 2007

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings [electronic resource]

1st ed. 2006, 2006

Rapid Integration of Software Engineering Techniques : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers [electronic resource]

1st ed. 2006, 2006

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings [electronic resource]

1st ed. 2008, 2008

Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings [electronic resource]

1st ed. 2015, 2015

Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers [electronic resource]

1st ed. 2012, 2012

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 [electronic resource]

1st ed. 2003, 2003

Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings [electronic resource]

1st ed. 2009, 2009

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings [electronic resource]

1st ed. 2017, 2017

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

Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies [electronic resource]

Huget, Marc-Phillipe[Herausgeber]

1st ed. 2003, 2003

Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings [electronic resource]

1st ed. 2013, 2013

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings [electronic resource]

1st ed. 2003, 2003

Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings [electronic resource]

1st ed. 2003, 2003

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings [electronic resource]

1st ed. 1996, 1996

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

1st ed. 2005, 2005

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings [electronic resource]

1st ed. 2003, 2003

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings [electronic resource]

1st ed. 2002, 2002

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers [electronic resource]

1st ed. 2018, 2018

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings [electronic resource]

1st ed. 2014, 2014

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings [electronic resource]

1st ed. 2015, 2015

1 – 21 von 21

Suche als RSS-Feed

Aktive Filter

Autor / AutorinAichernig, Bernhard K

Autor / AutorinCleophas, Ton J

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

SchlagwortProgramming languages (Electronic computers)

SchlagwortTeaching

SchlagwortLogics and Meanings of Programs

SchlagwortSoftware engineering

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(21)

Autor / Autorin

Antoš, David
(1)
Baral, Chitta
(1)
Basin, David
(1)
Bouajjani, Ahmed
(1)
Bouda, Jan
(1)
Bruni, Roberto
(1)
CAV (Conference)
(1)
CHARME 2003
(1)
Cerná, Ivana
(1)
Cerone, Antonio
(1)
Demri, Stéphane
(1)
Dierkes, Michael
(1)
Donzeau-Gouge, Véronique Viguié
(1)
ETAPS (Conference)
(1)
European Conference on Model Driven Architecture - Foundations and Applications
(1)
FORTE 2006
(1)
Garavel, Hubert
(1)
Geist, Daniel
(1)
Graf, Susanne
(1)
Greco, Gianluigi
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(21)

Erscheinungsjahr

n.n

Neu hinzugefügt

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

Sprache

Englisch
(19)

Art des Inhalts

Nicht angegeben
(21)

Menü

Weitere Dienste

Einstellungen

Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers [electronic resource]

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings [electronic resource]

Rapid Integration of Software Engineering Techniques : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers [electronic resource]

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings [electronic resource]

Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers [electronic resource]

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 [electronic resource]

Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings [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]

Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies [electronic resource]

Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings [electronic resource]

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings [electronic resource]

Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings [electronic resource]

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings [electronic resource]

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

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings [electronic resource]

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings [electronic resource]

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers [electronic resource]

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings [electronic resource]

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings [electronic resource]

Aktive Filter

Suchergebnisse filtern