Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
15 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
by 
Colom, Jose-Manuel. editor.
https://doi.org/10.1007/978-3-642-38697-8
Format: 
Alıntı: 
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013
2. 
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings için kapak resmi
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
by 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-642-31113-0
Format: 
Alıntı: 
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25
3. 
Handbook of Open Source Tools için kapak resmi
Handbook of Open Source Tools
by 
Koranne, Sandeep. author.
https://doi.org/10.1007/978-1-4419-7719-9
Format: 
Alıntı: 
Mathematical and Computational Engineering Applications.
4. 
Handbook of Floating-Point Arithmetic için kapak resmi
Handbook of Floating-Point Arithmetic
by 
Muller, Jean-Michel. author.
https://doi.org/10.1007/978-0-8176-4705-6
Format: 
Alıntı: 
Mathematical and Computational Engineering Applications.
5. 
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings için kapak resmi
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by 
Kratochvil, Jan. editor.
https://doi.org/10.1007/978-3-642-13562-0
Format: 
Alıntı: 
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech
6. 
Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm - Lern- und Arbeitsbuch für Informatiker und Mathematiker için kapak resmi
Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm - Lern- und Arbeitsbuch für Informatiker und Mathematiker
by 
Logofatu, Doina. author.
https://doi.org/10.1007/978-3-8348-9382-6
Format: 
Alıntı: 
Applications of Mathematics.
7. 
Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings için kapak resmi
Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
by 
Treinen, Ralf. editor.
https://doi.org/10.1007/978-3-642-02348-4
Format: 
Alıntı: 
Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil
8. 
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings için kapak resmi
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
by 
Voronkov, Andrei. editor.
https://doi.org/10.1007/978-3-540-70590-1
Format: 
Alıntı: 
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria
9. 
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers için kapak resmi
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
by 
Martin-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-540-88282-4
Format: 
Alıntı: 
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona
10. 
Network Performance Analysis Using the J Programming Language için kapak resmi
Network Performance Analysis Using the J Programming Language
by 
Holt, Alan. author.
https://doi.org/10.1007/978-1-84628-823-4
Format: 
Alıntı: 
Computational Mathematics and Numerical Analysis.
11. 
Grundlegende Algorithmen mit Java Vom Algorithmus zum fertigen Programm - Lern- und Arbeitsbuch für Informatiker und Mathematiker için kapak resmi
Grundlegende Algorithmen mit Java Vom Algorithmus zum fertigen Programm - Lern- und Arbeitsbuch für Informatiker und Mathematiker
by 
Logofatu, Doina. author.
https://doi.org/10.1007/978-3-8348-9433-5
Format: 
Alıntı: 
Applications of Mathematics.
12. 
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings için kapak resmi
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
by 
Baader, Franz. editor.
https://doi.org/10.1007/978-3-540-73449-9
Format: 
Alıntı: 
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28