Showing
1 - 13
results of
13
for search '
Nunez, Manuel
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Nunez, Manuel
Showing
1 - 13
results of
13
for search '
Nunez, Manuel
'
, query time: 0.05s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
La lengua española, compañera de la nación dominicana Manuel Núñez.
by
Núñez, Manuel
Published 2005
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Save to List
Saved in:
Select result number 2
2
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings edited by Manuel Núñez, Matthias Güdemann.
Published 2015
Other Authors:
“…
Núñez, Manuel
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected P... edited by Steve Counsell, Manuel Núñez.
Published 2014
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro.
Published 2006
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings edited by David de Frutos-Escrig, Manuel Nunez.
Published 2004
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, Novemb... edited by Manuel Nunez, Paul Baker, Mercedes G. Merayo.
Published 2009
Other Authors:
“…
Nunez, Manuel
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Sele... edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff.
Published 2006
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Modern Approaches for Intelligent Information and Database Systems edited by Andrzej Sieminski, Adrianna Kozierkiewicz, Manuel Nunez, Quang Thuy Ha.
Published 2018
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński.
Published 2015
Other Authors:
“…
Núñez, Manuel
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński.
Published 2015
Other Authors:
“…
Núñez, Manuel
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 edited by Manuel Núnez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi, Fernando Rubio.
Published 2004
Other Authors:
“…
Núnez, Manuel
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 12
12
Computational collective intelligence : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Núñez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz, editors.
Published 2023
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select result number 13
13
Advances in computational collective intelligence : 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings Ngoc Thanh Nguyen, János Botzheim, László Gulyás, Manuel Nunez, Jan Treur, Gottfried Vossen, Adrianna Kozierkiewicz, editors.
Published 2023
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Electronic resources (E-books)
Computer logic
Software engineering
Programming languages (Electronic computers)
Artificial intelligence
Computational intelligence
Computer communication systems
Algorithms
Application software
Computer science
Computer system failures
Data mining
Education—Data processing
Information storage and retrieval
Computer programming
Computer simulation
Computers
Computers and civilization
Management information systems
Mathematical logic
National characteristics, Dominican
Operating systems (Computers)
Social aspects
Spanish language
Special purpose computers