CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 116 results. Subscribe to this search

|
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / ed. Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa.

by Mycielski, Jan, 1932- [ed.,] | Rozenberg, Grzegorz, 1942- [ed.] | Salomaa, Arto, 1934- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1261 ] (1).
Parallel computing technologies / ed. Victor Malyshkin.

by International Conference on Parallel Computing Technologies (4º : 1997 : Yaroslavl, Russia) | Malyshkin, Victor [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1277 ] (1).
Automata implementation / ed. Darrell Raymond, Derick Wood, Sheng Yu.

by International Workshop on Implementing Automata (1º : 1996 : London, Ontario) | Raymond, Darrell Ronald [ed.] | Wood, Derick, 1940- [ed.,] | Yu, Sheng [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1260 ] (1).
Computing and combinatorics / ed. Tao Jiang, D. T. Lee.

by COCOON (Conference) (3º : 1997 : Shangai, China) | Jiang, Tao, 1963- [ed.,] | Lee, Der-Tsai [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1276 ] (1).
Evolvable systems : from biology to hardware / edited by Tetsuya Higuchi, Masaya Iwata, Weixin Liu.

by International Conference on Evolvable Systems (1º : 1996 : Tsukuba, Japan) | Higuchi, Tetsuya [ed.] | Iwata, Masaya [ed.] | Liu, Weixin [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1259 ] (1).
Automata, languages and programming / ed. Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela.

by International Colloquium on Automata, Languages and Programming (24º : 1997 : Bologna) | Degano, Pierpaolo [ed.] | Gorrieri, Roberto [ed.] | Marchetti-Spaccamela, Alberto [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1256 ] (1).
Application and theory of Petri Nets 1997 : 18th International Conference, ICAPTN'97 Toulouse, France, June 23-27, 1997 proceedings / ed. Pierre Azéma, Gianfranco Balbo.

by International Conference on Application and Theory of Petri Nets, ICATPN (18º : 1997 : Toulouse, France) | Azéma, Pierre [ed.] | Balbo, Gianfranco [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1248 ] (1).
Intelligence in services and networks : technology for cooperative competition / ed. Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed.

by International Conference on Intelligence in Services and Networks (4º : 1997 : Cernobbio, Italy) | Mullery, Al, 1937- [ed.,] | Besson, Michel [ed.] | Campolargo, Mario [ed.] | Gobbi, Roberta [ed.] | Reed, Rick [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1238 ] (1).
CONCUR -1997 : Concurrency theory / ed. Antoni Mazurkiewiczs, Józef Winkowski.

by International Conference on Concurrency Theory (8º : 1997 : Warsaw, Poland) | Mazurkiewiczs, Antoni [ed.] | Winkowski, Józef, 1934- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1243 ] (1).
Biological and artificial computation : from neuroscience to technology / ed. José Mira, Roberto Moreno-Díaz, Joan Cabestany.

by International Work-Conference on Artificial and Natural Neural Networks (1997 : Lanzarote, Canary Islands, Spain) | Mira, José [ed.] | Moreno-Díaz, Roberto [ed.] | Cabestany, Joan [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1240 ] (1).
Languages and compilers for parallel computing / ed. David Sehr, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua.

by LCPC (Workshop) (9º : 1996 : San Jose, California) | Sehr, David [ed.] | Banerjee, Utpal, 1942- [ed.] | Gelernter, David [ed.] | Nicolau, Alex [ed.] | Padua, David [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1239 ] (1).
Software configuration management / ed. Reidar Conradi.

by ICSE '97 SCM-7 Workshop (1997 : Boston) | Conradi, Reidar [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1235 ] (1).
High-performance computing and networking / ed. Bob Hertzberger, Peter Sloot.

by International Conference and Exhibition on High-performance Computing and Networking, HPCN (1997 : Vienna) | Hertzberger, Bob, 1941- [ed.] | Sloot, Peter, 1956- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1225 ] (1).
Computational intelligence : theory and applications / ed. Bernd Reusch.

by Dortmunder Fuzzy-Tage (5º : 1997 : Dortmund, Germany) | Reusch, Bernd [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1226 ] (1).
Algorithms and complexity / ed. Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Battista.

by Italian Conference on Algorithms and Complexity (3º : 1997 : Rome, Italy) | Bongiovanni, Giancarlo [ed.] | Bovet, Daniel Pierre [ed.] | Di Battista, Giuseppe [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1203 ] (1).
ZUM'97 : the Z formal specification notation / edited by Jonathan P. Bowen, Michael G. Hinchey, David Till.

by International Conference of the Z User (10º : 1997 : Reading, UK) | Bowen, Jonathan Peter, 1956- [ed.] | Hinchey, Michael Gerad, 1969- [ed.] | Till, David [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1212 ] (1).
Vector and parallel processig - VECPAR '96 / ed. José M. L. M. Palma, Jack Dongarra.

by International Conference on Vector and Parallel Processing-Systems and Applications (2º : 1996 : Porto, Portugal) | Palma, José M. L. M [ed.] | Dongarra, Jack [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1215 ] (1).
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / ed. Philippe Groote, J. Roger Hindley.

by International Conference on Typed Lambda Calculi and Applications (3º : 1997 : Nancy, France) | Groote, Philippe [ed.] | Hindley, James Roger, 1939- [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1210 ] (1).
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / edited by Michel Bidoit, Max Dauchet.

by International Joint Conference on Theory and Practice of Software Development (1997 : Lille, France) | Bidoit, Michel, 1957- [ed.,] | Dauchet, Max, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1214 ] (1).
Evolutionary programming VI : 6th international conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997 : proceedings / ed. Peter J. Angeline, Robert G. Reynolds, John R. McDonnell, Russ Eberhart.

by Angeline, Peter J [ed.] | Reynolds, Robert G [ed.] | McDonnell, John R [ed.] | Eberhart, Russ [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1213 ] (1).

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com