|
|
|
|
Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / edited by Wolf Zimmermann, Bernhard Thalheim. by Zimmermann, Wolf [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3052Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. by Börger, Egon [editor.] | Butler, Michael [editor.] | Bowen, Jonathan P [editor.] | Boca, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5238Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele. by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Active, Real-Time, and Temporal Database Systems [electronic resource] : Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings / edited by Sten F. Andler, Jörgen Hansson. by Andler, Sten F [editor.] | Hansson, Jörgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1553Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings / edited by Xue Li, Shuliang Wang, Zhao Yang Dong. by Li, Xue [editor.] | Wang, Shuliang [editor.] | Dong, Zhao Yang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3584Source: 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): .
|
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings / edited by Xue Li, Osmar R. Zaïane, Zhanhuai Li. by Li, Xue [editor.] | Zaïane, Osmar R [editor.] | Li, Zhanhuai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4093Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007. Proceedings / edited by Reda Alhajj, Hong Gao, Jianzhong Li, Xue Li, Osmar R. Zaïane. by Alhajj, Reda [editor.] | Gao, Hong [editor.] | Li, Jianzhong [editor.] | Li, Xue [editor.] | Zaïane, Osmar R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4632Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 13th International Conference, CAiSE 2001 Interlaken, Switzerland, June 4–8, 2001 Proceedings / edited by Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie. by Dittrich, Klaus R [editor.] | Geppert, Andreas [editor.] | Norrie, Moira C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2068Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : Second Nordic Conference CAiSE '90 Stockholm, Sweden, May 8–10, 1990 Proceedings / edited by Bo Steinholtz, Arne Sølvberg, Lars Bergman. by Steinholtz, Bo [editor.] | Sølvberg, Arne [editor.] | Bergman, Lars [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 436Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 5th International Conference, CAiSE '93 Paris, France, June 8–11, 1993 Proceedings / edited by Colette Rolland, François Bodart, Corine Cauvet. by Rolland, Colette [editor.] | Bodart, François [editor.] | Cauvet, Corine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 685Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 6th International Conference, CAiSE'94 Utrecht, The Netherlands, June 6–10, 1994 Proceedings / edited by Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman. by Wijers, Gerard [editor.] | Brinkkemper, Sjaak [editor.] | Wasserman, Tony [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 811Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 7th International Conference, CAiSE '95 Jyväskylä, Finland, June 12–16, 1995 Proceedings / edited by Juhani Iivari, Kalle Lyytinen, Matti Rossi. by Iivari, Juhani [editor.] | Lyytinen, Kalle [editor.] | Rossi, Matti [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 932Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20–24, 1996 Proceedings / edited by Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou. by Constantopoulos, Panos [editor.] | Mylopoulos, John [editor.] | Vassiliou, Yannis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1080Source: 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): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 9th International Conference, CAiSE'97 Barcelona, Catalonia, Spain, June 16–20, 1997 Proceedings / edited by Antoni Olivé, Joan Antoni Pastor. by Olivé, Antoni [editor.] | Pastor, Joan Antoni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1250Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings / edited by Haralambos Mouratidis, Colette Rolland. by Mouratidis, Haralambos [editor.] | Rolland, Colette [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6741Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings / edited by Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza. by Ralyté, Jolita [editor.] | Franch, Xavier [editor.] | Brinkkemper, Sjaak [editor.] | Wrycza, Stanislaw [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7328Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / edited by Jelena Zdravkovic, Marite Kirikova, Paul Johannesson. by Zdravkovic, Jelena [editor.] | Kirikova, Marite [editor.] | Johannesson, Paul [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9097 | Lecture Notes in Computer Science ; 9097Edition: 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): .
|
