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

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

Cardarelli, François. Scientific Unit Conversion: A Practical Guide to Metrication. 1997.

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.

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.

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.

Harrison, Roger G., Paul W. Todd, Scott R. Rudge, and Demetri P. Petrides. Bioseparations Science and Engineering. Oxford University Press, 2015. http://dx.doi.org/10.1093/oso/9780195391817.001.0001.

(Editor), Ralf Lämmel, João Saraiva (Editor), and Joost Visser (Editor), eds. Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers (Lecture Notes in Computer Science). Springer, 2006.

(Editor), Ana Cavalcanti, Augusto Sampaio (Editor), and Jim Woodcock (Editor), eds. Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... Lectures (Lecture Notes in Computer Science). Springer, 2006.

Fermi', International School of Physics 'Enrico, E. I. Shakhnovich, and G. Tiana. Protein Folding, Evolution and Design: Proceedings of the International School of Physics "Enrico Fermi" : Course Cxlv : Varenna on Lake Como, Villa Monastero, ... School of Physics ""Enrico Fermi"", 145). Ios Pr Inc, 2001.

Barbosa, Luis Soares, Alberto Pardo, Jorge Sousa Pinto, and Ana Bove. Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers. Springer London, Limited, 2009.

Gibbons, Jeremy. Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures. Springer, 2012.

Bakker, J. W. De, and W. P. De Roever. Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 (Lecture Notes in Computer Science). Springer, 1991.

J. W. De Bakker (Editor), W. P. De Roever (Editor), and G. Rozenberg (Editor), eds. Foundations of Object-Oriented Languages: Rex School/Workshop, Noordwijkerhout, the Netherlands, May 28 - June 1, 1990 (Lecture Notes in Computer Science). Springer, 1991.

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

Gibbons, Jeremy. Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures. Springer, 2012.

Quarteroni, Alfio, Silvia Bertoluzza, and Ricardo H. Nochetto. Multiscale and Adaptivity : Modeling, Numerics and Applications: C.I.M.E. Summer School, Cetraro, Italy 2009. Springer, 2012.

Saraiva, João, Joost Visser, and Ralf Lämmel. Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, ... Springer, 2013.

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.