Книги з теми "Computer science. Systems software. Programming languages (Electronic computers)"

Noble, James, and Johnson Ralph E. Transactions on pattern languages of Programming I. Berlin: Springer, 2009.

Ahmed, Amal. Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Cham: Springer Nature, 2018.

1968-, Shao Zhong, ed. Programming languages and systems: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings. Berlin: Springer, 2007.

Symposium on Empirical Foundations of Information and Software Science (4th 1986 Atlanta, Ga.). Empirical foundations of information and software science IV: Empirical methods of evaluation of man-machine interfaces. New York: Plenum Press, 1987.

Noble, James. Transactions on Pattern Languages of Programming III. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Ueda, Kazunori. Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Steve, Parker. Shell scripting: Expert recipes for Linux, Bash, and more. Indianapolis, Indiana: John Wiley & Sons, 2011.

Yuan-Shum, Dai, and Poh Kim-Leng, eds. Computing systems reliability: Models and analysis. New York: Kluwer Academic/Plenum Publishers, 2004.

Veríssimo, Paulo. Distributed systems for system architects. Boston: Kluwer Academic, 2001.

1963-, Rodrigues Luís, ed. Distributed systems for system architects. Boston: Kluwer Academic, 2001.

Shaul, Israel Ben. A paradigm for decentralized process modeling. Boston: Kluwer Academic Publishers, 1995.

ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution (1994 Bologna, Italy). Object-based models and languages for concurrent systems: ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings. Berlin: Springer, 1995.

LADS 2009 (2009 Turin, Italy). Languages, methodologies, and development tools for multi-agent systems: Second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers. Berlin: Springer, 2010.

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy). Formal methods for quantitative aspects of programming languages: 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures. Berlin: Springer, 2010.

David, Hutchison. Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

SLE 2009 (2009 Denver, Colo.). Software language engineering: Second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers. Berlin: Springer, 2010.

service), SpringerLink (Online, ed. Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009.

Yoeli, Michael. Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Hoboken, N.J: John Wiley & Sons, 2008.

Michael, Rowley, ed. Understanding SCA (Service Component Architecture). Upper Saddle River, NJ: Addison-Wesley Professional, 2009.

Park, James J. Network and Parallel Computing: 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Théodore, Papatheodorou, Spirakis, P. G. (Paul G.), 1955-, and SpringerLink (Online service), eds. Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

RR 2010 (2010 Bressanone/Brixen, Italy). Web reasoning and rule systems: Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010 : proceedings. Berlin: Springer, 2010.

Grigore, Roşu, and SpringerLink (Online service), eds. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Cugini, John V. Programming languages for Knowledge-based systems. Washington, D.C: National Bureau of Standards, 1987.

Cugini, John V. Programming languages for knowledge based systems. Gaithersburg, MD: U.S Dept of Commerce, National Bureau of Standards, 1987.

Marcotty, Michael. The world of programming languages. New York: Springer-Verlag, 1987.

de, Macedo Mourelle Luiza, ed. Implementation of term rewriting-based programming languages. New York: Nova Science Publishers, 2003.

Mooly, Sagiv, ed. Programming languages and systems: 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings. Berlin: Springer, 2005.

Schmidt, David A., 1953 May 10- and ETAPS 2004 (2004 : Barcelona, Spain), eds. Programming languages and systems: 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings. Berlin: Springer, 2004.

Object-oriented, Programming Systems Languages and Applications Conference. Object-oriented programming: Systems, languages and applications : OOPSLA '89 conference proceedings. New Orleans: ACM Press, 1989.

Object-oriented, Programming Systems Languages and Applications Conference. OOPSLA '91, object-oriented programming systems, languages, and applications : conference proceedings. New York: ACM Press, 1991.

Object-oriented, Programming Systems Languages and Applications Conference. OOPSLA '87: Object-oriented programming systems, languages, and applications : conference proceedings. New York: ACM Press, 1987.

Jifeng, He. Provably correct systems: Modelling of communication languages and design of optimized compilers. London: McGraw-Hill, 1995.

Nisan, Noam. The elements of computing systems: Building a modern computer from first principles. Cambridge, MA: MIT Press, 2004.

Shimon, Schocken, ed. The elements of computing systems: Building a modern computer from first principles. Cambridge, Ma: MIT Press, 2005.

Object-oriented Programming Systems, Languages, and Applications. Conference. OOPSLA '92: Conference on object-oriented programming systems, languages, and applications : conference proceedings. New York: ACM Press, 1992.

European Symposium on Programming (7th 1998 Lisbon, Portugal). Programming languages and systems: 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings. Berlin: Springer, 1998.

European, Symposium on Programming (7th 1998 Lisbon Portugal). Programming languages and systems: 7th European Symposium on Programming, ESOP'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings. Berlin: Springer, 1998.

Varela, Carlos A. Programming distributed computing systems: A foundational approach. Cambridge, MA: The MIT Press, 2013.

1950-, Degano Pierpaolo, and ETAPS 2003 (2003 : Warsaw, Poland), eds. Programming languages and systems: 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. New York: Springer, 2003.

D, Le Métayer, and ETAPS 2002 (2002 : Grenoble, France), eds. Programming languages and systems: 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings. New York: Springer, 2002.

Peter, Sestoft, and ETAPS 2006 (2006 : Vienna, Austria), eds. Programming languages and systems: 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings. Berlin: Springer, 2006.

France) European Symposium on Programming (23rd 2014 Grenoble. Programming languages and systems: 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings. Heidelberg: Springer, 2014.

European Symposium on Programming (10th 2001 Genova, Italy). Programming languages and systems: 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings. New York: Springer, 2001.

Ueda, Kazunori. Programming Languages and Systems. Springer, 2011.

Transactions On Pattern Languages Of Programming. Springer, 2011.

Automata Languages and Programming Lecture Notes in Computer Science Theoretical Computer Sci. Springer, 2012.

Hu, Zhenjiang. Programming Languages and Systems. Springer, 2010.

Empirical Foundations of Information and Software Science IV. Springer, 2012.

Agrawal, Jagdish C., and Pranas Zunde. Empirical Foundations of Information and Software Science IV: Empirical Methods of Evaluation of Man-Machine Interfaces (Language of Science) (Language of Science). Springer, 1988.