Your search returned 37 results.

Not what you expected? Check for suggestions

Results
	21.	ECOOP 2009--object-oriented programming : 23rd European conference, Genoa, Italy, July 6-10, 2009 : proceedings / Sophia Drossopoulou (ed.). by ECOOP (Conference) (23rd : 2009 : Genoa, Italy) Drossopoulou, Sophia Series: Lecture notes in computer science ; 5653. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	22.	Object-oriented technology : ECOOP 2002 workshop reader : ECOOP 2002 workshops and posters, Málaga, Spain, June 2002 : proceedings / Juan Hernández, Ana Moreira (eds.). by ECOOP (Conference) (16th : 2002 : Malága, Spain) Hernández, Juan (Computer scientist) Moreira, Ana M. D Series: Lecture notes in computer science ; 2548. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	23.	Object-oriented technology : ECOOP'98 workshop reader : ECOOP'98 workshops, demos, and posters : Brussels, Belgium, July 20-24, 1998 : proceedings / Serge Demeyer, Jan Bosch (eds.). by ECOOP'98 (1998 : Brussels, Belgium) Demeyer, Serge Bosch, Jan Series: Lecture notes in computer science ; 1543. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	24.	Objects, models, components, patterns : 48th international conference, TOOLS 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings / Jan Vitek (ed.). by TOOLS (Conference) (48th : 2010 : Málaga, Spain) Vitek, Jan (Computer scientist) Series: Lecture notes in computer science ; 6141. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, ©2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	25.	Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / Bernhard Beckert, Claude Marche (eds.). by FoVeOOS (Conference) (2010 : Paris, France) Beckert, Bernhard Marche, Claude Series: Lecture notes in computer science ; 6528. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2011 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	26.	ECOOP 2011--object-oriented programming : 25th European conference, Lancaster, UK, July 25-29, 2011 : proceedings / Mira Mezini (ed.). by ECOOP (Conference) (25th : 2011 : Lancaster, England) Mezini, Mira, 1966- Series: Lecture notes in computer science ; 6813. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Heidelberg : Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	27.	Objects, models, components, patterns : 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings / Judith Bishop, Antonio Vallecillo (eds.). by TOOLS (Conference) (49th : 2011 : Zurich, Switzerland) Bishop, J. M. (Judith Mary), 1951- Vallecillo, Antonio, 1962- Series: Lecture notes in computer science ; 6705. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011 Other title: TOOLS 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	28.	Objects, models, components, patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / Carlo A. Furia, Sebastian Nanz (eds.). by TOOLS (Conference) (50th : 2012 : Prague, Czech Republic) Furia, Carlo A Nanz, Sebastian Series: Lecture notes in computer science ; 7304. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: TOOLS 2012 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	29.	Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers / Shaoying Liu, Zhenhua Duan (eds.). by SOFL+MSVL (Workshop) (3rd : 2013 : Queenstown, N.Z.) Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Series: Lecture notes in computer science ; 8332. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	30.	Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers / Shaoying Liu, Zhenhua Duan (eds.). by SOFL+MSVL (Workshop) (4th : 2014 : Luxembourg, Luxembourg) Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Series: Lecture notes in computer science ; 8979. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: SOFL+MSVL 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	31.	Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers / Shaoying Liu, Zhenhua Duan (eds.). by SOFL+MSVL (Workshop) (5th : 2015 : Paris, France) Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Series: Lecture notes in computer science ; 9559. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: SOFL+MSVL 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	32.	Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers / Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.). by SOFL+MSVL (Workshop) (6th : 2016 : Tokyo, Japan) Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] Series: Lecture notes in computer science ; 10189. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: SOFL+MSVL 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	33.	Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan. by SOFL+MSVL (Workshop) (7th : 2017 : Xi'an, China) Tian, Cong [editor.] Nagoya, Fumiko [editor.] Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Series: Lecture notes in computer science ; 10795. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	34.	Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers / Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.). by SOFL+MSVL (Workshop) (8th : 2018 : Gold Coast, Qld.) Duan, Zhenhua [editor.] Liu, Shaoying, 1960- [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] Series: Lecture notes in computer science ; 11392. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019 Other title: SOFL+MSVL 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	35.	Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers / Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.). by SOFL+MSVL (Workshop) (9th : 2019 : Shenzhen, China) Miao, Huaikou, 1953- Tian, Cong Liu, Shaoying, 1960- Duan, Zhenhua Series: Lecture notes in computer science ; 12028. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: SOFL+MSVL 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	36.	Structured object-oriented formal language and method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers / Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (eds.). by SOFL+MSVL (Workshop) (10th : 2020 : Online) Xue, Jinyun [editor.] Nagoya, Fumiko [editor.] Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Series: Lecture notes in computer science ; 12723. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2021 Other title: SOFL+MSVL 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	37.	Structured object-oriented formal language and method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised selected papers / Shaoying Liu, Zhenhua Duan, Ai Liu, editors. by SOFL+MSVL (Workshop) (11th : 2022 : Madrid, Spain) Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Liu, Ai [editor.] Series: Lecture notes in computer science ; 13854. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2023 Other title: SOFL+MSVL 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha