Search Results for Programming languages.

1.

Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Author

Hinze, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335126.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41582-1

Format:

Availability

Online Library~1

Available:
Copies:

2.

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

Author

Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.

Preferred Shelf Number

ONLINE(335138.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41660-6

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Author

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335141.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41707-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Ada 2012 Rationale The Language, The Standard Libraries

Author

Barnes, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335195.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45210-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45221-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Learn Cocoa on the Mac

Author

Nutting, Jack. author. Clark, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330613.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-4543-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Author

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332921.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02444-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Author

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332934.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Compiler Design Syntactic and Semantic Analysis

Author

Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333076.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17540-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Author

Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332982.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03545-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333558.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32341-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Author

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334014.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35632-2

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Author

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334069.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35861-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Author

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334077.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35887-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36742-7

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

Author

Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334282.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36757-1

Format:

Availability

Online Library~1

Available:
Copies:

17.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Author

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334327.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36946-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Transactions on Aspect-Oriented Software Development X

Author

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334333.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36964-3

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334353.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37051-9

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334354.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37057-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334358.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37075-5

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Author

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334469.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37658-0

Format:

Availability

Online Library~1

Available:
Copies:

23.

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Author

Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334533.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38088-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Author

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334547.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38164-5

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38209-3

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Author

Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334562.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38230-7

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Author

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334631.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38601-5

Format:

Availability

Online Library~1

Available:
Copies:

28.

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Author

Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334706.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38977-1

Format:

Availability

Online Library~1

Available:
Copies:

29.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334711.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39013-5

Format:

Availability

Online Library~1

Available:
Copies:

30.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Drira, Khalil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334714.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39031-9

Format:

Availability

Online Library~1

Available:
Copies:

31.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334715.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39038-8

Format:

Availability

Online Library~1

Available:
Copies:

32.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Author

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334683.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38856-9

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Author

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334691.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38883-5

Format:

Availability

Online Library~1

Available:
Copies:

34.

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Author

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334697.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38911-5

Format:

Availability

Online Library~1

Available:
Copies:

35.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Author

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334698.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38916-0

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Author

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334820.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39611-3

Format:

Availability

Online Library~1

Available:
Copies:

37.

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Author

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334844.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39742-4

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Author

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334870.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39955-8

Format:

Availability

Online Library~1

Available:
Copies:

39.

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Author

Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334934.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40355-2

Format:

Availability

Online Library~1

Available:
Copies:

40.

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Author

Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334946.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40447-4

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Author

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334968.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40561-7

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Author

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Preferred Shelf Number

ONLINE(334979.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40624-9

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40627-0

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Author

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334990.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40698-0

Format:

Availability

Online Library~1

Available:
Copies:

45.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Author

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335003.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40787-1

Format:

Availability

Online Library~1

Available:
Copies:

46.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Author

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335046.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41036-9

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Author

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335072.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41202-8

Format:

Availability

Online Library~1

Available:
Copies:

48.

Ubiquitous Information Technologies and Applications CUTE 2012

Author

Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336087.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5857-5

Format:

Availability

Online Library~1

Available:
Copies:

49.

Programming with mobile applications : Android, iOS, and Windows Phone 7

Author

Duffy, Thomas J.

Preferred Shelf Number

QA76.76.A65 D84 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

50.

Python for data analysis

Author

McKinney, Wes.

Preferred Shelf Number

QA76.73.P98 M42 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

51.

Learn Lua for iOS Game Development

Author

Varma, Jayant. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330623.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-4663-3

Format:

Availability

Online Library~1

Available:
Copies:

52.

Objective-C Programmer’s Reference

Author

Oliveira, Carlos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330726.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-5906-0

Format:

Availability

Online Library~1

Available:
Copies:

53.

Node.js Recipes

Author

Gackenheimer, Cory. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330745.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-6059-2

Format:

Availability

Online Library~1

Available:
Copies:

54.

TouchDevelop: Programming on the Go

Author

Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330757.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-6137-7

Format:

Availability

Online Library~1

Available:
Copies:

55.

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

Author

Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330942.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4282-9

Format:

Availability

Online Library~1

Available:
Copies:

56.

Bayesian Networks in R with Applications in Systems Biology

Author

Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332033.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6446-4

Format:

Availability

Online Library~1

Available:
Copies:

57.

The R Software Fundamentals of Programming and Statistical Analysis

Author

Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332463.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-9020-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Author

Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333246.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29578-2

Format:

Availability

Online Library~1

Available:
Copies:

60.

Introduction to Image Processing Using R Learning by Examples

Author

Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331107.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4950-7

Format:

Availability

Online Library~1

Available:
Copies:

61.

Logic Programming with Prolog

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331207.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5487-7

Format:

Availability

Online Library~1

Available:
Copies:

62.

Guide to Programming and Algorithms Using R

Author

Ergül, Özgür. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331192.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5328-3

Format:

Availability

Online Library~1

Available:
Copies:

63.

Giants of Computing A Compendium of Select, Pivotal Pioneers

Author

O’Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331194.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5340-5

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Author

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334055.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35813-5

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Author

Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334136.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36157-9

Format:

Availability

Online Library~1

Available:
Copies:

66.

Cover image for Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Author

Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334142.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36177-7

Format:

Availability

Online Library~1

Available:
Copies:

67.

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Author

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334156.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36249-1

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Author

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334096.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35992-7

Format:

Availability

Online Library~1

Available:
Copies:

69.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Author

Sagonas, Kostis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335204.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45284-0

Format:

Availability

Online Library~1

Available:
Copies:

70.

Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Author

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335206.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45293-2

Format:

Availability

Online Library~1

Available:
Copies:

71.

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

Author

Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335215.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45404-2

Format:

Availability

Online Library~1

Available:
Copies:

72.

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

Author

Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.

Preferred Shelf Number

ONLINE(335216.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45419-6

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335217.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45422-6

Format:

Availability

Online Library~1

Available:
Copies:

74.

Cover image for Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Author

Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335227.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-54092-9

Format:

Availability

Online Library~1

Available:
Copies:

75.

Using Microsoft Dynamics AX 2012 Updated for Version R2

Author

Luszczak, Andreas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335271.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-01709-5

Format:

Availability

Online Library~1

Available:
Copies:

76.

Minority Populations in Canadian Second Language Education

Author

Arnett, Katy, contributor. Arnett, Katy, editor. Battiste, Marie, contributor. Becker, Ava, contributor. Bourgoin, Renée, contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.21832/9781783090310
https://www.degruyter.com/isbn/9781783090310
Cover https://www.degruyter.com/document/cover/isbn/9781783090310/original

Format:

Availability

Online Library~1

Available:
Copies:

77.

Dynamic documents with R and KNITR

Author

Xie, Yihui., author. Taylor and Francis.

Preferred Shelf Number

QA276.4

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

78.

Generating language-based environments

Author

Reps, Thomas W. (Thomas William)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325

Format:

Availability

Online Library~1

Available:
Copies:

79.

Her Yönüyle C #

Author

Algan, Sefer.

Preferred Shelf Number

QA76.73.C154 A44 2012

Format:

Availability

Beytepe Library~3

Available:
Copies:

80.

Raspberry Pi user guide

Author

Upton, Eben. Halfacree, Gareth.

Preferred Shelf Number

ONLINE

Electronic Access

Wiley Online Library

Format:

Availability

Online Library~1

Available:
Copies:

81.

Theory of computation

Author

Tourlakis, George J.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654

Format:

Availability

Online Library~1

Available:
Copies:

82.

Getting started with R an introduction for biologists

Author

Beckerman, Andrew P. Petchey, Owen L.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=439723

Format:

Availability

Online Library~1

Available:
Copies:

83.

Undocumented secrets of MATLAB-Java programming

Author

Altman, Yair M., author.

Preferred Shelf Number

QA297 .A544 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

84.

Programming language concepts

Author

Sestoft, Peter.

Preferred Shelf Number

QA76.7 S478 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

85.

Fundamentals of multicore software development

Author

Pankratius, Victor. Adl-Tabatabai, Ali-Reza. Tichy, Walter F.

Preferred Shelf Number

QA76.642 .F86 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

86.

Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink

Author

Dixon, Kenneth R., author.

Preferred Shelf Number

RA1226 .D59 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

87.

Intelligent systems for engineers and scientists

Author

Hopgood, Adrian A., author.

Preferred Shelf Number

QA76.76 .E95 H675 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

88.

The Mathematics of Syntactic Structure : Trees and their Logics

Author

Cornell, Thomas L., contributor. Kallmeyer, Laura, contributor. Kolb, Hans-Peter, contributor. Kolb, Hans-Peter, editor. Kracht, Marcus, contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110806786
https://www.degruyter.com/isbn/9783110806786
Cover https://www.degruyter.com/document/cover/isbn/9783110806786/original

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cognitive Modeling and Verbal Semantics : A Representational Framework Based on UML

Author

Schalley, Andrea C., author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110909623
https://www.degruyter.com/isbn/9783110909623
Cover https://www.degruyter.com/document/cover/isbn/9783110909623/original

Format:

Availability

Online Library~1

Available:
Copies:

90.

An introduction to TTCN-3

Author

Willcock, Colin.

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Books24x7 http://www.books24x7.com/marc.asp?bookid=41769
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675190
http://site.ebrary.com/lib/alltitles/Doc?id=10510619

Format:

Availability

Online Library~1

Available:
Copies:

91.

Visual Basic 2005 demystified a self-teaching guide

Author

Kent, Jeffrey A. (Jeffrey Alan), 1952-

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

92.

Java for dummies

Author

Burd, Barry A.

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=44370
John Wiley http://dx.doi.org/10.1002/9781118257517
OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}&Format=50
Image http://images.contentreserve.com/ImageType-100/0128-1/{C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}Img100.jpg
http://swb.eblib.com/patron/FullRecord.aspx?p=697902

Format:

Availability

Online Library~1

Available:
Copies:

93.

Practical database programming with Java

Author

Bai, Ying, 1956-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988888

Format:

Availability

Online Library~1

Available:
Copies:

94.

Visual C# 2005 demystified a self-teaching guide

Author

Kent, Jeffrey A. (Jeffrey Alan), 1952-

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

95.

Java demystified a self-teaching guide

Author

Keogh, James Edward, 1948-

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

96.

OOP demystified a self-teaching guide

Author

Keogh, James Edward, 1948- Giannini, Mario.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

97.

Codecharts roadmaps and blueprints for object-oriented programs

Author

Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-

Preferred Shelf Number

ONLINE(318929.1)

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Books24x7 http://www.books24x7.com/marc.asp?bookid=41806
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=700550
ebrary http://site.ebrary.com/id/10465941
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832

Format:

Availability

Online Library~1

Available:
Copies:

98.

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal., author. Seda, Anthony.

Preferred Shelf Number

QA76.63 .H58 2011

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

99.

A student's guide to the study, practice, and tools of modern mathematics

Author

Bindner, Donald., author. Erickson, Martin J., 1963-

Preferred Shelf Number

QA41.6 .B56 2011

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

100.

Oracle embedded programming and application development

Author

Lakshman, Bulusu., author.

Preferred Shelf Number

QA76.76 .D47 L343 2011

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

101.

Model-based design for embedded systems

Author

Mosterman, Pieter J. Nicolescu, G. (Gabriela)

Preferred Shelf Number

TK7895 .E42 M62 2010

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

102.

SysML for Systems Engineering

Author

Holt, Jon Perry, Simon

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBPC007E

Format:

Availability

Online Library~1

Available:
Copies:

103.

Fortran 95/2003 for scientists and engineers

Author

Chapman, Stephen J.

Preferred Shelf Number

QA76.73 C43 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

104.

Domain-specific modeling enabling full code generation

Author

Kelly, Steven. Tolvanen, Juha-Pekka.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html
John Wiley http://dx.doi.org/10.1002/9780470249260
http://swb.eblib.com/patron/FullRecord.aspx?p=331608

Format:

Availability

Online Library~1

Available:
Copies:

105.

High performance embedded computing handbook : a systems perspective

Author

Bond, Robert A. Martinez, David R. Vai, M. Michael.

Preferred Shelf Number

TK7895 .E42 H54 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

106.

Her Yönüyle C #

Author

Algan, Sefer.

Preferred Shelf Number

QA76.73.C154 A44 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

107.

Handbook of real-time and embedded systems

Author

Lee, Insup. Leung, Joseph Y-T. Son, Sang H.

Preferred Shelf Number

QA76.54 .H35 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

108.

Bioinformatics : a practical approach

Author

Ye, Shui Qing, 1954, author.

Preferred Shelf Number

QH324.2 .Y42 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

109.

The R book

Author

Crawley, Michael J.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=297479
http://www3.interscience.wiley.com/cgi-bin/bookhome/116311729
MyiLibrary, Table of contents http://www.myilibrary.com?id=90097&ref=toc
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=297479_0

Format:

Availability

Online Library~1

Available:
Copies:

110.

Programming language fundamentals by example

Author

Stevenson, D. E., author.

Preferred Shelf Number

QA76.6 .S746 2007

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

111.

JAL ile PIC programlama

Author

Ayyıldız, Serkan.

Preferred Shelf Number

QA76.73 A99 2006

Format:

Availability

Beytepe Library~1

Available:
Copies:

112.

Programming language pragmatics

Author

Scott, Michael Lee.

Preferred Shelf Number

QA76.7 .S38 2006

Format:

Availability

Beytepe Library~2

Available:
Copies:

113.

Computers, Software Engineering, and Digital Devices

Author

Dorf, Richard C., author. Taylor and Francis.

Preferred Shelf Number

TK7885

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

114.

The industrial information technology handbook

Author

Zurawski, Richard.

Preferred Shelf Number

T58.5 .I513 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

115.

Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionals

Author

Foster, James C. Price, Mike (Mike Morgan) McClure, Stuart.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781597490054

Format:

Availability

Online Library~1

Available:
Copies:

116.

The engineering handbook

Author

Dorf, Richard C.

Preferred Shelf Number

TA151 .E424 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

117.

The windows serial port programming handbook

Author

Bai, Ying, 1956, author.

Preferred Shelf Number

TK7887.5 .B35 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

118.

Computer science handbook

Author

Tucker, Allen B.

Preferred Shelf Number

QA76 .C54755 2004

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

119.

The art of assembly language

Author

Hyde, Randall.

Preferred Shelf Number

QA 76.73.A8 H97 2003

Format:

Availability

Beytepe Library~2

Available:
Copies:

120.

Understanding WMI scripting

Author

Lissoir, Alain.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781555582661

Format:

Availability

Online Library~1

Available:
Copies:

121.

Leveraging WMI scripting using Windows Management Instrumentation to solve Windows management problems

Author

Lissoir, Alain.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781555582999

Format:

Availability

Online Library~1

Available:
Copies:

122.

Perl programming for biologists

Author

Jamison, D. Curtis. John Wiley & Sons. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Full text available from Wiley InterScience
Authentication may be required
John Wiley http://dx.doi.org/10.1002/047172274X
MyiLibrary, Table of contents http://www.myilibrary.com?id=55702&ref=toc

Format:

Availability

Online Library~1

Available:
Copies:

123.

Perl programming for biologists

Author

Jamison, D. Curtis.

Preferred Shelf Number

QU 26.5 J32 2003

Format:

Availability

Health Sciences Library~1

Available:
Copies:

124.

Grammars and automata for string processing : from mathematics and computer science to biology, and back

Author

Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-

Preferred Shelf Number

QA76 .G6725 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

125.

Essential.NET : the common language runtime

Author

Box, Don, 1962- Sells, Chris.

Preferred Shelf Number

QA76.76.M52 B69 2003 V.1

Format:

Availability

Beytepe Library~1

Available:
Copies:

126.

The compiler design handbook : optimizations and machine code generation

Author

Srikant, Y. N. Shankar, P. (Priti)

Preferred Shelf Number

QA76.76 .C65 C35 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

127.

Foundations of object-oriented languages types and semantics

Author

Bruce, Kim B.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232

Format:

Availability

Online Library~1

Available:
Copies:

128.

Linux altında programlama

Author

Vardar, M. Ali

Preferred Shelf Number

QA76.9.K91 V291 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

129.

C♯.net web developer's guide

Author

Turtschi, Adrian.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781928994503

Format:

Availability

Online Library~1

Available:
Copies:

130.

ASP.net web developer's guide

Author

Turtschi, Adrian.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781928994510

Format:

Availability

Online Library~1

Available:
Copies:

131.

Internet and Wireless Security

Author

Temple, Robert, ed. Regnault, John, ed.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBBT004E

Format:

Availability

Online Library~1

Available:
Copies:

132.

Cover image for Information systems and technology for the noninformation systems executive : an integrated resource management guide for the 21st century

Information systems and technology for the noninformation systems executive : an integrated resource management guide for the 21st century

Author

Shim, Jae K.

Preferred Shelf Number

T58.64 .S53 2000

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781420025651
Taylor & Francis https://www.taylorfrancis.com/books/9780367801175
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

133.

Handbook of object technology

Author

Zamir, Saba, 1959-

Preferred Shelf Number

QA76.9 .O35 H35 1999

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781420049114
Taylor & Francis https://www.taylorfrancis.com/books/9780367802134
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

134.

Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java

Author

Buchanan, William.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780340700143

Format:

Availability

Online Library~1

Available:
Copies:

135.

Algebraic semantics of imperative programs

Author

Goguen, Joseph. Malcolm, Grant.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468

Format:

Availability

Online Library~1

Available:
Copies:

136.

Constraint-based grammar formalisms parsing and type inference for natural and computer languages

Author

Shieber, Stuart M.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267434

Format:

Availability

Online Library~1

Available:
Copies:

137.

Lazy functional languages abstract interpretation and compilation

Author

Burn, Geoffrey.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234

Format:

Availability

Online Library~1

Available:
Copies:

138.

Assembler yazılım teknikleri uygulamaları : el kitabı

Author

Küçükönder, Mehmet.

Preferred Shelf Number

QA 76.73.A8 K5634 1990

Format:

Availability

Beytepe Library~1

Available:
Copies:

139.

The computer comes of age the people, the hardware, and the software

Author

Moreau, René.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309

Format:

Availability

Online Library~1

Available:
Copies:

140.

A compiler generator

Author

McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.

Preferred Shelf Number

QA 76.5 M1874 1970

Format:

Availability

Beytepe Library~1

Available:
Copies:

141.

Cover image for LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology

LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology

Author

Levin, Michael I. McCarthy, John, 1927-2011. Massachusetts Institute of Technology. Computation Center. Massachusetts Institute of Technology. Research Laboratory of Electronics.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}