Refine your search

Your search returned 327 results.

Not what you expected? Check for suggestions
126.
Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle.

by Beckert, Bernhard [editor.] | Hähnle, Reiner [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

127.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

by Dumas, Marlon [editor.] | Heckel, Reiko [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

128.
Passive and Active Network Measurement [electronic resource] : 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings / edited by Mark Claypool, Steve Uhlig.

by Claypool, Mark [editor.] | Uhlig, Steve [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

129.
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings / edited by Amitabha Das, Hung Keng Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong.

by Das, Amitabha [editor.] | Pung, Hung Keng [editor.] | Lee, Francis Bu Sung [editor.] | Wong, Lawrence Wai Choong [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

130.
The Common Component Modeling Example [electronic resource] : Comparing Software Component Models / edited by Andreas Rausch, Ralf Reussner, Raffaela Mirandola, František Plášil.

by Rausch, Andreas [editor.] | Reussner, Ralf [editor.] | Mirandola, Raffaela [editor.] | Plášil, František [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

131.
Implementation and Application of Functional Languages [electronic resource] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / edited by Olaf Chitil, Zoltán Horváth, Viktória Zsók.

by Chitil, Olaf [editor.] | Horváth, Zoltán [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

132.
Euro-Par 2008 – Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / edited by Emilio Luque, Tomàs Margalef, Domingo Benítez.

by Luque, Emilio [editor.] | Margalef, Tomàs [editor.] | Benítez, Domingo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

133.
Next Generation Teletraffic and Wired/Wireless Advanced Networking [electronic resource] : 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings / edited by Sergey Balandin, Dmitri Moltchanov, Yevgeni Koucheryavy.

by Balandin, Sergey [editor.] | Moltchanov, Dmitri [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

134.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard.

by Cassez, Franck [editor.] | Jard, Claude [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

135.
IP Operations and Management [electronic resource] : 8th IEEE International Workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings / edited by Nail Akar, Michal Pioro, Charalabos Skianis.

by Akar, Nail [editor.] | Pioro, Michal [editor.] | Skianis, Charalabos [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

136.
Management of Converged Multimedia Networks and Services [electronic resource] : 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008. Proceedings / edited by George Pavlou, Toufik Ahmed, Tasos Dagiuklas.

by Pavlou, George [editor.] | Ahmed, Toufik [editor.] | Dagiuklas, Tasos [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

137.
Computer Performance Engineering [electronic resource] : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings / edited by Nigel Thomas, Carlos Juiz.

by Thomas, Nigel [editor.] | Juiz, Carlos [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

138.
Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen.

by Cao, Jian [editor.] | Li, Minglu [editor.] | Wu, Min-You [editor.] | Chen, Jinjun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

139.
Wireless Algorithms, Systems, and Applications [electronic resource] : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings / edited by Yingshu Li, Dung T. Huynh, Sajal K. Das, Ding-Zhu Du.

by Li, Yingshu [editor.] | Huynh, Dung T [editor.] | Das, Sajal K [editor.] | Du, Ding-Zhu [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

140.
Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings / edited by Yan Ma, Deokjai Choi, Shingo Ata.

by Ma, Yan [editor.] | Choi, Deokjai [editor.] | Ata, Shingo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

141.
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks [electronic resource] : Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers / edited by Henning Schulzrinne, Radu State, Saverio Niccolini.

by Schulzrinne, Henning [editor.] | State, Radu [editor.] | Niccolini, Saverio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

142.
Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker.

by Leucker, Martin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :

143.
Computer Performance Evaluation and Benchmarking [electronic resource] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings / edited by David Kaeli, Kai Sachs.

by Kaeli, David [editor.] | Sachs, Kai [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :

144.
SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings / edited by Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia.

by Nielsen, Mogens [editor.] | Kučera, Antonín [editor.] | Miltersen, Peter Bro [editor.] | Palamidessi, Catuscia [editor.] | Tůma, Petr [editor.] | Valencia, Frank [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :

145.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers / edited by Lars Svensson, José Monteiro.

by Svensson, Lars [editor.] | Monteiro, José [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :

146.
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings / edited by Jürgen Becker, Roger Woods, Peter Athanas, Fearghal Morgan.

by Becker, Jürgen [editor.] | Woods, Roger [editor.] | Athanas, Peter [editor.] | Morgan, Fearghal [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :

147.
Passive and Active Network Measurement [electronic resource] : 10th International Conference, PAM 2009, Seoul, Korea, April 1-3, 2009. Proceedings / edited by Sue B. Moon, Renata Teixeira, Steve Uhlig.

by Moon, Sue B [editor.] | Teixeira, Renata [editor.] | Uhlig, Steve [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :

148.
Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf.

by Bruni, Roberto [editor.] | Wolf, Karsten [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :

149.
NETWORKING 2009 [electronic resource] : 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings / edited by Luigi Fratta, Henning Schulzrinne, Yutaka Takahashi, Otto Spaniol.

by Fratta, Luigi [editor.] | Schulzrinne, Henning [editor.] | Takahashi, Yutaka [editor.] | Spaniol, Otto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :

150.
Traffic Monitoring and Analysis [electronic resource] : First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings / edited by Maria Papadopouli, Philippe Owezarski, Aiko Pras.

by Papadopouli, Maria [editor.] | Owezarski, Philippe [editor.] | Pras, Aiko [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha