Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(197)
Ali, Moonis. editor.
(4)
Dongarra, Jack. editor.
(4)
Fyfe, Colin. editor.
(4)
Benítez Sánchez, José Manuel. editor.
(3)
Dil
English
(197)
Yayın Yılı
-
Konu
Computer programming.
(197)
Computer science.
(173)
Theory of Computation.
(135)
Software engineering.
(84)
Artificial intelligence.
(76)
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ç
197 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System için kapak resmi
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
by 
Alfa, Attahiru Sule. author.
https://doi.org/10.1007/978-1-4419-7314-6
Format: 
Alıntı: 
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System / Alfa
2. 
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings için kapak resmi
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
by 
Le Goues, Claire. editor.
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Alıntı: 
Pattern recognition systems.
3. 
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings için kapak resmi
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
by 
Cariani, Fabrizio. editor.
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Alıntı: 
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July
4. 
Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings için kapak resmi
Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
by 
Fermé, Eduardo. editor.
https://doi.org/10.1007/978-3-319-11558-0
Format: 
Alıntı: 
Information storage and retrieval systems.
5. 
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers için kapak resmi
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
by 
Zaverucha, Gerson. editor.
https://doi.org/10.1007/978-3-662-44923-3
Format: 
Alıntı: 
Computer and Information Systems Applications.
6. 
Introduction to Software Quality için kapak resmi
Introduction to Software Quality
by 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-06106-1
Format: 
Alıntı: 
Formal Languages and Automata Theory.
7. 
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
by 
Shao, Zhong. editor.
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Alıntı: 
of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France
8. 
Using Event-B for Critical Device Software Systems için kapak resmi
Using Event-B for Critical Device Software Systems
by 
Singh, Neeraj Kumar. author.
https://doi.org/10.1007/978-1-4471-5260-6
Format: 
Alıntı: 
Using Event-B for Critical Device Software Systems Singh, Neeraj Kumar. author.
9. 
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings için kapak resmi
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
by 
Fontaine, Pascal. editor.
https://doi.org/10.1007/978-3-642-40885-4
Format: 
Alıntı: 
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September
10. 
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings için kapak resmi
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
by 
Ruhe, Günther. editor.
https://doi.org/10.1007/978-3-642-39742-4
Format: 
Alıntı: 
Pattern recognition systems.
11. 
Distributed Algorithms for Message-Passing Systems için kapak resmi
Distributed Algorithms for Message-Passing Systems
by 
Raynal, Michel. author.
https://doi.org/10.1007/978-3-642-38123-2
Format: 
Alıntı: 
Distributed Algorithms for Message-Passing Systems Raynal, Michel. author.
12. 
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings için kapak resmi
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings
by 
Rendell, Alistair P. editor.
https://doi.org/10.1007/978-3-642-40698-0
Format: 
Alıntı: 
System Performance and Evaluation.
Eylem Seç