Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(132)
Bernardo, Marco. editor.
(6)
Dongarra, Jack. editor.
(4)
Hoffmann, Frank. editor.
(3)
Hüllermeier, Eyke. editor.
(3)
Dil
Yayın Yılı
-
Konu
Compilers (Computer programs).
(132)
Computer science.
(104)
Software engineering.
(92)
Computer Science Logic and Foundations of Programming.
(75)
Computer programming.
(62)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
132 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
37. 
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
by 
Abdulla, Parosh Aziz. editor.
https://doi.org/10.1007/978-3-642-19835-9
Format: 
Alıntı: 
, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011
38. 
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings için kapak resmi
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
by 
Wolff, Burkhart. editor.
https://doi.org/10.1007/978-3-642-24580-0
Format: 
Alıntı: 
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France
39. 
Euro-Par 2011 Parallel Processing 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II için kapak resmi
Euro-Par 2011 Parallel Processing 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
by 
Jeannot, Emmanuel. editor.
https://doi.org/10.1007/978-3-642-23397-5
Format: 
Alıntı: 
Special Purpose and Application-Based Systems.
40. 
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
by 
Salaün, Gwen. editor.
https://doi.org/10.1007/978-3-642-24431-5
Format: 
Alıntı: 
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento
41. 
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
by 
Fahrenberg, Uli. editor.
https://doi.org/10.1007/978-3-642-24310-3
Format: 
Alıntı: 
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg
42. 
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 için kapak resmi
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
by 
Bruni, Roberto. editor.
https://doi.org/10.1007/978-3-642-21461-5
Format: 
Alıntı: 
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS
43. 
Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday için kapak resmi
Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
by 
Agha, Gul. editor.
https://doi.org/10.1007/978-3-642-24933-4
Format: 
Alıntı: 
Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on
44. 
CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings için kapak resmi
CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
by 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-642-23217-6
Format: 
Alıntı: 
CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany
45. 
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures için kapak resmi
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
by 
Bernardo, Marco. editor.
https://doi.org/10.1007/978-3-642-21455-4
Format: 
Alıntı: 
for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18
46. 
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings için kapak resmi
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-19718-5
Format: 
Alıntı: 
of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany
47. 
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings için kapak resmi
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
by 
Yang, Hongseok. editor.
https://doi.org/10.1007/978-3-642-25318-8
Format: 
Alıntı: 
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7
48. 
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings için kapak resmi
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
by 
Leite, Joao. editor.
https://doi.org/10.1007/978-3-642-22359-4
Format: 
Alıntı: 
Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain
Eylem Seç