Results of search for 'ccl=Provider:Springer Verlag,' › Central Library, Shahjalal University of Science & Technology catalog

Results
	101.	Distributed systems--architecture and implementation : an advanced course / D.W. Davies ... [et al.] ; edited by B.W. Lampson, M. Paul, and H.J. Siegert. by Davies, Donald Watts Lampson, Butler W Paul, Manfred, 1932- Siegert, H. J Technische Universit�at M�unchen. Institut f�ur Informatik Advanced Course on Distributed Systems--Architecture and Implementation (1980 : Technische Universit�at M�unchen) Series: Lecture notes in computer science ; 105 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1981 Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 DIS, ... Place hold Add to cart (remove)
	102.	Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. by Dijkstra, Edsger Wybe Scholten, Carel S Series: Texts and monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1990 Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 DIP, ... Place hold Add to cart (remove)
	103.	Pascal user manual and report : ISO Pascal standard / Kathleen Jensen, Niklaus Wirth ; [illustrations by William W. Porter]. by Jensen, Kathleen, 1949- Wirth, Niklaus Mickel, Andrew B Miner, James F Edition: 4th ed. / revised by Andrew B. Mickel, James F. Miner. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1991 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 005.133 JEP, ... Place hold Add to cart (remove)
	104.	Socially enhanced services computing / Schahram Dustdar, Daniel Schall, Florian Skopik, Lukasz Juszczyk, Harald Psaier, editors. by Dustdar, Schahram, editor of compilation Material type: Text; Format: print ; Literary form: Not fiction Publication details: Wien ; New York : Springer-Verlag/Wien, c2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 004.019 SOC, ... Place hold Add to cart (remove)
	105.	Primality testing and Abelian varieties over finite fields / Leonard M. Adleman, Ming-Deh A. Huang. by Adleman, Leonard M Huang, Ming-Deh A Series: Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1992 Availability: Items available for loan: Central Library, SUST (3)Call number: 510 ADP, ... Place hold Add to cart (remove)
	106.	Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen Namjoshi, Kedar S Series: Lecture notes in computer science ; 3855 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c2006 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.14 EMV, ... Place hold Add to cart (remove)
	107.	Beginning smartphone web development : building JavaScript, CSS, HTML and Ajax-based applications for iPhone, Android, Palm Pre, Blackberry, Windows Mobile and Nokia S60 / Gail Rahn Frederick with Rajesh Lal. by Frederick, Gail Rahn Lal, Rajesh Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Apress : Distributed to the book trade worldwide by Springer-Verlag New York, c2009 Online access: Inhaltsverzeichnis Availability: Items available for loan: Central Library, SUST (3)Call number: 621.38456 FRB, ... Place hold Add to cart (remove)
	108.	Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / Leonard M. Adleman, Ming-Deh Huang, eds. by Adleman, Leonard M Huang, Ming-Deh A Algorithmic Number Theory Symposium (1st : 1994 : Ithaca, N.Y.) Series: Lecture notes in computer science ; 877 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1994 Availability: Items available for loan: Central Library, SUST (5)Call number: 512.7 ALG, ... Place hold Add to cart (remove)
	109.	Cloud computing for enterprise architectures / Zaigham Mahmood, Richard Hill, editors. by Mahmood, Zaigham Hill, Richard Series: Computer communications and networks Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Springer-Verlag, c2011 Online access: Table of contents only Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6782 CLO, ... Place hold Add to cart (remove)
	110.	Selected writings on computing : a personal perspective / Edsger W. Dijkstra, David Gries .... [et al.]. by Dijkstra, Edsger Wybe Gries, David Series: Texts and monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1982 Availability: Items available for loan: Central Library, SUST (3)Call number: 001.64 DIS, ... Place hold Add to cart (remove)
	111.	Robot building for beginners / David Cook. by Cook, David (David Alan) Series: Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Distributed to the Book trade worldwide by Springer-Verlag, c2009 Availability: Items available for loan: Central Library, SUST (3)Call number: 629.892 COR, ... Place hold Add to cart (remove)
	112.	Selected papers / Calvin C. Elgot ;edited Stephen L. Bloom, by Elgot, Calvin C Bloom, Stephen L Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: New York ; Heidelberg : Springer-Verlag, c1982 Availability: Items available for loan: Central Library, SUST (3)Call number: 510 ELS, ... Place hold Add to cart (remove)
	113.	Programming in Modula-2 / Niklaus Wirth. by Wirth, Niklaus Series: Texts and monographs in computer science Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1988 Availability: No items available. Add to cart (remove)
	114.	Programming in Modula-2 / Niklaus Wirth. by Wirth, Niklaus Series: Texts and monographs in computer science Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1988 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.133 WIP, ... Place hold Add to cart (remove)
	115.	Concurrent programming : algorithms, principles, and foundations / Michel Raynal. by Raynal, M. (Michel) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag, c2013 Online access: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Central Library, SUST (3)Call number: 004 RAC, ... Place hold Add to cart (remove)
	116.	Pascal user manual and report : ISO Pascal standard / Kathleen Jensen, Niklaus Wirth ; [illustrations by William W. Porter]. by Jensen, Kathleen, 1949- Wirth, Niklaus Mickel, Andrew B Miner, James F Edition: 4th ed. revised by Andrew B. Mickel, James F. Miner. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1991 Online access: Publisher description Availability: No items available. Add to cart (remove)
	117.	PASCAL, user manual and report / Kathleen Jensen, Niklaus Wirth. by Jensen, Kathleen, 1949- Wirth, Niklaus [joint author.] Series: Lecture notes in computer science ; 18 Edition: 2d ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c1975 Availability: Items available for loan: Central Library, SUST (3)Call number: 001.6424 JEP, ... Place hold Add to cart (remove)
	118.	No cover image available No cover image available The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli. by Manna, Zohar Pnueli, Amir, 1941-2009 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, c1992 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 NAT, ... Place hold Add to cart (remove)
	119.	Wireless Internet 6th International Icst Conference, Wicon 2011, Xi'an, China, October 19-21, 2011, Revised Selected Papers / [Editor] Ren Pinyi, Zhang Chao, Liu Xin, Liu Pei, Ci Song. by Ren, Pinyi Zhang Chao Liu, Xin Ci, Song Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: New York. : Springer-Verlag . 2012 Availability: Items available for loan: Central Library, SUST (3)Call number: 004.6 WIR, ... Place hold Add to cart (remove)
	120.	Modeling, mesh generation, and adaptive numerical methods for partial differential equations / Ivo Babuska ... [et al.], editors. by Babuska, Ivo Series: The IMA volumes in mathematics and its applications ; v. 75 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, 1995 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 515.353 MOD, ... Place hold Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 178 results.