Books on the topic 'School of Engineering and Computer Science'

Pozdniakov, Sergei N., and Valentina Dagienė, eds. Informatics in Schools. Fundamentals of Computer Science and Software Engineering. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02750-6.

Broy, Manfred. Programming and Mathematical Method: International Summer School. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992.

Zoltan, Horvath, Plasmeijer Rinus, and SpringerLink (Online service), eds. Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

1966-, Gibbons Jeremy, Hinze Ralf, Jeuring Johan 1965-, and SpringerLink (Online service), eds. Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007.

Assche, Frans Van. Re-engineering the Uptake of ICT in Schools. Cham: Springer Nature, 2015.

Fernandes, João M. Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Bakker, J. W. de 1939-, Roever, W.-P. de, 1943-, and Rozenberg Grzegorz, eds. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings. Berlin: Springer-Verlag, 1991.

1967-, Cassez Franck, ed. Modeling and verification of parallel processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Berlin: Springer, 2001.

Martellucci, S. Optoelectronics for Environmental Science: Proceedings of the 14th course of the International School of Quantum Electronics on Optoelectronics for Environmental Science, held September 3-12, 1989, in Erice, Italy. Boston, MA: Springer US, 1991.

ISSSE 2006 (2006 : Salerno, Italy), ISSSE 2007 (2007 : Salerno, Italy), and ISSSE 2008 (2008 : Salerno, Italy), eds. Software engineering: International summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures. Berlin: Springer, 2009.

Bernardo, Marco. Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

International Symposium on the Application of Computers and Operations Research in the Mineral Industries (28th 1999 Golden, Colorado). Proceedings, APCOM 99, computer applications in the minerals industries : 28th International Symposium, October 20-22, 1999, Colorado School of Mines, Golden, Colorado, USA. Edited by Dagdelen Kadri and Colorado School of Mines. Golden, CO: Colorado School of Mines, 1999.

service), SpringerLink (Online, ed. Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Summer School on Reasoning Web (6th 2010 Dresden, Germany). Reasoning Web: Semantic technologies for software engineering : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010 : tutorial lectures. Berlin: Springer, 2010.

Aiko, Pras, Sinderen, Marten J. van, 1958-, EUNICE Network, and International Federation for Information Processing., eds. Dependable and adaptable networks and services: 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007 : proceedings. Berlin: Springer, 2007.

University), International FAIM Conference (8th 1998 Portland State. Flexible automation and intelligent manufacturing, 1998: Proceedings of the Eighth International FAIM Conference, School of Engineering and Applied Science, Portland State University, Portland, Oregon, July 1-3, 1998. New York: Begell House, 1998.

Lämmel, Ralf. Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Sebastià, Sallent, and SpringerLink (Online service), eds. The Internet of the Future: 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

Michael, Luck, and European Coordinating Committee for Artificial Intelligence, eds. Multi-agent systems and applications: 9th ECCAI advanced course, ACAI 2001 and agent link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001 : selected tutorial papers. Berlin: Springer, 2001.

Bertoluzza, Silvia. Multiscale and Adaptivity: Modeling, Numerics and Applications: C.I.M.E. Summer School, Cetraro, Italy 2009

Editors: Giovanni Naldi, Giovanni Russo

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th 2004 Bertinoro, Italy). Formal methods for the design of real-time systems: International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures. Berlin: Springer, 2004.

Bernardo, Marco. Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Dietmar, Kröner, Ohlberger Mario, and Rohde Christian, eds. An introduction to recent developments in theory and numerics for conservation laws: Proceedings of the International School on Theory and Numerics and Conservation Laws, Freiburg/Littenweiler, October 20-24, 1997. Berlin: Springer, 1999.

Vittorio, Cortellessa, Pierantonio Alfonso, and SpringerLink (Online service), eds. Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Lucia, Andrea. Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Suzuki, Yasuhiro. Natural Computing and Beyond: Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings. Tokyo: Springer Japan, 2013.

Levine, David Asher. An accurate and dynamic computer graphics muscle model: Thesis presented to the faculty of the Graduate School of the University of Texas at Austin in partial fulfillment of the requirements for the degree of Master of Science in Engineering. [Austin, Tex.]: University of Texas at Austin, 1997.

Martin, Nordio, and SpringerLink (Online service), eds. Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

International Conference on Data Management (2nd 2009 Ghaziabad, India). Advances in computer science & engineering. Edited by Garg Poonam, Ranjan Jayanthi, Gupta Madan M, Chaudhari Narendra S, and Institute of Management Technology (Ghāziabād, India). New Delhi: Macmillan Publishers India, 2009.

Inc, Peterson's Guides. Engineering, science, and computer jobs. Princeton, N.J: Peterson's Guides, 1985.

Lee, Roger. Computer and Information Science. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008.

Central European Functional Programming School 4th Summer School Cefp 2011. Springer, 2012.

Guide to Graduate Engineering & Computer Science Programs in the USA - 2001 Edition. 6th ed. Education International, 2001.

Pozdniakov, Sergei N., and Valentina Dagienė. Informatics in Schools. Fundamentals of Computer Science and Software Engineering. Springer, 2018.

De Giusti, Armando, Guillermo Simari, and Patricia Pesado, eds. Computer Science & Technology Series. Editorial de la Universidad Nacional de La Plata (EDULP), 2013. http://dx.doi.org/10.35537/10915/58940.

Simari, Guillermo, Patricia Pesado, and José Paganini, eds. Computer Science and Technology Series. Editorial de la Universidad Nacional de La Plata (EDULP), 2010. http://dx.doi.org/10.35537/10915/18409.

Central European Functional Programming School Third Summer School Cefp 2009 Budapest Hungary May 2123 2009 And Komrno Slovakia May 2530 2009 Revised Selected Lectures. Springer, 2011.

Vene, Varmo, and Tarmo Uustalu. Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures. Springer London, Limited, 2005.

Feierherd, Guillermo Eugenio, Patricia Pesado, and Osvaldo Mario Spositto, eds. Computer Science & Technology Series. Editorial de la Universidad Nacional de La Plata (EDULP), 2015. http://dx.doi.org/10.35537/10915/48825.

Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers. Springer, 2019.

Horváth, Zoltán, Viktória Zsók, and Lehel Csató. Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers. Springer, 2015.

Horváth, Zoltán, Viktória Zsók, and Lehel Csató. Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers. Springer London, Limited, 2015.

(Editor), Varmo Vene, and Tarmo Uustalu (Editor), eds. Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures (Lecture Notes in Computer Science). Springer, 2005.

Generative And Transformational Techniques In Software Engineering Ii International Summer School Gttse 2007 Braga Portugal July 27 2007 Revised Papers. Springer, 2008.

Summary of Research 2001, Department of Electrical and Computer Engineering, Graduate School of Engineering and Applied Sciences. Storming Media, 2002.

David, Griffiths. Re-engineering the Uptake of ICT in Schools. Springer, 2016.

David, Griffiths. Re-engineering the Uptake of ICT in Schools. Cham: Springer, 2015.

Meyer, Bertrand, and Martin Nordio. Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures. Springer, 2012.

Meyer, Bertrand, and Martin Nordio. Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures. Springer London, Limited, 2012.

Bernardo, Marco, and Valerie Issarny. Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures. Springer, 2011.