Your search returned 8 results.

Results
	1.	A Collection of Test Problems for Constrained Global Optimization Algorithms [electronic resource] / by Floudas, Christodoulos A [author.] Pardalos, Panos M [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 455 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Conceptual Modeling for New Information Systems Technologies [electronic resource] : ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers / by Arisawa, Hiroshi [editor.] Kambayashi, Yahiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2465 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Constraint-Based Agents [electronic resource] : An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds / by Nareyek, Alexander [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2062 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Modular Construction and Partial Order Semantics of Petri Nets [electronic resource] / by Vogler, Walter [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 625 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings / by Chatterjee, Krishnendu [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6246 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Artificial Intelligence and Simulation [electronic resource] : 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by Kim, Tag G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3397 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Systems Modeling and Simulation: Theory and Applications [electronic resource] : Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by Baik, Doo-Kwon [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3398 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Conceptual Modeling - ER 2000 [electronic resource] : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings / by Laender, Alberto H.F [editor.] Liddle, Stephen W [editor.] Storey, Veda [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1920 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha