Arama Sonuçları

1

Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Ekitap

Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

2

Quality of software architectures and software quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Soft...

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Konferans Sunumu Kitap

Quality of software architectures and software quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings /

3

FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Konferans Sunumu Kitap

FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /

4

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, Apr...

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures /

5

Formal techniques for networked and distributed systems FORTE 2005, 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal techniques for networked and distributed systems FORTE 2005, 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /

6

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /

7

Integrated formal methods 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings /

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Integrated formal methods 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings /

8

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /

Baskı/Yayın Bilgisi 2005

Connect to electronic resource

Elektronik Konferans Sunumu Kitap

Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /

9

Formal techniques for networked and distributed systems, FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /

Baskı/Yayın Bilgisi 2008

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal techniques for networked and distributed systems, FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /

10

Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings /

Baskı/Yayın Bilgisi 2008

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings /

11

Formal methods and testing an outcome of the FORTEST network : revised selected papers /

Baskı/Yayın Bilgisi 2008

Connect to electronic resource

Elektronik Ekitap

Formal methods and testing an outcome of the FORTEST network : revised selected papers /

12

Formal aspects in security and trust fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /

Baskı/Yayın Bilgisi 2007

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal aspects in security and trust fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /

13

International symposium on fundamentals of software engineering international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings /

Baskı/Yayın Bilgisi 2007

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

International symposium on fundamentals of software engineering international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings /

14

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings /

Baskı/Yayın Bilgisi 2007

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings /

15

Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /

Baskı/Yayın Bilgisi 2006

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal methods and stochastic models for performance evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /

16

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /

Baskı/Yayın Bilgisi 2006

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /

17

Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

Baskı/Yayın Bilgisi 2007

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /

18

Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : r...

Baskı/Yayın Bilgisi 2007

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /

19

Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /

Baskı/Yayın Bilgisi 2009

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings /

20

Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /

Baskı/Yayın Bilgisi 2006

Connect to electronic resource

Elektronik Konferans Sunumu Ekitap

Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /

Arama Araçları:

Sonuçları Daraltın

Materyal Türü

Yayın Tarihi

Önerilen Konular

Tür

Yüzyıl

Dil

Yazar

Yer Numarası