Results for "Lecture notes in computer science. Tutorial."

Results for "Lecture notes in computer science. Tutorial." Showing 1 - 50 results of 65 Laminas_Feed_Writer 2 (https://getlaminas.org) https://libcat.library.tamu.edu/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Lecture+notes+in+computer+science.+Tutorial.%22&type=Series&lng=en 65 0 50 Lectures on concurrency and Petri nets : advances in Petri nets / Wed, 22 Apr 2026 23:02:46 +0000 https://libcat.library.tamu.edu/Record/in00003503346 https://libcat.library.tamu.edu/Record/in00003503346 eBook 2004 0 All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Fri, 11 Mar 2022 12:27:33 +0000 https://libcat.library.tamu.edu/Record/in00002345253 https://libcat.library.tamu.edu/Record/in00002345253 Clavel, Manuel, 1969- Software eBook 2007 Clavel, Manuel, 1969- 0 Human-centered visualization environments : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006 : revised lectures / Fri, 11 Mar 2022 10:36:32 +0000 https://libcat.library.tamu.edu/Record/in00002332854 https://libcat.library.tamu.edu/Record/in00002332854 Conference Proceeding Book 2007 0 Reasoning web : semantic technologies for the web of data : 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011 : tutorial lectures / Fri, 11 Mar 2022 08:24:42 +0000 https://libcat.library.tamu.edu/Record/in00002725166 https://libcat.library.tamu.edu/Record/in00002725166 Conference Proceeding eBook 2011 0 Advanced lectures on machine learning : ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003 [and] Tübingen, Germany, August 4-16, 2003 : revised lectures / Fri, 11 Mar 2022 07:34:49 +0000 https://libcat.library.tamu.edu/Record/in00002032008 https://libcat.library.tamu.edu/Record/in00002032008 Conference Proceeding eBook 2004 0 Generative and transformational techniques in software engineering II : international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / Fri, 11 Mar 2022 07:07:24 +0000 https://libcat.library.tamu.edu/Record/in00002450757 https://libcat.library.tamu.edu/Record/in00002450757 Conference Proceeding eBook 2008 0 Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures / Fri, 11 Mar 2022 06:45:33 +0000 https://libcat.library.tamu.edu/Record/in00002208338 https://libcat.library.tamu.edu/Record/in00002208338 Conference Proceeding Book 2006 0 Resource allocation in wireless networks : theory and algorithms / Fri, 11 Mar 2022 06:45:33 +0000 https://libcat.library.tamu.edu/Record/in00002208339 https://libcat.library.tamu.edu/Record/in00002208339 Stańczak, Sławomir Book 2006 Stańczak, Sławomir 0 Uncertain projective geometry : statistical reasoning for polyhedral object reconstruction / Fri, 11 Mar 2022 06:27:55 +0000 https://libcat.library.tamu.edu/Record/in00002117507 https://libcat.library.tamu.edu/Record/in00002117507 Heuel, Stephan eBook 2004 Heuel, Stephan 0 Probabilistic and statistical methods in cryptology : an introduction by selected topics / Fri, 11 Mar 2022 06:27:54 +0000 https://libcat.library.tamu.edu/Record/in00002117502 https://libcat.library.tamu.edu/Record/in00002117502 Neuenschwander, Daniel, 1963- eBook 2004 Neuenschwander, Daniel, 1963- 0 Primality testing in polynomial time : from randomized algorithms to "primes is in P" / Fri, 11 Mar 2022 06:17:14 +0000 https://libcat.library.tamu.edu/Record/in00002116597 https://libcat.library.tamu.edu/Record/in00002116597 Dietzfelbinger, Martin eBook 2004 Dietzfelbinger, Martin 0 Central European Functional Programming School : third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 : revised selected lectures / Fri, 11 Mar 2022 05:38:54 +0000 https://libcat.library.tamu.edu/Record/in00002683926 https://libcat.library.tamu.edu/Record/in00002683926 Conference Proceeding eBook 2010 0 Computational cardiology : modeling of anatomy, electrophysiology, and mechanics / Fri, 11 Mar 2022 05:38:24 +0000 https://libcat.library.tamu.edu/Record/in00004499093 https://libcat.library.tamu.edu/Record/in00004499093 Sachse, Frank B. Book 2004 Sachse, Frank B. 0 Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures / Fri, 11 Mar 2022 05:30:36 +0000 https://libcat.library.tamu.edu/Record/in00002070191 https://libcat.library.tamu.edu/Record/in00002070191 Conference Proceeding eBook 2005 0 Embedded systems design : the ARTIST roadmap for research and development / Fri, 11 Mar 2022 05:30:36 +0000 https://libcat.library.tamu.edu/Record/in00002070192 https://libcat.library.tamu.edu/Record/in00002070192 eBook 2005 0 Computational neuroscience : cortical dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003 : revised lectures / Fri, 11 Mar 2022 05:23:50 +0000 https://libcat.library.tamu.edu/Record/in00002020093 https://libcat.library.tamu.edu/Record/in00002020093 Conference Proceeding Book 2004 0 Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Fri, 11 Mar 2022 05:14:09 +0000 https://libcat.library.tamu.edu/Record/in00002201581 https://libcat.library.tamu.edu/Record/in00002201581 Conference Proceeding Book 2006 0 Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 : revised papers / Fri, 11 Mar 2022 05:14:09 +0000 https://libcat.library.tamu.edu/Record/in00002201582 https://libcat.library.tamu.edu/Record/in00002201582 Conference Proceeding Book 2006 0 Network analysis : methodological foundations / Fri, 11 Mar 2022 04:55:30 +0000 https://libcat.library.tamu.edu/Record/in00002065803 https://libcat.library.tamu.edu/Record/in00002065803 eBook 2005 0 Validation of stochastic systems : a guide to current research / Fri, 11 Mar 2022 04:19:53 +0000 https://libcat.library.tamu.edu/Record/in00002108596 https://libcat.library.tamu.edu/Record/in00002108596 eBook 2004 0 Validation of stochastic systems : a guide to current research / Fri, 11 Mar 2022 03:19:13 +0000 https://libcat.library.tamu.edu/Record/in00002011537 https://libcat.library.tamu.edu/Record/in00002011537 eBook 2004 0 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 / Fri, 11 Mar 2022 02:53:00 +0000 https://libcat.library.tamu.edu/Record/in00002050917 https://libcat.library.tamu.edu/Record/in00002050917 Conference Proceeding eBook 2004 0 Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures / Fri, 11 Mar 2022 02:45:58 +0000 https://libcat.library.tamu.edu/Record/in00002102011 https://libcat.library.tamu.edu/Record/in00002102011 Conference Proceeding eBook 2005 0 Nonlinear speech modeling and applications : advanced lectures and revised selected papers / Fri, 11 Mar 2022 02:28:45 +0000 https://libcat.library.tamu.edu/Record/in00002100814 https://libcat.library.tamu.edu/Record/in00002100814 Conference Proceeding eBook 2005 0 Computational cardiology : modeling of anatomy, electrophysiology, and mechanics / Fri, 11 Mar 2022 02:23:59 +0000 https://libcat.library.tamu.edu/Record/in00002007785 https://libcat.library.tamu.edu/Record/in00002007785 Sachse, Frank B. eBook 2004 Sachse, Frank B. 0 Primality testing in polynomial time : from randomized algorithms to "primes" is in P / Fri, 11 Mar 2022 02:23:59 +0000 https://libcat.library.tamu.edu/Record/in00002007789 https://libcat.library.tamu.edu/Record/in00002007789 Dietzfelbinger, Martin eBook 2004 Dietzfelbinger, Martin 0 Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures / Fri, 11 Mar 2022 01:38:11 +0000 https://libcat.library.tamu.edu/Record/in00002040916 https://libcat.library.tamu.edu/Record/in00002040916 Conference Proceeding eBook 2004 0 Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures / Fri, 11 Mar 2022 00:56:56 +0000 https://libcat.library.tamu.edu/Record/in00002095322 https://libcat.library.tamu.edu/Record/in00002095322 Conference Proceeding Book 2005 0 Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / Fri, 11 Mar 2022 00:40:05 +0000 https://libcat.library.tamu.edu/Record/in00002093496 https://libcat.library.tamu.edu/Record/in00002093496 Conference Proceeding eBook 2005 0 Probabilistic and statistical methods in cryptology : an introduction by selected topics / Thu, 10 Mar 2022 23:30:13 +0000 https://libcat.library.tamu.edu/Record/in00001996221 https://libcat.library.tamu.edu/Record/in00001996221 Neuenschwander, Daniel, 1963- eBook 2004 Neuenschwander, Daniel, 1963- 0 Uncertain projective geometry : statistical reasoning for polyhedral object reconstruction / Thu, 10 Mar 2022 23:30:13 +0000 https://libcat.library.tamu.edu/Record/in00001996223 https://libcat.library.tamu.edu/Record/in00001996223 Heuel, Stephan eBook 2004 Heuel, Stephan 0 Central European functional programming school : second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures / Thu, 10 Mar 2022 23:01:20 +0000 https://libcat.library.tamu.edu/Record/in00002475397 https://libcat.library.tamu.edu/Record/in00002475397 Conference Proceeding eBook 2008 0 Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 : revised papers / Thu, 10 Mar 2022 22:56:27 +0000 https://libcat.library.tamu.edu/Record/in00002474987 https://libcat.library.tamu.edu/Record/in00002474987 Conference Proceeding eBook 2006 0 Resource allocation in wireless networks : theory and algorithms / Thu, 10 Mar 2022 22:56:27 +0000 https://libcat.library.tamu.edu/Record/in00002474995 https://libcat.library.tamu.edu/Record/in00002474995 Stańczak, Sławomir eBook 2006 Stańczak, Sławomir 0 Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Thu, 10 Mar 2022 22:55:09 +0000 https://libcat.library.tamu.edu/Record/in00002474877 https://libcat.library.tamu.edu/Record/in00002474877 Conference Proceeding eBook 2006 0 Reasoning web : third international summer school 2007, Dresden, Germany, September 3-7, 2007 : tutorial lectures / Thu, 10 Mar 2022 22:38:13 +0000 https://libcat.library.tamu.edu/Record/in00002367338 https://libcat.library.tamu.edu/Record/in00002367338 Conference Proceeding eBook 2007 0 Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures / Thu, 10 Mar 2022 22:36:12 +0000 https://libcat.library.tamu.edu/Record/in00002085487 https://libcat.library.tamu.edu/Record/in00002085487 Conference Proceeding eBook 2005 0 Advanced studies in biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 : revised selected lectures and papers / Thu, 10 Mar 2022 22:36:12 +0000 https://libcat.library.tamu.edu/Record/in00002085488 https://libcat.library.tamu.edu/Record/in00002085488 Conference Proceeding eBook 2005 0 Reasoning web : 4th international summer school 2008, Venice, Italy, September 7-11, 2008 : tutorial lectures / Thu, 10 Mar 2022 22:30:46 +0000 https://libcat.library.tamu.edu/Record/in00002473032 https://libcat.library.tamu.edu/Record/in00002473032 Conference Proceeding eBook 2008 0 The common component modeling example : comparing software component models / Thu, 10 Mar 2022 22:28:57 +0000 https://libcat.library.tamu.edu/Record/in00002472897 https://libcat.library.tamu.edu/Record/in00002472897 eBook 2008 0 Dependability metrics : advanced lectures / Thu, 10 Mar 2022 22:26:17 +0000 https://libcat.library.tamu.edu/Record/in00002472706 https://libcat.library.tamu.edu/Record/in00002472706 eBook 2008 0 Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures / Thu, 10 Mar 2022 22:16:57 +0000 https://libcat.library.tamu.edu/Record/in00002471935 https://libcat.library.tamu.edu/Record/in00002471935 Conference Proceeding eBook 2005 0 Advanced studies in biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 : revised selected lectures and papers / Thu, 10 Mar 2022 22:16:29 +0000 https://libcat.library.tamu.edu/Record/in00002471909 https://libcat.library.tamu.edu/Record/in00002471909 Conference Proceeding eBook 2005 0 Network analysis : methodological foundations / Thu, 10 Mar 2022 22:12:21 +0000 https://libcat.library.tamu.edu/Record/in00002471761 https://libcat.library.tamu.edu/Record/in00002471761 eBook 2005 0 Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Thu, 10 Mar 2022 22:11:37 +0000 https://libcat.library.tamu.edu/Record/in00002367371 https://libcat.library.tamu.edu/Record/in00002367371 Conference Proceeding eBook 2007 0 Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures / Thu, 10 Mar 2022 22:09:00 +0000 https://libcat.library.tamu.edu/Record/in00002367355 https://libcat.library.tamu.edu/Record/in00002367355 Conference Proceeding eBook 2007 0 Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Thu, 10 Mar 2022 21:57:11 +0000 https://libcat.library.tamu.edu/Record/in00002172212 https://libcat.library.tamu.edu/Record/in00002172212 Conference Proceeding Book 2006 0 Software engineering education in the modern age : software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005 : revised lectures / Thu, 10 Mar 2022 21:53:24 +0000 https://libcat.library.tamu.edu/Record/in00002470110 https://libcat.library.tamu.edu/Record/in00002470110 Conference Proceeding eBook 2006 0 Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures / Thu, 10 Mar 2022 21:52:34 +0000 https://libcat.library.tamu.edu/Record/in00002470077 https://libcat.library.tamu.edu/Record/in00002470077 Conference Proceeding eBook 2006 0 Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures / Thu, 10 Mar 2022 21:51:20 +0000 https://libcat.library.tamu.edu/Record/in00002458077 https://libcat.library.tamu.edu/Record/in00002458077 Conference Proceeding eBook 2005 0