खोज परिणाम - lecture note in computational science and engineering

241

Tools and Algorithms for the Construction and Analysis of Systems

में प्रकाशित Lecture Notes in Computer Science (2024)

विषय: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory...”
पूर्ण पाठ प्राप्त करें

Livro

242

लोड हो रहा है...

Automated Deduction – CADE 28

में प्रकाशित Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence (2021)

विषय: “...Computer Science Logic and Foundations of Programming...”
पूर्ण पाठ प्राप्त करें

Livro

243

लोड हो रहा है...

Programming Languages and Systems

में प्रकाशित Lecture Notes in Computer Science (2023)

विषय: “...Computer Science...”
पूर्ण पाठ प्राप्त करें

Livro

244

लोड हो रहा है...

Computer aided systems theory - EUROCAST 2007 11th International Conference on Computer Aided...

द्वारा International Conference on Computer Aided Systems Theory, Moreno Díaz, Roberto., Pichler, Franz., Quesada Arencibia, Alexis.
प्रकाशित 2007

“...Lecture notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

245

लोड हो रहा है...

Model and data engineering First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings /

द्वारा MEDI 2011 (Conferência), Bellatreche, Ladjel., Pinto, Filipe Mota.
प्रकाशित 2011

“...Lectures notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

246

लोड हो रहा है...

Web engineering 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 : proceedings /

द्वारा ICWE 2011 (Conferência), Auer, Sören., Diaz, Oscar., Papadopoulos, George A.
प्रकाशित 2011

“...Lectures notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

247

लोड हो रहा है...

Web engineering 7th international conference, ICWE 2007, Como, Italy, July 16-20, 2007 : proceedings /

द्वारा ICWE 2007, Baresi, Luciano., Fraternali, Piero., Houben, Geert-Jan.
प्रकाशित 2007

“...Lecture notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

248

लोड हो रहा है...

Dependable and historic computing essays dedicated to Brian Randell on the occasion of his 75th birthday /

द्वारा Jones, Cliff B., Lloyd, John.
प्रकाशित 2011

“...Lectures notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

249

लोड हो रहा है...

Universal access in human-computer interaction 4th International Conference on Universal Access...

द्वारा International Conference on Universal Access in Human-Computer Interaction, Stephanidis, Constantine.
प्रकाशित 2007

“...Lecture notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

250

लोड हो रहा है...

Discovery science 8th International Conference, DS 2005, Singapore, October 8-11, 2005: proceedings /

द्वारा DS 2005, Hoffmann, Achim, Motoda, Hiroshi, Scheffer, Tobias
प्रकाशित 2005

“...Lecture notes in artificial intelligence...”
पूर्ण पाठ प्राप्त करें

Livro

251

लोड हो रहा है...

Numerical analysis of multiscale computations proceedings of a winter workshop at the Banff International Research Station 2009 /

द्वारा Engquist, Björn., Runborg, Olof., Tsai, Yen-Hsi R.
प्रकाशित 2012

“...Lecture notes in computational science and engineering,...”
पूर्ण पाठ प्राप्त करें

Livro

252

लोड हो रहा है...

Foundations on natural and artificial computation 4th International Work-conference...

द्वारा IWINAC 2011, Ferrández, José Manuel.
प्रकाशित 2011

“...Lectures notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

253

लोड हो रहा है...

Engineering secure software and systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings /

द्वारा ESSoS 2011 (Simpósio), Erlingsson, Úlfar., Wieringa, Roel., Zannone, Nicola.
प्रकाशित 2011

“...Lectures notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

254

लोड हो रहा है...

Search based software engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings /

द्वारा SSBSE 2011 (Simpósio), Cohen, Myra B., O Cinneide, Mel.
प्रकाशित 2011

“...Lectures notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

255

लोड हो रहा है...

Software engineering for resilient systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings /

द्वारा SERENE 2011 (Workshop), Troubitsyna, Elena
प्रकाशित 2011

“...Lectures notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

256

लोड हो रहा है...

International symposium on fundamentals of software engineering international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings /

द्वारा FSEN 2007, Arbab, Farhad., Sirjani, Marjan.
प्रकाशित 2007

“...Lecture notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

257

लोड हो रहा है...

Web engineering 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26 2009 : proceedings /

द्वारा ICWE 2009, Gaedke, Martin., Grossniklaus, Michael., Díaz, Oscar.
प्रकाशित 2009

“...Lecture notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

258

लोड हो रहा है...

Engineering secure software and systems First International Symposium, ESSoS 2009 Leuven, Belgium, February 4-6, 2009 : proceedings /

द्वारा ESSoS 2009 (Simpósio), Massacci, Fabio., Redwine, Samuel T., Zannone, Nicola.
प्रकाशित 2009

“...Lecture notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

259

लोड हो रहा है...

Software engineering for resilient systems fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, proceedings /

द्वारा SERENE (Workshop), Avgeriou, Paris.
प्रकाशित 2012

“...Lecture notes in computer science...”
पूर्ण पाठ प्राप्त करें

Livro

260

लोड हो रहा है...

Supercomputing Frontiers

में प्रकाशित Lecture Notes in Computer Science (2019)

विषय: “...Computer science...”
पूर्ण पाठ प्राप्त करें

Livro

संकीर्ण खोज