Results of search for 'ccl=Provider:Springer and (( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) ))' › Central Library, Shahjalal University of Science & Technology catalog

Results
	361.	A beginner's guide to scala, object orientation and functional programming / John Hunt. by Hunt, John Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2014 Online access: Contributor biographical information Table of contents only Availability: Items available for loan: Central Library, SUST (2)Call number: 005.11 HUB, ... Place hold Add to cart (remove)
	362.	Mathematical logic for computer science / Mordechai Ben-Ari. by Ben-Ari, M, 1948- Edition: Third edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2012 Availability: Items available for loan: Central Library, SUST (3)Call number: 511.3 BEM, ... Place hold Add to cart (remove)
	363.	Fundamentals of robotic mechanical systems : theory, methods, and algorithms / Jorge Angeles. by Angeles, Jorge Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cham : Springer, c2014 Online access: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Central Library, SUST (3)Call number: 629.892 ANF, ... Place hold Add to cart (remove)
	364.	3D multiscale physiological human / Nadia Magnenat-Thalmann, Osman Ratib, Hon Fai Choi, editors. by Magnenat-Thalmann, Nadia, 1946- [editor.] Ratib, Osman [editor.] Choi, Hon Fai [editor.] Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2014 Availability: Items available for loan: Central Library, SUST (2)Call number: 612.0113 THR, ... Place hold Add to cart (remove)
	365.	Logic : a brief course / Daniele Mundici, by Mundici, Daniele Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer. c2012 Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 MUL, ... Place hold Add to cart (remove)
	366.	A developer's guide to the Semantic Web / Liyang Yu. by Yu, Liyang Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2014 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.74 YUD, ... Place hold Add to cart (remove)
	367.	Language, culture, computation : computing - theory and technology. essays dedicated to Yaacov Choueka on the occasion of his 75th birthday, part I / [edited by] Nachum Dershowitz, Ephraim Nissan. by Dershowitz, Nachum Nissan, Ephraim Series: Lecture notes in computer science ; 8001 Edition: 1st edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014 Availability: Items available for loan: Central Library, SUST (3)Call number: 622.0285 LAN, ... Place hold Add to cart (remove)
	368.	Accuracy verification methods : theory and algorithms / Olli Mali, Pekka Neittaanmaki, Sergey Repin. by Mali, Olli Neittaanmaki, Pekka Repin, Sergey Series: Computational methods in applied sciences ; 32 Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer. c2014 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.131 MAA, ... Place hold Add to cart (remove)
	369.	Design and analysis of biomolecular circuits : engineering approaches to systems and synthetic biology / Heinz Koeppl ... [et al.], editors. by Hoeppl, Heinz Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer Science+Business Media, c2011 Online access: Table of contents only Availability: Items available for loan: Central Library, SUST (2)Call number: 662.88 DES, ... Place hold Add to cart (remove)
	370.	Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II [edited by] Nachum Dershowitz, Ephraim Nissan. by Dershowitz, Nachum Nissan, Ephraim Series: Lecture notes in computer science ; 8001 Edition: 1st edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014 Availability: Items available for loan: Central Library, SUST (2)Call number: 622.0285 LAN, ... Place hold Add to cart (remove)
	371.	Mining of data with complex structures / Fedja Hadaic, Henry Tan and Tharam S. Dillon by Hadaic, Fedja Tan, Henry Dillon, Tharam S Source: Springer eBooks Material type: Text; Format: print ; Literary form: Fiction Publication details: London : Springer. c2011 Availability: Items available for loan: Central Library, SUST (2)Call number: 570.285 HAM, ... Place hold Add to cart (remove)
	372.	Windows 8 and Windows Phone 8 game development / Adam Dawes. by Dawes, Adam Material type: Text; Format: print ; Literary form: Not fiction Publication details: [New York, NY] : New York : Apress ; Distributed to the book trade worldwide by Springer Science + Business Media, 2010 Other title: Windows Phone Seven game development Availability: Items available for loan: Central Library, SUST (3)Call number: 794.81526 DAW, ... Place hold Add to cart (remove)
	373.	How to write a better thesis / David Evans, Paul Gruba, Justin Zobel. by Evans, David (David G.) [author.] Gruba, Paul [author.] Zobel, Justin, 1963- [author.] Edition: Third edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cham : Springer, 2014 Availability: Items available for loan: Central Library, SUST (3)Call number: 808.066378 EVH, ... Place hold Add to cart (remove)
	374.	Adaptive control : algorithms, analysis and applications / I.D. Landau ... [et al.]. by Landau, Yoan D, 1938- Series: Communications and control engineering Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Springer, c2011 Availability: Items available for loan: Central Library, SUST (2)Call number: 629.836 ADA, ... Place hold Add to cart (remove)
	375.	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)
	376.	MMIXware : a RISC computer for the third millennium / Donald E. Knuth. by Knuth, Donald Ervin, 1938- Series: Lecture notes in computer science ; 1750. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c1999 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (2)Call number: 005.1 KNM, ... Place hold Add to cart (remove)
	377.	Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by CAV (Conference) (18th : 2006 : Seattle, Wash.) Emerson, E. Allen Sistla, A. Prasad Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: New York : Springer, c2000 Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ... Place hold Add to cart (remove)
	378.	No cover image available No cover image available Knowledge annotation : making implicit knowledge explicit / Alexiei Dingli. by Dingli, Alexiei [author.] Series: Intelligent systems reference library ; volume 16 Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: Berlin : Springer, c2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 808.066025 DIK, ... Place hold Add to cart (remove)
	379.	Machine learning for adaptive many-core machines - a practical approach / Noel Lopes, Bernardete Ribeiro. by Lopes, Noel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cham : Springer, 2015 Online access: Publisher description Table of contents only Availability: Items available for loan: Central Library, SUST (3)Call number: 006.31 LOM, ... Place hold Add to cart (remove)
	380.	Multiparadigm constraint programming languages / Petra Hofstedt. by Hofstedt, Petra Series: Cognitive technologies Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, c2011 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.116 HOM, ... Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 577 results.