CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 37 results. Subscribe to this search

|
Principles of cyber-physical systems / Rajeev Alur.

by Alur, Rajeev, 1966-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : MIT, 2015Availability: Items available for loan: [Call number: C D2 A471] (1).
Algorithms and data structures / ed. Frank Dehne, Andrew Rau-Chaplin.

by WADS ’97 (5º : 1997 : Halifax, Canada) | Dehne, Frank, 1960- [ed.,] | Rau-Chaplin, Andrew [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1272 ] (1).
CONCUR - 1994 : Concurrency theory / ed. Bengt Jonsson, Joachim Parrow.

by International Conference on Concurrency Theory (5º : 1994 : Uppsala, Sweden) | Jonsson, Bengt [ed.] | Parrow, Joachim [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1994Availability: Items available for loan: [Call number: C LNCS v. 836 ] (1).
CONCUR - 1996 : Concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings / ed. Ugo Montanari, Vladimiro Sassone.

by International Conference on Concurrence Theory (7º : 1996 : Pisa, Italy) | Montanari, Ugo [ed.] | Sassone, Vladimiro [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1119 ] (1).
Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings / ed. Luc Bougé, Pierre Fraigniaud.

by International EURO-PAR Conference (2º : 1996 : Lyon, France) | Bougé, Luc [ed.] | Fraigniaud, Pierre [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1124 pte. II] (3).
Algorithms and computation / edieted by John Staples, Peter Eades, Alistair Moffat.

by ISAAC (Symposium) (6º : 1995 : Cairns, Australia) | Staples, John [ed.] | Eades, Peter [ed.] | Moffat, Alistair [ed.].

Material type: book Book Publisher: Berlin : Springer, 1995Availability: Items available for loan: [Call number: C LNCS v. 1004 ] (1).
Introduction to the theory of complexity / Daniel Pierre Bovet, Pierluigi Crescenzi.

by Bovet, Daniel Pierre | Crescenzi, Pierluigi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Prentice-Hall, 1994Availability: Items available for loan: [Call number: C F1.3 B783 ] (2).
Automata and computability. Dexter C. Kozen.

by Kozen, Dexter C, 1951-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1997Availability: Items available for loan: [Call number: C F4 K88 ] (1).
Evolution of parallel cellular machines : the cellular programming approach.

by Sipper, Moshe.

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1194 ] (1).
Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers / edited by Ralf Hofestädt Lengauer, Markus Löffler Schomburg.

by German Conference on Bioinformatics (1996 : Leipzig, Germany) | Hofestädt, Ralf [ed.] | Lengauer [ed.] | Löffler, Markus [ed.] | Schomburg [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1278 ] (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).
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).
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).
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).
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).
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).
Hybrid and real-time systems / edited by Oded Maler.

by HART '97 (1997 : Grenoble, France) | Maler, Oded [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1201 ] (1).
Applied parallel computing : industrial computation and optimization / ed. Jerzy Wasniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen.

by International Workshop on Applied Parallel Computing in Industrial Problems and Optimization (3º : 1996 : Lyngby, Denmark) | Wasniewski, Jerzy, 1931- [ed.,] | Dongarra, Jack [ed.] | Madsen, Kaj [ed.] | Olesen, Dorte [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1184 ] (1).
Foundations of software technology and theoretical computer science / edited Vijay Chandru, V. Vinay.

by Conference on Foundations of Software Technology and Theoretical Computer Science (16 : 1996 : Hyderabad, India) | Chandru, Vijay, 1953- [ed.,] | Vinay, V [ed.].

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

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