Limit Search Results
Author
SpringerLink (Online service)
(28)
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X
(2)
Kabanda, Salah. editor. (orcid)0000-0002-0490-8417
(2)
Roman, Dumitru. editor.
(2)
Seymour, Lisa F. editor. (orcid)0000-0001-6704-0021
(2)
Language
Publication Date
-
Subject
Computer science.
(11)
Theory of Computation.
(10)
Application software.
(8)
Computer and Information Systems Applications.
(8)
Software engineering.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Author 
Gorrieri, Roberto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings
Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings
Author 
Davis, Brian. editor. Pace, Gordon J. editor. Wyner, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41498-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49498-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
Author 
Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Quality in Business Process Modeling
Quality in Business Process Modeling
Author 
Krogstie, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42512-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Topics in Grammatical Inference
Topics in Grammatical Inference
Author 
Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48395-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Author 
Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computational Vision and Robotics Proceedings of ICCVR 2014
Computational Vision and Robotics Proceedings of ICCVR 2014
Author 
Sethi, Ishwar K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2196-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for SAP ABAP Hands-On Test Projects with Business Scenarios
SAP ABAP Hands-On Test Projects with Business Scenarios
Author 
Markandeya, Sushil. author. Roy, Kaushik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-4804-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic
Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic
Author 
Ollongren, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331780.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action