Limit Search Results
Author
SpringerLink (Online service)
(80)
Rozenberg, Grzegorz. editor.
(5)
Ehrig, Hartmut. editor.
(4)
Albers, Susanne. editor.
(3)
Cao, Jiannong. editor.
(3)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
80 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Author 
Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89366-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Author 
Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Author 
Khomenko, Victor. editor. Roux, Olivier H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91268-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
Author 
Kaczorowski, Jerzy. editor. Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76620-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Author 
Iliopoulos, Costas. editor. Leong, Hon Wai. editor. Sung, Wing-Kin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94667-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
Author 
Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713 Ma, Kwan-Liu. editor. (orcid)0000-0001-8086-0366 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73915-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Author 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Author 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334969.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Author 
Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334985.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40663-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Author 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
Author 
Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Preferred Shelf Number 
ONLINE(334064.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35843-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
Author 
Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
Author 
Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31113-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Author 
Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
Author 
Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
Author 
Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29892-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Author 
Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Author 
Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33314-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34176-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Internet and Network Economics 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings
Author 
Goldberg, Paul W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings
Author 
Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35476-2
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Author 
Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20514-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
Author 
Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18381-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Author 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
Author 
Winkler, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings
Internet and Network Economics 7th International Workshop, WINE 2011, Singapore, December 11-14, 2011. Proceedings
Author 
Chen, Ning. editor. Elkind, Edith. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25510-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Author 
Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25070-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Author 
Fernàndez Anta, Antonio. editor. Lipari, Giuseppe. editor. Roy, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25873-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Identity-Based Encryption
Identity-Based Encryption
Author 
Chatterjee, Sanjit. author. Sarkar, Palash. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9383-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Author 
Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
Author 
Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15995-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Author 
Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14162-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
Author 
Jha, Girish Nath. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17528-2
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
Author 
Saberi, Amin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17572-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
Author 
Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17653-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
Author 
Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14553-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Author 
Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15582-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings
Author 
Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02270-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02927-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02930-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Author 
Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03564-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
Author 
Rossi, Francesca. editor. Tsoukias, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Author 
Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01815-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Author 
Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Author 
Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03456-5
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings
Author 
Du, Ding-Zhu. editor. Hu, Xiaodong. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02026-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
Author 
Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Author 
Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Author 
Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Author 
Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
Author 
Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Author 
Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Author 
Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
Author 
Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Author 
Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Models of Operating System Kernels
Formal Models of Operating System Kernels
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
Author 
Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76837-1
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Author 
Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11671404
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Author 
Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841883
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Resource Allocation in Wireless Networks Theory and Algorithms
Resource Allocation in Wireless Networks Theory and Algorithms
Author 
Stańczak, Sławomir. author. Wiczanowski, Marcin. author. Boche, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11818762
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Mathematical Approaches to Software Quality
Mathematical Approaches to Software Quality
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-435-9
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Author 
MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11734673
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Author 
Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767589
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786986
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
Author 
Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11787006
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
Author 
Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105088
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Author 
Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103476
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings
Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings
Author 
Cao, Jiannong. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Lau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104574
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Author 
Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136988
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Author 
Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11523468
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Formal Concept Analysis Foundations and Applications
Formal Concept Analysis Foundations and Applications
Author 
Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-31881-1
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
Author 
Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137919
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
Author 
Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11573937
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
Author 
Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105806
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Author 
Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106390
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Validated Designs for Object-oriented Systems
Validated Designs for Object-oriented Systems
Author 
Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138800
Format: 
Availability 
Online Library~1
Available:
Copies: