Limit Search Results
Author
SpringerLink (Online service)
(52)
Camlibel, M. Kanat. editor.
(2)
Scherpen, Jacquelien M.A. editor.
(2)
Ahlswede, Alexander. editor.
(1)
Ahlswede, Rudolf. author.
(1)
Language
Subject
Control engineering.
(7)
Control theory.
(7)
System theory.
(7)
Systems Theory, Control.
(7)
Control and Systems Theory.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
56 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Author 
Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
3. 
Cover image for Graph and Model Transformation General Framework and Applications
Graph and Model Transformation General Framework and Applications
Author 
Ehrig, Hartmut. author. Ermel, Claudia. author. Golas, Ulrike. author. Hermann, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47980-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Immersed in Media Telepresence Theory, Measurement & Technology
Immersed in Media Telepresence Theory, Measurement & Technology
Author 
Lombard, Matthew. editor. Biocca, Frank. editor. Freeman, Jonathan. editor. IJsselsteijn, Wijnand. editor. Schaevitz, Rachel J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10190-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
E-Technologies 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings
Author 
Benyoucef, Morad. editor. Weiss, Michael. editor. Mili, Hafedh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17957-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Diffusion in Social Networks
Diffusion in Social Networks
Author 
Shakarian, Paulo. author. Bhatnagar, Abhivav. author. Aleali, Ashkan. author. Shaabani, Elham. author. Guo, Ruocheng. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23105-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Author 
Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19578-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Author 
Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18467-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Author 
Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46803-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets