Limit Search Results
Author
SpringerLink (Online service)
(64)
Halldórsson, Magnús M. editor.
(2)
Iwama, Kazuo. editor.
(2)
Kobayashi, Naoki. editor.
(2)
Korytkowski, Marcin. editor.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
74 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Proof theory and logical complexity
Proof theory and logical complexity
Author 
Girard, Jean-Yves.
Preferred Shelf Number 
QA 9.54 G57 1987- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Reviews of nonlinear dynamics and complexity
Reviews of nonlinear dynamics and complexity
Author 
Schuster, Heinz Georg, 1943- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482290
John Wiley http://dx.doi.org/10.1002/9783527626359
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational Complexity of Solving Equation Systems
Computational Complexity of Solving Equation Systems
Author 
Broniek, Przemysław. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518454.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21750-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Measures of Complexity Festschrift for Alexey Chervonenkis
Measures of Complexity Festschrift for Alexey Chervonenkis
Author 
Vovk, Vladimir. editor. Papadopoulos, Harris. editor. Gammerman, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518354.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21852-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The microeconomics of complex economies : evolutionary, institutional, neoclassical, and complexity perspectives
The microeconomics of complex economies : evolutionary, institutional, neoclassical, and complexity perspectives
Author 
Elsner, Wolfram, author. Heinrich, Torsten, author. Schwardt, Henning, author.
Preferred Shelf Number 
ONLINE(355778.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124115859
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The complexity of adolescent obesity : causes, correlates, and consequences
The complexity of adolescent obesity : causes, correlates, and consequences
Author 
Vash, Peter, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
Structural Information and Communication Complexity 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
Author 
Scheideler, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519082.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25258-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Author 
Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519199.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19225-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Author 
Paschos, Vangelis Th. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519245.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18173-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Chaos analysis and chaotic EMI suppression of DC-DC converters
Chaos analysis and chaotic EMI suppression of DC-DC converters
Author 
Zhang, Bo, 1976- Wang, Xuemei (Electrical engineer)
Preferred Shelf Number 
ONLINE(341544.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118451007.jpg
John Wiley http://dx.doi.org/10.1002/9781118451106
MyiLibrary http://www.myilibrary.com?id=663037
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Technology as human social tradition : cultural transmission among hunter-gatherers
Technology as human social tradition : cultural transmission among hunter-gatherers
Author 
Jordan, Peter, 1969- author.
Preferred Shelf Number 
GN406 J56 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
12. 
Cover image for Complex networks : an algorithmic perspective
Complex networks : an algorithmic perspective
Author 
Erciyes, Kayhan, author.
Preferred Shelf Number 
ONLINE(356476.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Addressing techniques of liquid crystal displays
Addressing techniques of liquid crystal displays
Author 
Ruckmongathan, Temkar N., author.
Preferred Shelf Number 
ONLINE(341694.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781119940456.jpg
John Wiley http://dx.doi.org/10.1002/9781118706398
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518525.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27218-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for New Information and Communication Technologies for Knowledge Management in Organizations 5th Global Innovation and Knowledge Academy Conference, GIKA 2015, Valencia, Spain, July 14-16, 2015, Proceedings
New Information and Communication Technologies for Knowledge Management in Organizations 5th Global Innovation and Knowledge Academy Conference, GIKA 2015, Valencia, Spain, July 14-16, 2015, Proceedings
Author 
Palacios-Marqués, Daniel. editor. Ribeiro Soriano, Domingo. editor. Huarng, Kun Huang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518536.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22204-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Data Structures and Algorithms with Python
Data Structures and Algorithms with Python
Author 
Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518537.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-13072-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
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:
19. 
Cover image for Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518935.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20373-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Author 
Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519189.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19662-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Author 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519065.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Neurocritical care essentials : a practical guide
Neurocritical care essentials : a practical guide
Author 
Sekhon, Mypinder S., 1983-, editor. Griesdale, Donald E., editor.
Preferred Shelf Number 
RC347 .N478 2015
Electronic Access 
https://doi.org/10.1017/CBO9781316146187
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Analytic pattern matching from DNA to Twitter
Analytic pattern matching from DNA to Twitter
Author 
Jacquet, Philippe, 1958- author. Szpankowski, Wojciech, 1952- author.
Preferred Shelf Number 
TK7882 .P3 J33 2015
Electronic Access 
https://doi.org/10.1017/CBO9780511843204
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Bioinformatics An Introduction
Bioinformatics An Introduction
Author 
Ramsden, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518394.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6702-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings
Author 
Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518564.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Business Intelligence 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures
Business Intelligence 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures
Author 
Zimányi, Esteban. editor. Kutsche, Ralf-Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518640.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17551-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Practitioner's Guide to Health Informatics
Practitioner's Guide to Health Informatics
Author 
Braunstein, Mark L. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518644.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17662-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Information and Knowledge Management in Complex Systems 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015, Proceedings
Information and Knowledge Management in Complex Systems 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015, Proceedings
Author 
Liu, Kecheng. editor. Nakata, Keiichi. editor. Li, Weizi. editor. Galarreta, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518667.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16274-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Industrial Engineering, Management Science and Applications 2015
Industrial Engineering, Management Science and Applications 2015
Author 
Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518706.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47200-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
Author 
Bulling, Nils. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518814.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17130-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
Cover image for MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part I
MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part I
Author 
He, Xiangjian. editor. Luo, Suhuai. editor. Tao, Dacheng. editor. Xu, Changsheng. editor. Yang, Jie. editor.
Preferred Shelf Number 
XX(518916.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14445-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings
Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings
Author 
Cicalese, Ferdinando. editor. Porat, Ely. editor. Vaccaro, Ugo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(518842.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19929-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II
Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II
Author 
Cao, Tru. editor. Lim, Ee-Peng. editor. Zhou, Zhi-Hua. editor. Ho, Tu-Bao. editor. Cheung, David. editor.
Preferred Shelf Number 
XX(518870.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18032-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518878.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Ochoa, Gabriela. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518973.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Author 
Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518984.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16277-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Author 
Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519087.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23540-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Author 
Davis, Jesse. editor. Ramon, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519102.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23708-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Author 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519117.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519137.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519146.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
Author 
Eisenbarth, Thomas. editor. Öztürk, Erdinç. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519305.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16363-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519222.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47672-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519225.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings
Algorithmic Learning Theory 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings
Author 
Chaudhuri, Kamalika. editor. GENTILE, CLAUDIO. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519228.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24486-0
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers
Author 
Lee, Jooyoung. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519232.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15943-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
Author 
Sanità, Laura. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519233.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28684-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Author 
Kari, Jarkko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519235.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47221-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
Concepts and Methodologies for Modeling and Simulation A Tribute to Tuncer Ören
Author 
Yilmaz, Levent. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518340.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15096-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Designing Socially Embedded Technologies in the Real-World
Designing Socially Embedded Technologies in the Real-World
Author 
Wulf, Volker. editor. Schmidt, Kjeld. editor. Randall, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518360.1)
Electronic Access 
https://doi.org/10.1007/978-1-4471-6720-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Author 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518763.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Author 
Maletti, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518769.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Author 
Roubtsova, Ella. editor. McNeile, Ashley. editor. Kindler, Ekkart. editor. Gerth, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519002.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21912-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Information Theoretic Security 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings
Information Theoretic Security 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings
Author 
Lehmann, Anja. editor. Wolf, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519003.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17470-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Algorithms and Data Structures 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
Algorithms and Data Structures 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
Author 
Dehne, Frank. editor. Sack, Jörg-Rüdiger. editor. Stege, Ulrike. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518976.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21840-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
Author 
Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518978.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14974-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Author 
Plaat, Aske. editor. van den Herik, Jaap. editor. Kosters, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519010.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Author 
Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519014.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Author 
Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519044.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14803-8
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
Author 
Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519049.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21500-6
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I
Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I
Author 
Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519052.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23192-1
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Author 
Jan, Kratochvíl. editor. Miller, Mirka. editor. Froncek, Dalibor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519181.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19315-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519313.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Web and Internet Economics 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings
Web and Internet Economics 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings
Author 
Markakis, Evangelos. editor. Schäfer, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519272.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48995-6
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Transdisciplinary Perioperative Care in Colorectal Surgery An Integrative Approach
Transdisciplinary Perioperative Care in Colorectal Surgery An Integrative Approach
Author 
Tan, Kok-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519431.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-44020-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519299.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Author 
Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519301.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21398-9
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Borderline Personality and Mood Disorders Comorbidity and Controversy
Borderline Personality and Mood Disorders Comorbidity and Controversy
Author 
Choi-Kain, Lois W. editor. Gunderson, John G. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519491.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-1314-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Rare Diseases Integrative PPPM Approach as the Medicine of the Future
Rare Diseases Integrative PPPM Approach as the Medicine of the Future
Author 
Özgüç, Meral. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520064.1)
Electronic Access 
https://doi.org/10.1007/978-94-017-9214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets