|
|
|
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORITICAL COMPUTER SCIENCE (NEW DELHI)
by NORI.K.V. Material type:  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; 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; 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; 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; Format:
electronic
available online
 ; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
