Книги з теми "Unit: School of Engineering and Computer Science"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 книг для дослідження на тему "Unit: School of Engineering and Computer Science".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.
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
. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. Знайти повний текст джерела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.
Повний текст джерела