Limit Search Results
Author
SpringerLink (Online service)
(84)
Hou, Zeng-Guang. editor.
(5)
Lee, Minho. editor.
(4)
Hirose, Akira. editor.
(3)
Kil, Rhee Man. editor.
(3)
Language
Publication Date
-
2013
(84)
Subject
Computation by Abstract Devices.
(84)
Algorithm Analysis and Problem Complexity.
(48)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(48)
Computer software.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Author 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334617.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Progress in Cryptology – AFRICACRYPT 2013 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings
Author 
Youssef, Amr. editor. Nitaj, Abderrahmane. editor. Hassanien, Aboul Ella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334620.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334630.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38592-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Author 
Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334640.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38637-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I
Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE(334644.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38658-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems
Author 
Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334812.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Algorithms in Bioinformatics 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings
Author 
Darling, Aaron. editor. Stoye, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334948.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40453-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
Author 
Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334973.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40579-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I
Engineering Applications of Neural Networks 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part I
Author 
Iliadis, Lazaros. editor. Papadopoulos, Harris. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335041.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41013-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings
Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings
Author 
Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.
Preferred Shelf Number 
ONLINE(334981.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40643-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Author 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335046.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets