Search Results for Programming Languages.

301.

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:

302.

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:

303.

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:

304.

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:

305.

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:

306.

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:

307.

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:

308.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Author

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334034.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

309.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

310.

Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(334041.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

311.

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:

312.

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:

313.

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:

314.

Cover image for Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Author

Rajopadhye, Sanjay. editor. Mills Strout, Michelle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334104.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

315.

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

Author

Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334109.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

316.

Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Author

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

317.

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

Author

Jörges, Sven. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334129.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

318.

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:

319.

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:

320.

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:

321.

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:

322.

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:

323.

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:

324.

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:

325.

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:

326.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Author

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334743.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

327.

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:

328.

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:

329.

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:

330.

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:

331.

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:

332.

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:

333.

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:

334.

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:

335.

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:

336.

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:

337.

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:

338.

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:

339.

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:

340.

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:

341.

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:

342.

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:

343.

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:

344.

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:

345.

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:

346.

Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Author

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334651.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

347.

Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Author

Liu, Shaoying. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334772.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

348.

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:

349.

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:

350.

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:

351.

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:

352.

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:

353.

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:

354.

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:

355.

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:

356.

Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Author

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Preferred Shelf Number

ONLINE(335120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

357.

Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Author

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335125.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

358.

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:

359.

Programming language concepts

Author

Sestoft, Peter.

Preferred Shelf Number

QA76.7 S478 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

360.

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:

361.

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:

362.

Undocumented secrets of MATLAB-Java programming

Author

Altman, Yair M.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

363.

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:

364.

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:

365.

Her Yönüyle C #

Author

Algan, Sefer.

Preferred Shelf Number

QA76.73.C154 A44 2012

Format:

Availability

Beytepe Library~3

Available:
Copies:

366.

Fundamentals of multicore software development

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

367.

Modeling and simulation in ecotoxicology with applications in MATLAB and Simulink

Author

Dixon, Kenneth R.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

368.

Intelligent systems for engineers and scientists

Author

Hopgood, Adrian A.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

369.

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:

370.

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:

371.

Oracle embedded programming and application development

Author

Lakshman, Bulusu.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

372.

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:

373.

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:

374.

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:

375.

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal. Seda, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

376.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

377.

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:

378.

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:

379.

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:

380.

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:

381.

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:

382.

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:

383.

Her Yönüyle C #

Author

Algan, Sefer.

Preferred Shelf Number

QA76.73.C154 A44 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

384.

Programming language fundamentals by example

Author

Stevenson, D. E.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

385.

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:

386.

Programming language pragmatics

Author

Scott, Michael Lee.

Preferred Shelf Number

QA76.7 .S38 2006

Format:

Availability

Beytepe Library~2

Available:
Copies:

387.

JAL ile PIC programlama

Author

Ayyıldız, Serkan.

Preferred Shelf Number

QA76.73 A99 2006

Format:

Availability

Beytepe Library~1

Available:
Copies:

388.

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:

389.

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:

390.

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:

391.

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

Author

Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

392.

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:

393.

The art of assembly language

Author

Hyde, Randall.

Preferred Shelf Number

QA 76.73.A8 H97 2003

Format:

Availability

Beytepe Library~2

Available:
Copies:

394.

Perl programming for biologists

Author

Jamison, D. Curtis.

Preferred Shelf Number

QU 26.5 J32 2003

Format:

Availability

Health Sciences Library~1

Available:
Copies:

395.

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:

396.

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:

397.

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:

398.

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:

399.

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:

400.

Linux altında programlama

Author

Vardar, M. Ali

Preferred Shelf Number

QA76.9.K91 V291 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

401.

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:

402.

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:

403.

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:

404.

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:

405.

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:

406.

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:

407.

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:

408.

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}