Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 300-320 di 3511

testo

Fundamentals of computation theory

14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003 : proceedings

  • International symposium on fundamentals of computation theory 14. Malmö, Sweden 2003
testo

Databases, information systems, and peer-to-peer computing

second international workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004 : revised selected papers

  • International workshop on databases, information systems, and peer-to-peer computing 2. Toronto, Canada 2004
testo

A computer architecture workbench

academisch proefschrift

  • Pimentel, Andy D.
testo

Computational science - ICCS 2005

5th international conference,Atlanta, GA, USA, May 22-25, 2005 : proceedings

  • International conference on computational science 5. Atlanta, GA, USA 2005
testo

Networking 2005

networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications systems : 4th international IFIP-TC6 networking conference, Waterloo, Canada, May 2005 : proceedings

  • International IFIP-TC6 networking conference 4. Waterloo, Canada 2005
testo

Queueing networks and Markov chains

modeling and performance evaluation with computer science applications

testo

Advanced computer architecture

parallelism, scalability, programmability

  • Hwang, Kai
testo

Intelligent information technology

7th international conference on information technology, CIT 2004, Hyderabad, India, December 20-23, 2004 : proceedings

  • International conference on information technology 7. Hyderabad, India 2004
testo

Distributed computing-IWDC 2004

6th international workshop, Kolkata, India, December 27-30, 2004 : proceedings

  • International workshop on distributed computing 6. Kolkata, India 2004
testo

Objects, agents, and features

international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers

  • International seminar on objects, agents, and features Dagstuhl Castle, Germany 2003
testo

Formal techniques for networked and distributed systems, FORTE 2004

24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

  • International conference on formal techniques for networked and distributed systems 24. Madrid 2004
testo

Ubiquitous mobile information and collaboration systems

second CAiSE workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004 : revised selected papers

  • Workshop on ubiquitous mobile information and collaboration systems 2. Riga, Lettonia 2004
testo

Human choise and computers

proceedings of the IFIP conference on human choise and computers, Vienna, April 1-5, 1974

  • IFIP conference on human choise and computers 1st Vienna 1974
testo

Hybrid systems

computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

  • International workshop on hybrid systems 7. Philadelphia, PA, USA 2004
testo

Isabelle/HOL

a proof assistant for higher-order logic

  • Nipkow, Tobias
testo

Quality of future internet services

COST action 263 final report

testo

www.type

  • Pring, Roger

Risultati 300-320 di 3511

Seguici su Twitter

I Nostri Social