|
1.
|
Business process management workshops : BPM 2007 international workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007 : revised selected papers
by Ter Hofstede, Arthur | Benatallah, Boualem | Paik, Hye-Young | BPM 2007. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin : Springer, ©2008Other title: BPM 2007.Online access: Publisher description Availability: Items available for reference: IIITD [REF 658.05 HOF-B] (1).
|
|
2.
|
Distributed computing and internet technology : third international conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 : proceedings
by Madria, Sanjay Kumar | (3rd : International Conference on Distributed Computing and Internet Technology Bhubaneswar, India) 2006 :. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin ; Springer, ©2006Other title: ICDCIT 2006.Online access: Publisher description Availability: Items available for reference: IIITD [REF 004.36 MAD-D] (1).
|
|
3.
|
Efficient checking of polynomials and proofs and the hardness of approximation problems
by Sudan, Madhu. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer₋Verlag, ©1995Dissertation note: Based on the author's Ph. D. thesis, University of California, Berkeley, 1993. Online access: Publisher description Availability: Items available for loan: IIITD [REF 005.14 SUD-E] (1).
|
|
4.
|
The design of dynamic data structures
by Overmars, Mark H. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, ©1983Availability: Items available for loan: IIITD [REF 001.64 OVE-D] (1).
|
|
5.
|
Automata, logics, and infinite games
by Gradel, Erich | Thomas, Wolfgang | Wilke, Thomas. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, ©2002Online access: Publisher description Availability: Items available for loan: IIITD [REF 004.015 GRA-A] (1).
|
|
6.
|
Information systems security : 4th international conference, ICISS 2008, Hyderabad, India, December 16-20, 2008 : proceedings
by Sekar, R | Pujari, Arun K. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin : Springer, ©2008Availability: Items available for loan: IIITD [REF 005.8 SEK-I] (1).
|
|
7.
|
Database Theory — ICDT '97 [electronic resource] :6th International Conference Delphi, Greece, January 8–10, 1997 Proceedings /
by Afrati, Foto [editor.] | Kolaitis, Phokion [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
8.
|
Fuzzy Logic in Artificial Intelligence Towards Intelligent Systems [electronic resource] :IJCAI '95 Workshop Montréal, Canada, August 19–21, 1995 Selected Papers /
by Martin, Trevor P [editor.] | Ralescu, Anca L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
9.
|
Nonmonotonic Logics [electronic resource] :Basic Concepts, Results, and Techniques /
by Schlechta, Karl [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
10.
|
Security Protocols [electronic resource] :International Workshop Cambridge, United Kingdom, April 10–12, 1996 Proceedings /
by Lomas, Mark [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
11.
|
Graph Drawing [electronic resource] :Symposium on Graph Drawing, GD '96 Berkeley, California, USA, September 18–20, 1996 Proceedings /
by North, Stephen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
12.
|
Analysis and Verification of Multiple-Agent Languages [electronic resource] :5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers /
by Dam, Mads [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
13.
|
Intelligent Agents III Agent Theories, Architectures, and Languages [electronic resource] :ECAI'96 Workshop (ATAL) Budapest, Hungary, August 12–13, 1996 Proceedings /
by Müller, Jörg P [editor.] | Wooldridge, Michael J [editor.] | Jennings, Nicholas R [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
14.
|
Graph-Theoretic Concepts in Computer Science [electronic resource] :22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 Proceedings /
by d'Amore, Fabrizio [editor.] | Franciosa, Paolo Giulio [editor.] | Marchetti-Spaccamela, Alberto [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
15.
|
Software Agents and Soft Computing Towards Enhancing Machine Intelligence [electronic resource] :Concepts and Applications /
by Nwana, Hyacinth S [editor.] | Azarmi, Nader [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
16.
|
Communication and Architectural Support for Network-Based Parallel Computing [electronic resource] :First International Workshop, CANPC'97 San Antonio, Texas, USA, February 1–2, 1997 Proceedings /
by Panda, Dhabaleswar K [editor.] | Stunkel, Craig B [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
17.
|
Cooperative Information Agents [electronic resource] :First International Workshop, CIA'97 Kiel, Germany, February 26–28, 1997 Proceedings /
by Kandzia, Peter [editor.] | Klusch, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
18.
|
Algorithms and Complexity [electronic resource] :Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings /
by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe Di [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
19.
|
Numerical Analysis and Its Applications [electronic resource] :First International Workshop, WNAA'96 Rousse, Bulgaria, June 24–26, 1996 Proceedings /
by Vulkov, Lubin [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
20.
|
Modular Programming Languages [electronic resource] :Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings /
by Mössenböck, Hanspeter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|