Limit Search Results
Author
SpringerLink (Online service)
(27)
Dimov, Ivan. editor.
(2)
Adeli, Hojjat. editor.
(1)
Alexander, Daniel C. editor.
(1)
Badouel, Eric. author.
(1)
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Petri Net Synthesis
Petri Net Synthesis
Author 
Badouel, Eric. author. Bernardinello, Luca. author. Darondeau, Philippe. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518487.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47967-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Object-Oriented Analysis, Design and Implementation An Integrated Approach
Object-Oriented Analysis, Design and Implementation An Integrated Approach
Author 
Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518630.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24280-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
Author 
Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518823.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18579-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
Author 
Dimov, Ivan. editor. Fidanova, Stefka. editor. Lirkov, Ivan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519037.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15585-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers
Author 
Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Preferred Shelf Number 
XX(519077.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14678-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519079.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency X
Transactions on Petri Nets and Other Models of Concurrency X
Author 
Koutny, Maciej. editor. Desel, Jörg. editor. Haddad, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519204.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48650-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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: