|
|
|
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. by Moreno Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer Aided Systems Theory - EUROCAST’99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 Proceedings / edited by Peter Kopacek, Roberto Moreno-Díaz, Franz Pichler. by Kopacek, Peter [editor.] | Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1798Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Systems Theory — EUROCAST '95 [electronic resource] : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings / edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht. by Pichler, Franz [editor.] | Díaz, Roberto Moreno [editor.] | Albrecht, Rudolf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1030Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2007 [electronic resource] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. by Moreno Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4739Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2009 [electronic resource] : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5717Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6927Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6928Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8111Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8112Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Aided Systems Theory – EUROCAST 2015 [electronic resource] : 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9520 | Lecture Notes in Computer Science ; 9520Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|