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
49. 
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings için kapak resmi
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
by 
Petrenko, Alexandre. editor.
https://doi.org/10.1007/978-3-642-16573-3
Format: 
Alıntı: 
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil
50. 
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
by 
Esparza, Javier. editor.
https://doi.org/10.1007/978-3-642-12002-2
Format: 
Alıntı: 
, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010
51. 
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever için kapak resmi
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
by 
Dams, Dennis. editor.
https://doi.org/10.1007/978-3-642-11512-7
Format: 
Alıntı: 
Formal Languages and Automata Theory.
52. 
Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers için kapak resmi
Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers
by 
Fuchs, Norbert E. editor.
https://doi.org/10.1007/978-3-642-14418-9
Format: 
Alıntı: 
Computer and Information Systems Applications.
53. 
Transactions on Rough Sets XII için kapak resmi
Transactions on Rough Sets XII
by 
Slowiński, Roman. editor.
https://doi.org/10.1007/978-3-642-14467-7
Format: 
Alıntı: 
Computer and Information Systems Applications.
54. 
Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010, Proceedings için kapak resmi
Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010, Proceedings
by 
Croitoru, Madalina. editor.
https://doi.org/10.1007/978-3-642-14197-3
Format: 
Alıntı: 
Formal Languages and Automata Theory.
55. 
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings için kapak resmi
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings
by 
Martin-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-642-13089-2
Format: 
Alıntı: 
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier
56. 
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures için kapak resmi
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
by 
Aldini, Alessandro. editor.
https://doi.org/10.1007/978-3-642-13678-8
Format: 
Alıntı: 
Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy
57. 
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems için kapak resmi
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
by 
Puppis, Gabriele. author.
https://doi.org/10.1007/978-3-642-11881-4
Format: 
Alıntı: 
Infinite Transition Systems / Puppis, Gabriele. author.
58. 
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
by 
Chatterjee, Krishnendu. editor.
https://doi.org/10.1007/978-3-642-15297-9
Format: 
Alıntı: 
Systems Theory, Control .
59. 
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings için kapak resmi
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings
by 
Gastin, Paul. editor.
https://doi.org/10.1007/978-3-642-15375-4
Format: 
Alıntı: 
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August
60. 
Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings için kapak resmi
Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings
by 
Branco, António. editor.
https://doi.org/10.1007/978-3-642-12320-7
Format: 
Alıntı: 
Computer and Information Systems Applications.
Eylem Seç