Search Results for Programming Languages.

301.

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:

302.

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:

303.

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:

304.

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:

305.

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:

306.

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:

307.

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:

308.

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:

309.

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:

310.

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:

311.

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:

312.

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:

313.

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:

314.

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:

315.

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:

316.

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Author

Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334634.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

317.

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:

318.

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:

319.

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:

320.

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:

321.

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:

322.

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:

323.

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:

324.

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:

325.

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:

326.

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:

327.

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:

328.

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:

329.

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:

330.

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:

331.

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:

332.

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:

333.

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:

334.

Learning C# by Programming Games

Author

Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334239.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

335.

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:

336.

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:

337.

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:

338.

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:

339.

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:

340.

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:

341.

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:

342.

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:

343.

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:

344.

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:

345.

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:

346.

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:

347.

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:

348.

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:

349.

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:

350.

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:

351.

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:

352.

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:

353.

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:

354.

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:

355.

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:

356.

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:

357.

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:

358.

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:

359.

Her Yönüyle C #

Author

Algan, Sefer.

Preferred Shelf Number

QA76.73.C154 A44 2012

Format:

Availability

Beytepe Library~3

Available:
Copies:

360.

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:

361.

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:

362.

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:

363.

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:

364.

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:

365.

Programming language concepts

Author

Sestoft, Peter.

Preferred Shelf Number

QA76.7 S478 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

366.

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:

367.

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:

368.

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:

369.

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:

370.

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:

371.

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:

372.

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:

373.

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:

374.

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:

375.

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:

376.

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:

377.

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:

378.

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:

379.

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:

380.

Her Yönüyle C #

Author

Algan, Sefer.

Preferred Shelf Number

QA76.73.C154 A44 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

381.

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:

382.

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:

383.

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:

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.

The art of assembly language

Author

Hyde, Randall.

Preferred Shelf Number

QA 76.73.A8 H97 2003

Format:

Availability

Beytepe Library~2

Available:
Copies:

390.

Perl programming for biologists

Author

Jamison, D. Curtis.

Preferred Shelf Number

QU 26.5 J32 2003

Format:

Availability

Health Sciences Library~1

Available:
Copies:

391.

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:

392.

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:

393.

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:

394.

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:

395.

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:

396.

Linux altında programlama

Author

Vardar, M. Ali

Preferred Shelf Number

QA76.9.K91 V291 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

397.

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:

398.

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:

399.

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:

400.

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:

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}