Your search returned 3707 results. Subscribe to this search

|
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORITICAL COMPUTER SCIENCE (NEW DELHI)

by NORI.K.V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer 1986Availability: Items available for loan: [Call number: 621.38196425 N841] (1).

NATURAL LANGUAGE AT THE COMPUTER

by BLASER.A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: BERLIN Springer Availability: Items available for loan: [Call number: 621.38195 B644] (1).

MOSIX DISTRIBUTED OPERATING SYSTEM: LOAD BALANCING FOR UNIX, ED. BY AMMON BARAK

by BRAUER,W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: BERLIN Springer 1993Availability: Items available for loan: [Call number: 621.38195 B825] (1).

NETWORK AND OPERATING SYSTEM SUPORT FOR DIGITAL AUDIO AND VEDIO, 3RD INTERNATION

by BRAUER,W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: BERLIN Springer 1993Availability: Items available for loan: [Call number: 621.38195 B825] (1).

Business Process Management [electronic resource] : 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings / edited by Florian Daniel, Jianmin Wang, Barbara Weber.

by Daniel, Florian [editor.] | Wang, Jianmin [editor.] | Weber, Barbara [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Vikt�oria Zs�ok, Zolt�an Horv�ath, Lehel Csat�o.

by Zs�ok, Vikt�oria [editor.] | Horv�ath, Zolt�an [editor.] | Csat�o, Lehel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Statistical Language and Speech Processing [electronic resource] : Second International Conference, SLSP 2014, Grenoble, France, October 14-16, 2014, Proceedings / edited by Laurent Besacier, Adrian-Horia Dediu, Carlos Mart�in-Vide.

by Besacier, Laurent [editor.] | Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV [electronic resource] / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner.

by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Database and Expert Systems Applications [electronic resource] : 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I / edited by Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker.

by Chen, Qiming [editor.] | Hameurlain, Abdelkader [editor.] | Toumani, Farouk [editor.] | Wagner, Roland [editor.] | Decker, Hendrik [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Coordination Models and Languages [electronic resource] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Alberto Lluch Lafuente, Jos�e Proen�ca.

by Lluch Lafuente, Alberto [editor.] | Proen�ca, Jos�e [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti J�arvisalo, Allen Van Gelder.

by J�arvisalo, Matti [editor.] | Van Gelder, Allen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Transactions on Computational Collective Intelligence XXII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montr�eal, Canada, July 25-28, 2016, Proceedings / edited by Srečko Brlek, Christophe Reutenauer.

by Brlek, Srečko [editor.] | Reutenauer, Christophe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magn�us M. Halld�orsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.

by Halld�orsson, Magn�us M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella.

by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII [electronic resource] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link.

by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Decker, Hendrik [editor.] | Lhotska, Lenka [editor.] | Link, Sebastian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Multi-Agent Systems [electronic resource] : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / edited by Nils Bulling.

by Bulling, Nils [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Human-Centered Software Engineering [electronic resource] : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings / edited by Stefan Sauer, Cristian Bogdan, Peter Forbrig, Regina Bernhaupt, Marco Winckler.

by Sauer, Stefan [editor.] | Bogdan, Cristian [editor.] | Forbrig, Peter [editor.] | Bernhaupt, Regina [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available