Your search returned 2020 results.

Results
	941.	Formal Modeling and Analysis of Timed Systems (vol. # 4202) [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings / edited by Eugene Asarin, Patricia Bouyer. by FORMATS 2006 (2006 : Paris, France) Asarin, Eugene Bouyer, Patricia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4202 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	942.	Formal properties of finite automata and applications : LITP spring school on theoretical computer science, Ramatuelle, France, May 1988, proceedings / edited by J. E. Pin by Pin, Jean Eric Series: Lecture notes in computer science ; v.386 Publication details: Berlin : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.5.S4F67[00008035405]. Place hold
	943.	Formal techniques for distributed systems [electronic resource] : Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / edited by John Hatcliff, Elena Zucca. by International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands) Hatcliff, John Zucca, Elena SpringerLink (Online service) Series: Lecture notes in computer science ; 6117 Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	944.	Formal techniques for distributed systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter. by International Conference on Formal Methods for Open Object-Based Distributed Systems (11th : 2009 : Lisbon, Portugal) Lee, David Lopes, Antonia Poetzsch-Heffter, Arnd SpringerLink (Online service) Series: Lecture notes in computer science ; 5522 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	945.	Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / edited by Elie Najm, Veronique, Donzeau-Gouge,Jean-Francois Pradat-Peyre. by FORTE 2006 (2006 : Paris, France) Najm, Elie Donzeau-Gouge, Veronique Pradat-Peyre, Jean-Francois SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4229 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	946.	Formal theories of information [electronic resource] : from Shannon to semantic information theory and general concepts of information / edited by Giovanni Sommaruga. by Sommaruga, Giovanni SpringerLink (Online service) Series: Lecture notes in computer science ; 5363 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: From Shannon to semantic Information theory In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	947.	Formal to practical security [electronic resource] : papers issued from the 2005 - 2008 French Japanese collaboration / edited by Veronique Cortier ... [et al.]. by Cortier, Veronique SpringerLink (Online service) Series: Lecture notes in computer science ; 5458 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	948.	Foundations and applications of security analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / edited by Pierpaolo Degano, Luca Vigano. by Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 : York, England) Degano, Pierpaolo Vigano, Luca SpringerLink (Online service) Series: Lecture notes in computer science ; 5511 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	949.	Foundations of augmented cognition [electronic resource] : neuroergonomics and operational neuroscience : 5th international conference, FAC 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings / edited by Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen. by International Conference on Augmented Cognition (5th : 2009 : San Diego, Calif.) Schmorrow, Dylan D Estabrooke, Ivy V Grootjen, Marc SpringerLink (Online service) Series: Lecture notes in computer science ; 5638 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: FAC 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	950.	Foundations of computer software [electronic resource] : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / edited by Christine Choppy, Oleg Sokolsky. by Monterey Workshop (15th : 2008 Budapest, Hungary) Choppy, Christine Sokolsky, Oleg SpringerLink (Online service) Series: Lecture notes in computer science ; 6028 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	951.	Foundations of fuzzy logic and soft computing : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007 : proceedings / Patricia Melin ... [et al.] (eds.) by IFSA World Congress Melin, Patricia, 1962- Series: Lecture notes in computer science ; 4529 \| Lecture notes in computer science. Lecture notes in artificial intelligence Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Other title: 12th International Fuzzy Systems Association World Congress Twelfth International Fuzzy Systems Association World Congress International Fuzzy Systems Association World Congress IFSA 2007 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA248.5.I337 2007 3. Place hold
	952.	Foundations of Information and Knowledge Systems [electronic resource] : 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings / edited by Jurgen Dix, Stephen J. Hegner. by FoIKS 2006 (2006 : Budapest, Hungary) Dix, Jurgen Hegner, Stephen J SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3861 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	953.	Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner. by FoIKS 2008 (2008 : Pisa, Italy) Hartmann, Sven Kern-Isberner, Gabriele SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4932 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	954.	Foundations of Intelligent Systems [electronic resource] : 13th International Symposium, ISMIS 2002 Lyon, France, June 27-29, 2002 Proceedings / edited by Mohand-Saïd Hacid, Zbigniew W. Raś, Djamel A. Zighed, Yves Kodratoff. by Hacid, Mohand-Saïd Raś, Zbigniew W Zighed, Djamel A Series: Lecture Notes in Computer Science ; 2366 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 Online resources: Click here to access online Availability: No items available.
	955.	Foundations of Intelligent Systems (vol. # 4203) [electronic resource] : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings / edited by Floriana Esposito ... [et al.]. by International Symposium on Methodologies for Intelligent Systems (16th : 2006 : Bari, Italy) Esposito, Floriana SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4203 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	956.	Foundations of intelligent systems [electronic resource] : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009 : proceedings / edited by Jan Rauch ... [et al.]. by International Symposium on Methodologies for Intelligent Systems (18th : 2009 : Prague, Czech Republic) Rauch, Jan SpringerLink (Online service) Series: Lecture notes in computer science ; 5722 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	957.	Foundations of object-oriented languages REX School Workshop, Noordwijkerout, the Netherlands, May 28-June 1, 1990 proceedings J. W. de Bakker, W. P. de Roever, G. Rozenberg (Eds) by REX School Workshop (1990 : Noordwijkerout, Netherlands) Bakker, J. W. de (Jacobus Willem de) 1939- Roever, W. P. de Rozenberg, Grzegorz Series: Lecture notes in computer science ; 489 Publication details: Berlin Springer-Verlag 1991 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.74.R49 1990. Place hold
	958.	Foundations of security analysis and design V [electronic resource] : FOSAD 2007/2008/2009 tutorial lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri. by Aldini, Alessandro Gorrieri, Roberto Barthe, Gilles SpringerLink (Online service) Series: Lecture notes in computer science ; 5705 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	959.	Foundations of software science and computational structures [electronic resource] : 13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / edited by Luke Ong. by FOSSACS 2010 (2010 : Paphos, Cyprus) Ong, Luke SpringerLink (Online service) Series: Lecture notes in computer science ; 6014 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	960.	Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / edited by Vladimiro Sassone. by FOSSACS 2005 (2005 : Edinburgh, Scotland) Sassone, Vladimiro SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3441 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.

First
Previous
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
Next
Last

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library