|
|
|
|
|
|
|
|
|
|
|
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert. by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1124Source: 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 Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings / edited by Xingming Zhou, Ming Xu, Stefan Jähnichen, Jiannong Cao. by Zhou, Xingming [editor.] | Xu, Ming [editor.] | Jähnichen, Stefan [editor.] | Cao, Jiannong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2834Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 1988 [electronic resource] : Proceedings of the 13th Symposium Carlsbad, Czechoslovakia, August 29 – September 2, 1988 / edited by Michal P. Chytil, Václav Koubek, Ladislav Janiga. by Chytil, Michal P [editor.] | Koubek, Václav [editor.] | Janiga, Ladislav [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 324Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings / edited by Fernando Orejas, Paul G. Spirakis, Jan Leeuwen. by Orejas, Fernando [editor.] | Spirakis, Paul G [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2076Source: 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): .
|
|
|
|
Foundations and Tools for Neural Modeling [electronic resource] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’99 Alicante, Spain, June 2–4, 1999 Proceedings, Volume I / edited by José Mira, Juan V. Sánchez-Andrés. by Mira, José [editor.] | Sánchez-Andrés, Juan V [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1606Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin. by Shi, Yuhui [editor.] | Tan, Kay Chen [editor.] | Zhang, Mengjie [editor.] | Tang, Ke [editor.] | Li, Xiaodong [editor.] | Zhang, Qingfu [editor.] | Tan, Ying [editor.] | Middendorf, Martin [editor.] | Jin, Yaochu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10593 | Lecture Notes in Computer Science ; 10593Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings / edited by Mark Aagaard, John Harrison. by Aagaard, Mark [editor.] | Harrison, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1869Source: 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): .
|
|
|
|
Vector and Parallel Processing — VECPAR 2000 [electronic resource] : 4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks / edited by José M. L. M. Palma, Jack Dongarra, Vicente Hernández. by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1981Source: 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): .
|
|
|
|
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings / edited by David Bustard, Weiru Liu, Roy Sterritt. by Bustard, David [editor.] | Liu, Weiru [editor.] | Sterritt, Roy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2311Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes. by Daydé, Michel [editor.] | Palma, José M. L. M [editor.] | Coutinho, Álvaro L. G. A [editor.] | Pacitti, Esther [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4395Source: 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): .
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos. by Nicosia, Giuseppe [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7997Source: 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): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu. by Domaratzki, Michael [editor.] | Okhotin, Alexander [editor.] | Salomaa, Kai [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3317Source: 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): .
|
|
|
|
Concurrency and Parallelism, Programming, Networking, and Security [electronic resource] : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings / edited by Joxan Jaffar, Roland H. C. Yap. by Jaffar, Joxan [editor.] | Yap, Roland H. C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1179Source: 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): .
|
|
|
|
|