Limit Search Results
Author
SpringerLink (Online service)
(149)
Apduhan, Bernady O. editor.
(5)
Gavrilova, Marina L. editor.
(5)
Gelbukh, Alexander. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Language
Subject
POLITICAL SCIENCE / General.
(2)
POLITICAL SCIENCE / Government / General.
(2)
Policy -- Psychology
(2)
Policy science -- Policy ideologies -- General
(2)
Political psychology
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
160 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Author 
Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518797.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20297-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518798.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Cellular Automata and Discrete Complex Systems 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Author 
Isokawa, Teijiro. editor. Imai, Katsunobu. editor. Matsui, Nobuyuki. editor. Peper, Ferdinand. editor. Umeo, Hiroshi. editor.
Preferred Shelf Number 
XX(518804.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, Proceedings
Author 
Bampis, Evripidis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518813.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Author 
Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518815.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23506-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
XX(518824.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18833-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Author 
Fischer, Bernd. editor. Geldenhuys, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518932.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23404-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Author 
D'Souza, Deepak. editor. Lal, Akash. editor. Larsen, Kim Guldstrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518938.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
Author 
Pelc, Andrzej. editor. Schwarzmann, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518940.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21741-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Author 
Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Preferred Shelf Number 
XX(518910.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46078-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
Author 
Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518912.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22177-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518917.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20239-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action